CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Graduado em filosofia pela Unicamp em 2004 e em Direito pela UnB em 2009. Mestre pela UnB desde 2019 e doutorando na mesma instituição desde 2020. Atualmente, pesquisa fundamentação da matemática baseada em ideias kantianas e na teoria de tipos intuicionista. Em particular, busca uma fundamentação construída sobre lógica com duas negações que expressem diferentes razões para rejeitar uma sentença: a geração de contradições e a falta de evidência. Com isso, espera-se obter resultados que esclareçam questões sobre a natureza da matemática sucitadas pelos teoremas de incompletude de Gödel. Além disso, coordena o grupo de pesquisa Discurso Parlamentar e Inteligência Artificial junto à Consultoria Legislativa da Câmara dos Deputados. (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) |
Esse projeto de pesquisa tem o objetivo de estudar a interpretação que considera a Metafísica aristotélica uma meta- ciência, isto é, uma ciência cujas regras devem ser respeitadas por todas as outras ciências, de modo que elas a têm subsumida. Essa não é uma interpretação que estou propondo, mas é defendida por T. Irwin, Code e outros. Para isso, estudarei alguns textos do Organon e da M…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |