Page 448 - [1library.co] l la era de las maquinas espirituales kurzweil
P. 448
como Busy Beaver (Castor atareado) y que se puede enunciar de la siguien·
conoce
que se
interesante es e!
problema irresoluble más
e!
Tal vez
una serie formada por dos símbolos: cero y uno. La unidad de computación
tiene un programa que consta de una secuencia de órdenes que derivan sólo
mentas de la inteligencia. Consta de dos unidades primarias (teóricas): un
(posteriormente) leer te manera: Cada máquina de Turing tiene una cierta cantidad de órdenes en su programa. Dado un entero positivo n, construimos todas las máquinas de Turing que tienen n estados (esto es, n órdenes). Luego eliminamos las máquinas de Turing de n estados que caen en un bucle infinito (es decir, que no paran nunca). Por último, seleccionamos la máquina (una que se pare) que escriba en su cint
impulsor de cintA y tln(l tlníoild de computoción, Lo primero tiene uno cin
ta de longitud infinita en la cual puede escribir -y
de siete operaciones posibles: Leer la cinta - Mover la cinta un símbolo a la izquierda - Mover la cinta un símbolo a la derecha - Escribir Oen la cinta - Escribir 1 en la cinta - Saltar a otra orden - -Parar' demostrar que esta Turing consiguió simple puede calcular todo lo que es capaz de calcular una máquina, por compleja que sea. Si un problema no puede ser resuelto por una máquina tam