Abrir menú principal

Cuba-Wiki β

Final del 24/04/19 (Lógica y Computabilidad)

Sumario

Ejercicio 1Editar

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

Ejercicio 2Editar

Probar que   no es c.e.

Ejercicio 3Editar

Enunciar y demostrar el Lema de Lindenbaum

Ejercicio 4Editar

Demostrar que existen modelos no estandar de la aritmética