CV Lattes
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Bachelor's in mathematics at Universidade Estadual de Londrina (2005), Master in Philosophy at Universidade Estadual de Campinas (2008). Phd in Philosophy at Universidade Estadual de Campinas (2013). Research: mathematical logic. (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) |
George Boole ushered the study of "mathematical logic" establishing, as far as possible, the relations between logic and arithmetic so that the latter could be applied as a formal tool for investigating logical inferences upon a certain category of propositions.This unique perspective Boole - we call it "arithmetic paradigm" of logic - was dropped early, perhaps because of the criticism i…
In 1975, Alfred Tarski visited Unicamp and delivered two lectures on his axiomatization of relation algebra, which is a product of the relational calculus originaly developed by De Morgan, Peirce and Schroder. In our Master dissertation we transcribed the lectures and revisited some of the problems left by Tarski at that time, tracing a line of the development on their results in the lite…
| 2 / 2 | Completed scholarships in Brazil |
| Associated processes | |