Final del 05/03/20 (Lógica y Computabilidad)

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.