Texto completo
| |
| Autor(es): |
Rodrigo de Alvarenga Freire
Número total de Autores: 1
|
| Tipo de documento: | Tese de Doutorado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas |
| Data de defesa: | 2009-02-26 |
| Membros da banca: |
Walter Alexandre Carnielli;
Frank Thomas Sautter;
Luiz Carlos Pinheiro Dias Pereira;
Hugo Luiz Mariano;
Daniel Victor Tausk
|
| Orientador: | Walter Alexandre Carnielli |
| Resumo | |
Esta Tese tem como objetivo elucidar, ao menos parcialmente, a questão do significado da Teoria de Modelos para uma reflexão sobre o conhecimento matemático no século XX. Para isso, vamos buscar, primeiramente, alcançar uma compreensão da própria reflexão sobre o conhecimento matemático, que será denominada de Fundamentos do Pensamento Matemático no século XX, e da própria relevância fundacional. Em seguida, analisaremos, dentro do contexto fundacional estabelecido, o papel da Teoria de Modelos e da sua interação com a Álgebra, em geral, e, finalmente, empreenderemos um estudo de caso específico. Nesse estudo de caso mostraremos que a Teoria de Galois pode ser vista como um conteúdo lógico, e buscaremos compreender o significado fundacional desse enquadramento modelo-teórico para uma parte da Álgebra clássica. (AU) | |
| Processo FAPESP: | 05/55203-7 - Fundamentos de teoria de estruturas como base para uma filosofia da matemática |
| Beneficiário: | Rodrigo de Alvarenga Freire |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado Direto |