AT28 Segundo Teorema da Incompletude de Godel

1 junho 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Demonstração do Teorema do ponto fixo. Teorema de Lob. Segundo Teorema da incompletude de Godel. Consequências. Fórmula em Th(nats)
que quer ela quer a sua negação não são teoremas de teoria da aritmética apropriada, coerente omega e satisfazendo HBL2 e HBL3. Esboço da demonstração que a teoria P satisfaz HBL2 e HBL3.