Final del 09/05/16 (Lógica y Computabilidad)

De Cuba-Wiki
La versión para imprimir ya no se admite y puede contener errores de representación. Actualiza los marcadores del navegador y utiliza en su lugar la función de impresión predeterminada del navegador.
  • 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.
Obtenido de «https://www.cubawiki.com.ar/index.php?title=Final_del_09/05/16_(Lógica_y_Computabilidad)&oldid=10426»