Plantilla:Back
Ejercicio 1[editar]
Enunciar y demostrar el teorema de Rice
Ejercicio 2[editar]
Probar que TOT no es ce ni co-ce
Ejercicio 3[editar]
Enunciar y demostrar el teorema de la deducción
Ejercicio 4[editar]
Probar que existen modelos no estándar de la aritmética en los que hay un elemento inalcanzable.