Curso
Mestrado
Título da pesquisa
Entre indefinibilidade e incompletude: uma leitura comparativa dos teoremas de Tarski e Gödel
Resumo da pesquisa
Dentre os teoremas da família dos limitativos, teoremas que nos indicam os limites de teorias formais axiomatizadas, estão os teoremas da incompletude de Gödel e o teorema da indefinibilidade da verdade de Tarski. Enquanto os primeiros dizem respeito a presença de sentenças indecidíveis em teorias que contém a linguagem básica da aritmética; o segundo, por sua vez, indica a impossibilidade de se expressar o conjunto das sentenças verdadeiras de uma determinada teoria usando a linguagem da mesma. A partir do fato desses teoremas pertencerem à mesma família e usarem em sua prova o recurso da diagonalização, esta pesquisa se dedica a análise da prova destes teoremas a fim de traçar outras possíveis relações entre eles.
Orientador
Edelcio Gonçalves de Souza