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
   443   444   445   446   447   448   449   450   451   452   453