Final del 09/05/16 (Lógica y Computabilidad)
De Cuba-Wiki
- Probar que A incluido en los naturales es CE sii es imagen de una funcion pr
- Sea R conjunto mc:
- Probar que alpha pertenece a R sii R demuestra alpha
- Probar que o bien alpha pertenece a R, o bien no alpha pertenece a R
- Enunciar y demostrar el Teorema de Rice.
- Mostrar que existe un modelo no estandar de la aritmética.
