CV Lattes
Universidade Federal do ABC (UFABC). Centro de Ciências Naturais e Humanas (CCNH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Matemático focado na algebrização do raciocínio e da aprendizagem com computação quântica. Seu problema fundamental é: Porque a natureza computa raciocínios e aprendizagens? Sua preocupação pragmática é: Como fazer a inteligência artificial sobre a computação quântica de forma segura? Sua abordagem envolve pesquisas sobre sinalgebra computacional, raciocínio quântico, e aprendizagem categorial. (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) |
Atualmente a computação quântica é um dos principais temas de pesquisa em ciência da computação. Nesse contexto, o problema da satisfatibilidade quântica (QSAT) revela elementos importantes da complexidade computacional quântica, os quais estão relacionados com o problema da satisfatibilidade probabilística (PSAT). O objetivo geral do presente projeto é investigar os aspectos lógicos de Q…
Uma arimética generalizada é uma extensão da aritmética de Peano de primeira ordem clássica gerada pela adição de generalizações dos quantificadores clássicos, chamadas quantificadores modulados. O objetivo geral desta pesquisa é investigar as potencialidades de uma aritmética generalizada para a compreensão dos resultados de incompletude, obtidos via recursos semânticos. Especificamente,…
O presente projeto de mestrado objetiva examinar a demonstração de Kripke dos Teoremas da Incompletude de Gödel relativamente à sua Teoria Formal da Verdade, indicando suas conseqüências para um tratamento paraconsistente do assim chamado fenômeno da incompletude (expressão de Tennant (2002)). Um adequado tratamento dessa temática exigirá, antes de tudo, uma comparação das demonstrações d…
A possibilidade de mensurar a informatividade semântica é um problema em aberto. O objetivo deste projeto é investigar os aspectos lógicos da informação semântica das deduções, considerando a existência de níveis de abstração na informação semântica. Mais concretamente, esta pesquisa tem dois objetivos específicos: (1) avaliar a possibilidade de interpretar os níveis de abstração como gên…
| 3 | Bolsas no país concluídas |
| 1 | Bolsas no exterior concluídas |
| 4 | Todas as Bolsas |
| Processos vinculados | |