Self-reference, diagonal theorem and the incompleteness phenomenon

• Grant number: 12/07904-0
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: July 01, 2012
• End date: December 31, 2012
• Field of knowledge: Physical Sciences and Mathematics - Mathematics
• Principal Investigator: Ricardo Bianconi
• Grantee: Rafael Russo Setin
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil

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)