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

Tomo oral, y nos dijo que pensemos en dos temas que queriamos hablar, uno de compu y otro de lógica, yo elegí teo de rice y compacidad para dsp explicar xq un modelo arbitrariamente grande tiene modelos infinitos.

Pero cada uno elegía sus temas y te hacía alguna pregunta de eso, me preg que es un conjunto de índices obvio la demo de rice y además me dijo de dar un ejemplo de cómo se usa rice. Dsp con compacidad tmb demo y demo de cómo se usa.. ahí dije el teo de antes de los modelos arbitrariamente grandes y su demo.

Tmb me pregunto la definición de prc, xq nos interesa saber que una función es PR en la materia, y me pregunto la demo de , para las funciónes que va de los nat a los nat demostrar que no son numerables, que es parecido a cantor.