Final del 22/12/22 (Lógica y Computabilidad)

oral con Ariel:

De computabilidad: Teorema de Rice: lo que es un conjunto de índices, dar un conjunto que sí lo sea, uno que no. Me preguntó si el conjunto de índices asociado a {HALT} es o no es computable. Demostración de Rice. Lo que es una clase PRC. Me preguntó si hay un sistema de funciones y formas de combinarlas, de modo que obtengamos las funciones computables. Teorema de Cantor.

De Lógica: Teorema de compacidad, aplicación a modelos arbitrariamente grandes implica modelo infinito. Definición de maximal consistente y demostración de que en un mc o bien pertenece phi o bien pertenece ~phi