Sumários

P27 - Segundo teorema da incompletude

2 Junho 2017, 14:30 Jaime Arsénio de Brito Ramos

Exercícios sobre o segundo teorema da incompletude.


P26 - Tableaux para lógica proposicional

1 Junho 2017, 16:30 Jaime Arsénio de Brito Ramos

Tableaux para lógica proposicional


AT28 Segundo Teorema da Incompletude de Godel

1 Junho 2017, 15:00 Maria Cristina De Sales Viana Serôdio Sernadas

Demonstração do Teorema do ponto fixo. Teorema de Lob. Segundo Teorema da incompletude de Godel. Consequências. Fórmula em Th(nats)
que quer ela quer a sua negação não são teoremas de teoria da aritmética apropriada, coerente omega e satisfazendo HBL2 e HBL3. Esboço da demonstração que a teoria P satisfaz HBL2 e HBL3.


AT27 Segundo Teorema da Incompletude de Godel

31 Maio 2017, 15:30 Maria Cristina De Sales Viana Serôdio Sernadas

Interpretação do operador de provabilidade em teoria apropriada e verdadeira da aritmética. Fórmula que representa a coerência de teoria.
Condições de Hilbert-Bernays-Lob. Verificação de condições mais fracas por teoria apropriada e coerente omega. Teorema do ponto fixo.


P25 - Representabilidade

26 Maio 2017, 14:30 Jaime Arsénio de Brito Ramos

Exercícios sobre representablidade.