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.