AP26 Segundo Teorema da Incompletude de Godel

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

Lógica modal da provabilidade. Relacionamento com o Teorema de Lob. Caracterização modal do axioma de Godel-Lob. Derivação do axioma da transitividade.
Interpretação de HBL2 na teoria P.