AT24 Primeiro teorema da incompletude (Gödel-Rosser)

25 Maio 2010, 15:00 Amilcar Sernadas

Lema de Cantor (argumento da diagonal). Noção de extensão de fórmula em teoria da aritmética. Propriedades básicas. Teorema de Church. Primeiro teorema da incompletude (Gödel-Rosser) e corolários sobre Th(N). Teorema de Tarski. Indecidibilidade da lógica de primeira ordem.