Fundamentos de teoria de estruturas como base para uma filosofia da matematica.

• Processo: 05/55203-7
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto
• Data de Início da vigência: 01 de setembro de 2005
• Data de Término da vigência: 28 de fevereiro de 2009
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Rodrigo de Alvarenga Freire
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 04/14107-2 - Logical consequence and combinations of logics - fundaments and efficient applications., AP.TEM
• Assunto(s): Teoria das estruturas Teoria de Galois Fundamentos da matemática Filosofia da matemática
• Palavra(s)-Chave do Pesquisador: Fundamentos De Matematica | Logica | Teorias De Galois

Resumo

Idealmente, um fundamento satisfatório da Matemática deveria partir de uma teoria que axiomatiza de forma justificada (não de forma ad hoc) noções suficientemente claras e, em termos dessa teoria, mostrar como as teorias matemáticas podem ser expressas e como elas evoluem. Tendo em conta que esse objetivo possa ser inatingível, o melhor que podemos fazer é aproximá-lo em cada estágio do conhecimento matemático. Neste projeto o principal objetivo é, primeiro, estudar as tentativas de prover uma abordagem da possibilidade de organizar o corpo do conhecimento matemático e em segundo lugar investigar a possibilidade de reorganizar a matemática tradicional atribuindo um papel destacado à uma possível teoria geral de estruturas, à luz, principalmente, dos trabalhos de Nicolas Bourbaki. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

FREIRE, Rodrigo de Alvarenga. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos. 2009. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.