T21_23
17 Maio 2019, 10:30 • Mário Jorge Edmundo
Linguagens efectivamente numeráveis, números de Godel; fórmulas são efectivamente decidíveis, substituição é efectivamente computável, substituibilidade é efectivamente decidível; demonstrações são efectivamente decidíveis. Nota sobre a aritmétização da sintaxe e recursividade.