Sumários
AP Extraordinária
8 junho 2010, 15:00 • Amilcar Sernadas
Exercícios sobre representabilidade. Exercícios sobre as condições HBL. Ficha: coerência omega de teoria verdadeira.
[Aula leccionada por Cristina Sernadas]
AT26 Segundo teorema da incompletude de Gödel (conc)
1 junho 2010, 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.
AP12 Representabilidade
27 maio 2010, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre aritmética e representabilidade.
AT25 Segundo teorema da incompletude de Gödel
27 maio 2010, 15:00 • Amilcar Sernadas
AT24 Primeiro teorema da incompletude (Gödel-Rosser)
25 maio 2010, 15:00 • Amilcar Sernadas
Lema de Cantor (argumento da diagonal). 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.