Page 449 - [1library.co] l la era de las maquinas espirituales kurzweil
P. 449
conoce es 6, que 447
que se
interesante es e! Tibor Rada, matemático y admirador de Turing, demostró que no hay La de busy beaver es una «función inteligente». Dicho con más precio que requiere inteligencia cada vez mayor para infor· el busy beaver puede exponencial', y la cantidad de unos que escribe El problema del busy beaver es un ejemplo de una vasta clase de funcio Raymond Kurzweil, The Age 01 Intelligent Machines, MIT Press,
problema irresoluble más como Busy Beaver (Castor atareado) y que se puede enunciar de la siguien· 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 últ
e! para los que eso nos es imposible. sión, es una función Cambridge, MA, 1992, pp. 132-133.
Tal vez En 8, 17.
1
j
mentas de la inteligencia. Consta de dos unidades primarias (teóricas): un
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
(posteriormente) leer extremadamente tan máquina Ocasional mismo trabajo, Turing informa acerca de otro descubrimiento' Turing y Alanzo Church, su ex profesor, afirmaron luego lo que dio en pensamiento humano. Las interpretaciones
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