Todos los registros públicos

Vista combinada de todos los registros de Cuba-Wiki. Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 22:47 6 mar 2023 200.80.70.180 discusión creó la página Final del 22/12/22 (Lógica y Computabilidad) (Página creada con «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 arbitrariamen…»)