AP24 Segundo Teorema da Incompletude de Godel

23 Maio 2019, 15:30 Maria Cristina De Sales Viana Serôdio Sernadas

Requisitoa mínimos de teoria da aritmética para que representabilidade corresponda a computabilidade. Nem sempre a representabilidade
de aplicação f em Th(N) conduz a que f seja computável.