Sumários
AP14 Representabilidade
26 maio 2011, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre aritmética e representabilidade.
AT27 Segundo teorema da incompletude de Gödel
26 maio 2011, 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.
AT26 Pseudo-representação da derivabilidade
24 maio 2011, 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. Condições HBL.
AP13 Aritmética
19 maio 2011, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Continuação da aula anterior. Exercícios sobre as teorias N e P.
AT25 Primeiro teorema da incompletude (Gödel-Rosser)
19 maio 2011, 15:00 • Amilcar Sernadas
Noção de extensão de fórmula em teoria da aritmética. Propriedades básicas. Teorema de Church. Primeiro teorema da incompletude (Gödel-Rosser) e corolários sobre Th(N). Teorema de Tarski. Indecidibilidade da lógica de primeira ordem.