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:
  1. Probar que alpha pertenece a R sii R demuestra alpha
  2. 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.