Ver el código de «Final del 24/04/19 (Lógica y Computabilidad)»

De Cuba-Wiki

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

No tienes permiso para modificar esta página, por el siguiente motivo:

La acción que has solicitado está restringida a los usuarios del grupo: Usuarios.

Puedes ver y copiar el código fuente de esta página.

=Ejercicio 1=
Si <math>A \neq \emptyset</math> y además es c.e., entonces  <math>A</math> es el rango de una función p.r.

=Ejercicio 2=
Probar que  <math>TOT</math> no es c.e.

=Ejercicio 3=
Enunciar y demostrar el Lema de Lindenbaum

=Ejercicio 4=
Demostrar que existen modelos no estandar de la aritmética

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

Obtenido de «https://www.cubawiki.com.ar/index.php/Final_del_24/04/19_(Lógica_y_Computabilidad)»