Sumários

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.


AT26 Segundo Teorema da Incompletude de Godel

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

Teorema de Lob. Fórmula que representa a não derivabilidade do falsum. Segundo Teorema da Incompletude de Godel. Existência de fórmula
fechada que nem ela nem a sua negação pertencem a teoria suficientemente da aritmética.


AP25 Segundo Teorema da Incompletude de Godel

27 Maio 2019, 16:00 Maria Cristina De Sales Viana Serôdio Sernadas

Computabilidade versus representabilidade. Existência de teoria coerente mas não coerente omega.


AT25 Segundo Teorema da Incompletude de Godel

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

Teorema do ponto fixo e sua interpretação. Existência de fórmula equivalente à sua derivabilidade em teoria.


AP24 Segundo Teorema da Incompletude de Godel

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

Requisitoa mínimos de teoria da aritmética para que representabilidade corresponda a computabilidade. Nem sempre a representabilidade
de aplicação f em Th(N) conduz a que f seja computável.