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

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.


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.