CV Lattes
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Institutional affiliation for the last research proposal) Birthplace: Brazil
Has experience in Philosophy, focusing on intuitionistic logic. (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A formal system is a set of axioms and rules of inference that entails the derivation of theorems. Formal systems may be used to assert claims about many things and mathematical structures, like real numbers, geometric figures, and inferences. Some formal systems may even assert claims about formal systems since the latter is also mathematical structures or objects. A particular and surpr…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |