CV Lattes
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Professor do Departamento de Filosofia da Universidade de Brasília. Tem experiência na área de Lógica com ênfase em estudos fundacionais. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A axiomatização da teoria de conjuntos ZFC pretende descrever o universo dos conjuntos. Esse universo tem uma descrição intuitiva conhecida como "hierarquia iterativa cumulativa de conjuntos". De acordo com essa descrição, os conjuntos são produzidos em etapas: em cada etapa, todos os conjuntos que foram produzidos em etapas anteriores, e apenas esses, estão disponíveis como elementos par…
O presente projeto tem como finalidade iniciar uma reflexão sobre três questões fundamentais. A primeira questão diz respeito à determinidade da sentença que expressa a consistência de um sistema formal como ZFC, Con(ZFC): em que sentido pode-se afirmar que a consistência de ZFC é bem determinada, e não inerentemente vaga? A segunda questão fundamental é relativa à natureza dos conjuntos …
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 c…
| 4 | Bolsas no país concluídas |
| Processos vinculados | |