Final del 07/03/14 (Lógica y Computabilidad)

Ejercicio 1

Enunciar y demostrar el teorema de Rice

Ejercicio 2

Enunciar y demostrar el Teorema de Punto Fijo

Ejercicio 3

Definir maximal consistente y demostrar que $\varphi$ es teorema de $\Gamma$ sii $\varphi$ pertenece a $\Gamma$. También demostrar otra proposición que no recuerdo pero era parte de m. c.

Ejercicio 4

Enumerar (y explicar muy brevemente) los pasos de la demostración de completitud en Primer Orden y mostrar el modelo canónico utilizado en la demostración.