Abstract
We study the self-referential paradoxes and incompleteness theorems. We firstly extract a common structure underlying these phenomena through set-theoretic language and next, we use the categorical language approach given by Lawvere. (AU)
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Institutional affiliation from the last research proposal) Birthplace: Brazil
He has an Electronic Engineering degree from Universidade de São Paulo (1982), MSc. in Mathematics from Universidade de São Paulo (1986) and Doctor of Philosophy in Mathematics from University of Oxford (1990). He has experience in Mathematics, focusing on Mathematical Logic, acting on the following subjects: model theory with emphasis in o-minimality, geometry and analytic functions. He presided from 2012 to 2016 the new master degree in mathematical teching. (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) |
We study the self-referential paradoxes and incompleteness theorems. We firstly extract a common structure underlying these phenomena through set-theoretic language and next, we use the categorical language approach given by Lawvere. (AU)
4 / 1 | Completed scholarships in Brazil |
Associated processes |