FELIPE PEINADO DOS SANTOS

Este projeto de pesquisa tem como objeto de estudo, dois dos maiores resultados da lógica moderna na primeira metade do século XX. Estes são o primeiro teorema da incompletude de Kurt Gödel e o teorema da indefinibilidade da verdade de Alfred Tarski, ambos fazendo parte da família de teoremas limitativos, isto é, são teoremas que nos indicam algo sobre os limites de sistemas formais. Porém, essa proximidade também aparece na discussão a respeito da autoria do teorema comumente associado ao filósofo polonês, com alguns comentadores indicando a possibilidade de descoberta desse teorema por Gödel, mesmo que de maneira menos generalizada.
A problemática desta pesquisa não diz respeito a discussão a respeito da autoria dos teoremas, mas tem ela como ponto de partida para o seguinte questionamento: sendo a descoberta de ambos teoremas está próxima o suficiente para que se questione que ao desenvolver os seus teoremas da incompletude Gödel também não possa ter descoberto o teorema da indefinibilidade da verdade, de que maneira a construção e prova de ambos teoremas se relacionam quando comparadas?