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

Relacionamento entre grafo de função e representabilidade de função. Função representável em teoria axiomatizável e verdadeira é computável.
Exemplo de função não computável que é representável em Th(N).