Sumários
AT26 Segundo Teorema da Incompletude de Godel
25 maio 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teoria coerente omega da aritmética e sua relação com teoria coerente e teoria verdadeira. Pseudo-representação da derivabilidade com recurso ao teorema da projecção. Operador de provabilidade.
AT25 Primeiro Teorema da Incompletude de Godel
24 maio 2017, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Demonstração do Teorema de Church. Teorema de Godel-Tarski. Consequências do primeiro teorema da incompletude para a teoria th(nats).
Demonstração da indecidibilidade do conjunto de teoremas da lógica de primeira order para qualquer assinatura via teoria N. Consequências do primeiro teorema da incompletude para as extensões coerentes da teoria N.