ORCID
Universidade Federal de São Carlos (UFSCAR). Centro de Ciências Exatas e de Tecnologia (CCET) (Institutional affiliation from the last research proposal) Birthplace: Brazil
Guilherme Marques Sonoda in research grants and scholarships supported by FAPESP.
| 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) |
The main aim of this project consists in introducing the candidate to the fundamental notions of mathematical logic. In particular, he will begin by deepening his knowledge on naive set theory, dealing with von Neumann theory of ordinals and cardinals and with the class of well-founded sets. Afterwards, he will study in detail propositional calculus and first-order theories, both from syn…
| 1 / 1 | Completed scholarships in Brazil |
| Associated processes | |