AULA 27
24 Maio 2017, 11:30 • Fernando Ferreira
A teoria Q é essencialmente indecidível. O primeiro teorema da incompletude, versão de Rosser: toda a teoria aritmética, consistente, recursivamente axiomatizável, que contenha Q é incompleta. O teorema da indecidibilidade de Church.
O lema da diagonalização. O teorema da indefinibilidade da verdade como consequência do lema da diagonalização. Preparação para a formulação do primeiro teorema da incompletude de Gödel, versão original de Gödel.