Busca avançada
Ano de início
Entree

Daniel de Albuquerque Violato

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
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)
Bolsas no país
BV em números * Dados atualizados em 26/07/2025
Colaboradores mais frequentes em auxílios e bolsas FAPESP
Palavras-chave utilizadas pelo pesquisador
Por favor, reporte erros na página utilizando este formulário.