Examen teoría 1 diciembre 2014

Examen teoría 1 diciembre 2014

de Andrea Martina Rodriguez Perez -
Número de respuestas: 1

En la solución del ejercicio 5 (Dic 2014) termina diciendo que como el programa de indice r computa q entonces es absurdo. Y no entiendo por que eso es absurdo. Yo llegue a que era absurdo porque se puede reducir a la funcion stop. Me podrian explicar como es que llegan al absurdo o si el camino que yo hago es correcto?

Gracias,

Andrea.

En respuesta a Andrea Martina Rodriguez Perez

Re: Examen teoría 1 diciembre 2014

de Diego Garat -

hola:

el absurdo no es que computa q (?), sino a la función θ, que como sabemos por el teórico, no es computable.

efectivamente, el problema también se podría haber reducido a stop, utilizando más o menos la misma transformación MK, pero usando eval_prog(i,n) en lugar de (i,i).


saludos,

d.-