AT26 Segundo teorema da incompletude de Gödel (conc)

1 Junho 2010, 15:00 Amilcar Sernadas

Teorema do ponto fixo. Teorema de Löb. Segundo teorema da incompletude de Gödel. Obtenção do primeiro teorema da incompletude de Gödel como corolário. Referência a fragmentos interessantes da matemática decidíveis.