Current master's student in Philosophy at the University of São Paulo (USP), with the project "Gödel's disjunction and the inevitability of the anti-materialist thesis". Member of the Research Group on Logic, Language and Experience (LoLiE) at PUC-SP. Areas of interest: logic, philosophy of logic, philosophy of mathematics and philosophy of mind. (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 his work Begriffsschrift, Gottlob Frege builds, for the first time in history, a formal system (and the very notion of formal system) that will intend, some years later, to be able to give foundation to arithmetic. His formal system intended to be capable of formalizing all the arithmetic notions of his time, based solely and exclusively on basic laws of logic - an attempt that became …
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |
CV Lattes
ORCID