Final del 12/05/19 (Lógica y Computabilidad)

Ejercicio 1

Si $A\neq \emptyset$ y además es c.e., entonces $A$ es el rango de una función p.r.

Ejercicio 2

Enunciar y demostrar el teorema de Rice

Ejercicio 3

No recuerdo bien, era algo así como dar una estructura y una interpretación para la demostración de consistencia en primer orden.

Ejercicio 4

Enunciar y demostrar el Lema de Lindenbaum