Muy agradecido de recién haber terminado este primer semestre del año, y en lo que se referiría a materias cursadas justo en el diome (o sea, justo en el lugar que pasó mucho tiempo para cambiar de carrera pero se están muy lejos de recibir los beneficios), me puse a pelotudear. ¿Quién no lo haría y quién no lo hará?
Y redepente, me encontre leyendo un viejo comentario en este mismo blog que en su momento no había entendido... Está en el post Colgándose del éxito, que realicé hace un tiempo atrás (lo recordarán), sobre un famoso meta-paradigma... Lo copio para que no lo tengan que buscar:
"Hola!
en otras palabras, se podria decir que la bolivianada(X) es un operador de punto fijo para cualquier X.
Me pregunto cual sera el minimo modelo de Herbrand asociado al menor punto fijo de este operador.
Iñaki Garay"
Ahora que Lógica ya es una materia más del pasado inmediato, creo tener la respuesta... Vamos a formalizarlo un poquito más.
Sea la función bolivianada: Programa lógico definido -> Programa lógico definido, que devuelve un otro programa que hace lo mismo pero con un tiempo y orden de ejecución astronómico. Y acá, perdoname que te corrija Iñaki, pero este operador es un operador de punto fijo cualquier X que ya sea una bolivianada.
Y ahora se presenta el reto. ¿Cuál es el mínimo modelo de Herbrand asociado a este operador? Voy a decir que es lo que creo después. Pero piensenlo Uds. Puedo estar equivocado...
No hay comentarios:
Publicar un comentario