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.