Sumários

AT23 SEgundo Teorema da Incompletude de Godel (aula online)

24 maio 2021, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Requisitos HBL.Satisfação dos requisitos HBL2 e HBL3 pela estrutura padrão no contexto de teoria apropriada e verdadeira da aritmética. Teorema do Ponto Fixo.

AP22 Segundo Teorema da Incompletude de Godel (aula online)

20 maio 2021, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Relacionamento entre computabilidade e representabilidade em teoria axiomatizável e verdadeira da aritmética.

AT22 Segundo Teorema da Incompletude de Godel (aula online)

20 maio 2021, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Toda a teoria coerente omega é coerente. Fórmula que representa a derivabilidade.Propriedades.Fórmula que representa a coerência de teoria.Requisitos HBL.

AP21 Teoremas da Incompletude de Godel (aula online)

17 maio 2021, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

O conjuntos dos teoremas da lógica de 1ª ordem sobre uma assuinatura nem sempre é decidível. Toda a teoria verdadeira é coerente \omega. Demonstração directa de que
a Godelização de teoria da aritmética apropriada e coerente não é representável em \Theta.

AT21 Segundo Teorema da Incompletude de Godel (aula online)

17 maio 2021, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da aula anterior. Consequências para Th(\nats). Motivação e ingredientes. Teoria apropriada e teoria coerente omega da aritmética, Pseudo representabilidade da aritmética.