CV Lattes
Universidade Federal do ABC (UFABC). Centro de Ciências Naturais e Humanas (CCNH) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Mathematician focused on the algebrization of reasoning and learning with quantum computation. His fundamental problem is: Why does nature compute reasonings and learnings? His pragmatic concern is: How to make artificial intelligence on quantum computing in a safe way? His approach involves research on computational synalgebra, quantum reasoning, and categorical learning. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
In these days one of the main themes of research in theoretical computer science is quantum computing. In that context, the quantum satisfiability problem (QSAT) shows important elements of the quantum computational complexity, which are related to the probabilistic satisfiability problem (PSAT). The general aim of the present project is to investigate the logical aspects of QSAT, contras…
A generalized arithmetic is an extension of classical first-order Peano arithmetic generated by adding generalizations of the classical quantifiers, called modulated quantifiers. The general aim of this research is to study the potentialities of a generalized arithmetic for understanding the incompleteness results, obtained through semantical resources. Specifically, the research aims: 1)…
The present MsC Dissertation project has the aim to examine Kripke's proof of Gödel's Theorems of Incompleteness relative to his Formal Theory of Truth, indicating its consequences for a paraconsistent account of the Incompleteness Phenomenon (according to an expression of Tennant (2002)). An appropriate treatment of that theme will demand, before anything, a comparison of Kripke's and Gö…
The possibility of measuring semantic informativity is an open problem. The aim of this project is to study the logical aspects of the semantic information of deductions, considering the existence of levels of abstraction in semantic information. More accurately, this research has two specific aims: (1) to evaluate the possibility of understanding the leves of abstraction as sorts in many…
| 3 / 3 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 4 / 4 | All Scholarships |
| Associated processes | |