Final del 12/05/19 (Lógica y Computabilidad)
De Cuba-Wiki
Ejercicio 1[editar]
Si y además es c.e., entonces es el rango de una función p.r.
Ejercicio 2[editar]
Enunciar y demostrar el teorema de Rice
Ejercicio 3[editar]
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[editar]
Enunciar y demostrar el Lema de Lindenbaum