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