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