Edición de «Final del 22/12/14 (Lógica y Computabilidad)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
{ | 1) Demostrar que Gamma U {¬Phi} es inconsistente si y solo si Phi es consecuencia sintactica de Gamma. (En logica proposisional la demo). En la demo de la clase se usa un galeraso (un teorema de SP), que santi dijo que se puede usar, o uno equivalente. | ||
2) Probar que en un lenguaje de primer ordern con igualdad si una teoria tiene modelos arbitrariamente grandes, tiene modelo infinito. No habia aclarado que era con igualdad, tambien vale sin, pero la demo hay que partirla en dos casos (con y sin). | |||
3) Enuncie el teorema de la recursion y demuestrelo usando el teorema del parametro. | |||
3) Enuncie el teorema de la | |||
4) Pruebe que Tot no es c.e. ni co-c.e. | 4) Pruebe que Tot no es c.e. ni co-c.e. |