T_10a

29 Novembro 2022, 11:30 • Mário Jorge Edmundo

Linguagens efectivamente numeráveis; números de Godel; fórmulas são decidíveis; substituição é computável; substituibilidade é decidível; demonstrações são decidíveis; segunda nota sobre a recursividade; teorema da negação; terceira nota sobre a recursividade (relações decidíveis e funções computáveis são recursivas); semi-decidibilidade e existe; computavelmente enumerável e semi-decidível.