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

De Cuba-Wiki

Ejercicio 1[editar]

Enunciar y demostrar el teorema de Rice

Ejercicio 2[editar]

Probar que no es c.e. ni co-c.e.

Ejercicio 3[editar]

Enunciar y demostrar el Lema de Lindenbaum

Ejercicio 4[editar]

Demostrar que, si tiene modelos arbitrariamente grandes, entonces tiene modelo infinito