Diferencia entre revisiones de «Final del 20/02/20 (Lógica y Computabilidad)»
De Cuba-Wiki
(Página creada con «=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= Definir conjunto de índices. Dar…») |
(Sin diferencias)
|
Revisión actual - 13:25 27 feb 2020
Ejercicio 1[editar]
Si y además es c.e., entonces es el rango de una función p.r.
Ejercicio 2[editar]
Definir conjunto de índices. Dar un ejemplo de un conjunto que lo sea y de uno que no lo sea. Enunciar y demostrar el Teorema de Rice.
Ejercicio 3[editar]
Demostrar que, si tiene modelos arbitrariamente grandes, entonces tiene modelo infinito
Ejercicio 4[editar]
Demostrar que existen modelos no estándar de la aritmética.