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.