Sumários
AT28 Programa de Hilbert - 28/05 quinta
28 maio 2015, 17:30 • Amilcar Sernadas
Segundo teorema da incompletude de Gödel. Obtenção do primeiro teorema da incompletude de Gödel como corolário.
Programa proposto por Hilbert de formalização da matemática: raízes, sucessos, insucessos e impacto. O triunfo do formalismo.
AP27 Teoremas da incompletude
27 maio 2015, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre o segundo teorema da incompletude.
AP26 Representabilidade e teoremas da incompletude
25 maio 2015, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre aplicações representáveis e primeiro teorema da incompletude.
AT27 Segundo teorema da incompletude de Gödel - 25/05 segunda
25 maio 2015, 15:00 • Amilcar Sernadas
Condições HBL. Teorema do ponto fixo. Teorema de Löb.
AT26 Pseudo-representação da derivabilidade - 21/05 quinta
21 maio 2015, 17:30 • Amilcar Sernadas
Pseudo-representação da derivabilidade em teoria apropriada da aritmética, recorrendo apenas à Gödelização das fórmulas e ao teorema da projecção. Propriedades básicas da pseudo-representação da derivabilidade. Propriedades adicionais no caso de teoria coerente-omega.