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).