Sumários
AP26 Incompletude
30 maio 2018, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Lógica GL da provabilidade. Axioma de Godel-Lob. Transitividade e regra de Lob em GL. Condição suficiente para que provabilidade de teria seja demonstrável noutra teoria.
AT27 Segundo Teorema da Incompletude de Godel
30 maio 2018, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema de Lob. Segundo Teorema da Incompletude de Godel. Consequências.
AP25 Incompletude
29 maio 2018, 12:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria P tem as propriedades HBL2 e HBL3. Exustência de teoria coerente que não é coerente omega.
AT26 SEgundo Teorema da Incmpletude de Godel
28 maio 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema do ponto fixo. Satisfação da coerência de teoria apropriada e verdadeira na estrutura dos naturais.
AP24 Incompletude
23 maio 2018, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas