Course
Master's degree
Research title
Between undefinability and incompleteness: a comparative reading of Tarski's and Gödel's theorems
Research abstract
Among the theorems of the limitative family, theorems that indicate the limitations of axiomatized formal theories, are Gödel's incompleteness theorems and Tarski's truth undefinability theorem. While the former concerns the presence of undecidable sentences in theories that contain the basic language of arithmetic, the latter indicates the impossibility of expressing the set of true sentences of a given theory using the language of that theory. Since these theorems belong to the same family and use diagonalization in their proof, this research is dedicated to analyzing the proof of these theorems in order to trace other possible relationships between them.
Graduate Advisor
Edelcio Gonçalves de Souza
Lattes (curriculum vitae)