| 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) | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |