Final del 05/03/20 (Lógica y Computabilidad)
De Cuba-Wiki
Ejercicio 1
Enuncie y demuestre el Teorema de la Recursión.
Ejercicio 2
Defina HALT, y pruebe que no es computable.
Ejercicio 3
Enuncie y demuestre el Lema de Lindenbaum.
Ejercicio 4
Demostrar que existen modelos no estándar de la aritmética.
