FELIPE PEINADO DOS SANTOS

This research project has as its object two of the major results of modern logic in the first half of the 20th century. These are Kurt Gödel's first incompleteness theorem and Alfred Tarski's truth-undefinability theorem, both belonging to the family of limitative theorems, that is, they are theorems that tell us something about the limitations of formal systems. However, this proximity also appears in the discussion about the authorship of the theorem commonly associated with the Polish philosopher, with some authors indicating the possibility of discovery of the truth-undefinability theorem by Gödel, even if in a less generalized way.
The main task of this research does not concern the discussion about the authorship of the theorems, but it has it as its starting point. It intends to answer the following question: if the discovery of both theorems is close enough to the authorship of the truth-undefinability theorem be attributed to Gödel, how do the development and proof of both theorems relate to each other?