AT28 Segundo teorema da incompletude de Gödel

24 maio 2013, 15:00 • Amilcar Sernadas

Teorema de Löb. 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.

AP25 Representabilidade

22 maio 2013, 17:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre computabilidade à Godel e representabilidade na teoria N.

AT27 Teorema do ponto fixo

21 maio 2013, 15:00 • Amilcar Sernadas

Conclusão da aula anterior. Condições HBL. Teorema do ponto fixo.

AP24 Representabilidade

20 maio 2013, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre representabilidade na teria dos naturais e na teoria N.

AT26 Pseudo-representação da derivabilidade

17 maio 2013, 15:00 • 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.