Scribd Logo
Upload

Welcome to Scribd!

  • Turing

    Uploaded by

    Christian Dany
    16 views74 pages
    biografia de turing

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    biografia de turing

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    16 views74 pages

    Turing

    Uploaded by

    Christian Dany
    biografia de turing

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 74
    | La mente que inauguré la era de la computacion Turing ' | / — wn EC ae | en a toes a t ror Jak Spite ako ay ee | Pe he a c i! 3 : ba Pet aes eet Wg lot ‘aah malin op pe ee La mente que inauguré la era de la computacion Turing RBA © 2012, Rafael Lahoz-Beltra por el texto © 2012, RBA Contenidos Editorinles y Audiovisuales, $4.1, © 2017, RBA Coleccionables, S.A. Realizacién: EDITEC Disefio cubjerta: Lioreng Marti Disefio intenor: Luz de In Mora Infografias: Joan Pejoan Fotografias: Age Fotostock: 26, 391, 39b, 5fad, 9lb; Archivo RBA: &, Jad, 141; Bletchley Park Museum; 70; Corbin ib, CWI/Rascal/Lego; 80ed: Getty Images: 69a, fa, 91, 02, 119; Simon Harriyott: 2lad; Rafael Lahoz-Beltni: 43, 47, 86, 85, 111, 198, 142; National Security Agency: 68b; Princeton University: 46; Christian Richardt: 2ib, RIBL: Ti: Serged Frolow Soviet Digital Electronic Museum: 112; Dr Tony Shaw: 119b; Sherbone School: 21aj; U.S. Army Photo: 88, Resarvaddos todos loa derechos. Ninguna parte de esta publicacidn puede ser reproducida, almacenada 0 fransmitida por ningiin medio sin permiso del editor, ISBN (Obra completa): 978-44 73-87 75-5 ISBN; O78-84-4 7 S838-7 Depdsito legal B 3860-2017 Impreso y encuademado en Cayfosa (Lmpresia Ibérica) Impreso en Espaiia- Printed tn Spain = i ge ag - te te + ne 4+ ——S Sumario FATROBUCCION sect cae a a a ee _7% CAPITULOD {Qué es UN OrdeMBdOr? cums —unnenne OF CAPITULO 2 Maquinas contra eddigos. Turing criptagrafo . 53 CAPITULO 3 Los primeros ordenadores Gbritanicos o estadaunicenses? gu eee a CAPITULO 4 Construir maquinas que plensan .— 9B CAPITULO § El legado de Alen TUriing econ. as LECTURAS RECOMENDADAS oo 145 NRE siieoccls are ae ee ee ee te —— ieee i Introduccion Pese a su corta vida, Alan Turing fue uno de los personajes més influyentes del siglo xx. Algunos de los hitos de su carrera cienti- fica son el disefio de una maquina hipotética, la maquina de To- ring, con cuya ayuda cred los conceptos tedricos que permitieron Ja construccién de los primeros ordenadores, y la confeccién de uno de log ardenadores miis rapidos de su época, el Pilot ACE, Como criptégrafo destacé por conseguir desvelar los cdédigos Enigma, con los que los alemanes cifraban sus mensajes durante la Segunda Guerra Mundial. Y ademas realizé investigaciones pio- Teras con las que sento las bases de la inteligencia artificial y la biologia matematica, Esta obra tiene como objetivo explicar de una forma amena y rigurosa la naturaleza de estas aportaciones fundamentales para la evoluci6n del mundo contemporaneo. Bajo este enfoque hemos aunado en un mismo libro elemen- tos prepios de un texte de «ciencia recreativas con otros que son propios de una biografia, demostrando como algunos de los ha- Tazgos mas importantes de Alan Turing forman parte de nuestra vida diana, Asi, por ejemplo, el libro da respuesta a algunos inte- rroganites como ,qué es un ordenador’, gpor qué se cwelgan los. ordenadores?, zqué pals inventé el ordenador’, jresuelven los or- denadores toda clase de problemas’, ;qué es un captcha?, jqué es un sistema de reconocimiento éptico de caracteres (OCR)?, ipuede haber maquinas inteligentes?, ,cémo funciona un ordena- dor cuantico?, entre otras preguntas, El canécter polifacético de las investigaciones de Alan Turing fue una manifestacidn mas de su genialidad, Su capacidad para en- contrar nuevas areas de investigacion y relaciones entre fenomenss © cuestiones aparentemente dispares solo fue igualada entre sus contemporineos por el matematico hingaro John von Neumann. Con estes dos cientificos nacié en la década de 1040 el «cientifico mulodisciplinar=, el sujeto sin fronteras en el conocimiento, capaz de abstraer de la biologia, la economia, la sociologia o la fisica los elementos comunes utilizande las matematicas y los ordenadores, con la finalidad de unificar problemas en apariencia distantes, pero en el fondo similares, Turing es un personaje cuya vida y obra no dejan indiferente, Su vida como cientifico fue una auténtica aventura intelectual, fica en matices y hallazgos, y su vida privada, marcada por su homosexualidad en una épeca en la que en Gran Bretafia era con- siderada delito penal, estuvo repleta de anécdotas que lo convier- ten ef. un personaje singular, con una personalidad alejada de jo comin. Los problemas derivados de su orientacién sexual le pro- vocaron la segunda de las profundas depresiones que padecid ¥ que le fevd a acabar con su vida mediante la ingesta de cianuro, si bien el misterio que roded su muerte ha dado pie a otras conje- burad, entre ellas la del asesinato, Esta obra, que descubre tanto al hombre como al cientifico, 8€ Organiza en cinco capitulos, En el primero, tras un recorrido biografico por su infancia y juventud hasta concluir sus estudios en la Universidad de Cambridge, se describe detalladamente una de sus principales contribuciones cientificas: la maquina de Tu ring, con las distintas Variantes disefiadas por el genio britanico y también por otros investigadores. Se describen también algunas experiencias sobre la construccién de maquinas de Turing o su simulacién a través de sofhoure. El capitulo concluye con cuestion hes mis concretas, como el problema de la parada, que explica, entre otras cosas, por qué se «cuelga» un ordenador, En el segundo capitulo se narra cémo el acoso aleman sufrido por el Reing Unide durante la Segunda Guerra Mundial levd a los . -_ ~~ ah. = SR a eee et ae an pene a rg britanicos a crear Bletchley Park, lugar donde los criptdgrafos, entre ellos Turing, lograron finalmente descifrar los mensajes in- terceptados a los alemanes del Ill Reich. En ese contexto bélico, personajes como Turing, entre otros muchos, desplegaron todo su talento, recibiendo un merecido reconocimiento al final de la con- tienda. Fue precisamente en Bletchley Park donde vio la luz el Colossus, consideraco hoy el primer ordenador digital de la histe- ria. La Segunda Guerra Mundial no solo fue un derroche en vidas, sino también de inteligencia. Tras esta estimulante experiencia, Alan Turing fue capaz de dar el salto definitivo desde el mundo abstracto de la maquina que Llewa su nombre hasta el mundo real, construyendo un ordenador: el Pilot ACE. El tercer capitulo aborda una cuestién cuya polémica sigue vigente: ,quiénes inventaron el ordenador, los britanicos 0 los esta- dounidenges? Seguin la ultima revisidn historica fue el Reino Unido, gracias al Colossus, el pais merecedor de este reconocimiento, por Ja fecha en que fue construido y por ser en aquella época el pais mas avanzado en el disefio y construccin de ordenadores, Enton- ‘ces zpor qué Estados Unidos le arrebaté esta industria? Una. vez descritas las caracteristicas del Pilot ACE, y tras dar ulna respuesta a estas preguntas, nos adentraremos en la arquitec- tura de Von Neumann, esto es, la forma en que desde entomces se organizan a nivel légico y funcional los componentes de un orde- nador, para concluir con los afios en que Alan Turing se dedicéa la programacidén de ordenadores en la Universidad de Manchester. Ya préximo el final de su vida, Turing puso el colofén con lo que tal Vez sea uno de sus proyectos mas ambiciosos, sentando las bases leérieas de lo que mas adelante se lamaria inteligencia ar- tificial. Continud su labor en la Universidad de Manchester, aun- que en esta ocasién dio un paso mas y se hizo una pregunta realmente ambiciosa: jpuede haber maéquinas inteligentes?, ma- teria de la que trata el cuarto capitulo, Turing disené circuitos de neuronas artificiales y cred una prueba ain en vigor, el test de Turing, con el que evaluar si una méquina, por ejemplo un ordena- dor, se comporta 0 no de modo inteligente cuando juega al aje- drez, traduce un texto de un idioma a otro 6 realiza cualquier otra tarea para la que un ser Wumano ulilizaria su inteligencia La ultima etapa de su vida fue tan fértil clentificamente como laprimera Fue en sus tiltimos afios cuando utilizé por vez primera un ordenador para el estudio y simulacién de problemas bioldgi- cos, elaboranda modelos matematicos sobre el crecimiento y la formacién de patrones en los seres vivos, al intentar dar respuesta a la cuestién de como se forman los patrones de bandas en la piel de las cebras. Fruto de estos estudios es el nacimiento de una queva disciplina, la biologia matemstica. En la primavera de 1954, Alan Turing puso fin a su vida tras ingerir una manzana envene- nada a la edad de cuarenta y un afios. Este libro coneluye con un quinto capitulo en el que se detalla su legado cientifico, Por razones obvias se ha omitido cualquier referencia a los ordenadores actuales, ya sean superordenadores, personales de mesa, portdtiles, netbooks, tablets o cualquier otro formato, y tambi¢n a aquellos dispositivos en los que subyace un ordenador, ya sea un teléfono mévil, agenda personal o cualquier otro, Todas estas maquinas no son més que la evolucién natural de la maquina teérica de Turing y de los primeros ordenadores, Colossus, ENLAC, Pilot ACE, EDSAC, y un largo etcétera hasta el momento actual. El legado de Turing no solo fueron sus aporta- clones cientificas, sus geniales hallazgos y su contribucién a la informatica, sino lo que su trabajo sugirié pero dejé sin concluir, ¥ que ha inspirado a generaciones posteriores de cientificas, Come ejemplo se describen tres proyectos o lineas de investiga- cidn aiin abiertas y en pleno desarrollo: el ordenador cudntico, el diseito de modelos de redes neuronales artificiales y su utilizacidn en sistemas inteligentes en la vida diaria, y el estudio del ADN mediante ordenadores, la molécula de la vida, cuya estructura fue descubierta en el Reino Unido por Watson y Crick un afio-antes de Su Tnuerte, Todo un viaje apasionante guiado Por una de las mentes més 1926 1935 1936 E] 23 de jinio nace en Londres Alan Mathison Turing. Es el segundo hijo de Julius Mathison Turing y Ethel Sara Stoney. ‘Tras aprobor el examen de ingreso a jo escuela privada, es aceptado en al Sherbome School. Ingresa en el King’s College de la Universidad de Cambridge, donde estudia Matemuiticas, Obtiene wna beca por dos afios para trabajar en ef King's College, Inicia los estudios de doctorado en ip Universilad de Princeton, cn Estados, Unidos, que acuhard en 1838, Rechswa une oferta ce trabajo de Von Neumann Para trabajar en Princeton y regress al King’s College. Introduce la nocidn de tiquina de Turing, uno de boa concepios claves de la computacién. Se incorpara come criptégrafo al complejo de Bletchley Park invents Bombe, la miquina con ia que low briinicos lograran romper con éxito los codigos alenanes Enigma. Recibe la Orden del Imperio Britaniso en reconocimiento @ su comribuciin, como eriptografo a la victoria de jos brivtnicos en la Segunda Guerra Munctial. Se craslada al Laboratorio Nachonal de Fisica en Londres para encargane de la creacion del ordenador Pilot ACE, euyo disefio Presenté al laboratorio on 1846, 1948 Se incorporm a la Universidad de Marichester, donde, junte con Max Newman, organiza un laboratoria dedicads al ciseto y construcehin de ordenactores con fines clentificos. Como resultado se creael Manchester Mack 1, reemplazaco por el orlenadar Ferrant] Mark 1 en 1061. Introduce uric de las primers redes neuronales: artificiales. 1950 Se publica ef articulo «Computing 1952 Machinery and Intelligences, en el que introdnce el test de Turing, Se rata de tina prieba fundamental con la que evaluair al cin ordenador, un programa Olina méquina se comportan ono de un mobo inteligente. Programa el ordenador MADAM de la Linkvensisiad de Manchester para que escriba cartes de anor, Turing presenta las ecunciones de reacclin-fifisidin con bn que nace tind de los primers trabajos de biclogis matemition: el estettio dela Mmorfogénesis, Es arresiatio, acusace de homosexualblad y condenado seguir Un tratamiento hormonal para sriular iu libkde, Alos coarenta y in anos Turing Se aubclds, presintaniente ol lngerir Und manana impregnada en clanure, CAPITULO} £Qué es un ordenador? Yaen el siglo xv Blaise Pascal y Gottfried Leibniz inventaron méquinas con las que se podian realizar operaciones aritméticas elementales, Sin embargo, el propio Leibniz albergaba otro sueno, crear una maquina que fuera capaz de razonar. Hubo que esperar hasta el siglo xx para que Alan Turing desarrollara los conceptos teéricos que permitieron la construccion de los primeros ordenadores. _— A i ng ng > rt rg tt a re ee -_ El 23 de junio de 1912 nacia en Londres Alan Mathison Turing. Hasta un afio antes sus padres, Julius Mathison Turing y Ethel Sara Stoney, residian en Chatrapur, India, ciudad en la que por aquel entonces su padre era empleado del Indian Civil Service. Tras ser concebido, Julius y su esposa pensaron que seria mejor que su futuro hijo naciera en el Reino Unido, asi que viajaron a Londres para que Sara diera a luz a Alan, el segundo y ultimo hijo del matrimonio Turing. Después del nacimiento de Alan, su padre considerd que la India podria ser un lugar peligroso para vivir, asi que dejé instalada a su familia en Inglaterra mientras ¢l se dedi- caba a desemperiar su labor de funcionario en Chatrapur, y reali- zaba varios viajes de ida y vuelta entre la India y el Reino Unido, Tras cumplir Alan el primer atio, Sara viajé también a la India para reunirse con su marido, dejando a sus dos hijos al cuidado de un matrimonio de confianza. En esa época sus padres viajaron en numerosas ocasiones entre Guildford, a las afueras de Londres, y la colonia britanica. Los padres de Turing pertenecian ala clase media-alta de una sociedad que aim conservaba las costumbres y los valores educa- tives tradicionales del Imperio briténico, algo muy alejado de la personalidad de Alan y contra lo cual chocaria a la postre. Tanto su familia paterna como la materna carecian de tradicién cientifica 0 académica. El tinico Turing que adquirié cierta fama, Harvey 2QUE ES UN GRGENADORE Doria Turing, hermano de Julius, lo hizo gracias a su habilidad en la pesca con mosca. Sin embargo, pese a la ausencia de tradicion intelectual en su familia, Alan manifesté ser una mente muy des- pierta a una temprana edad, Se cuenta que desde pequefio mani- festd un gran interés por los nlimeros, las letras y los rompecabezas, y por ejemplo, mientras paseaba se paraba ante las farolas para observar detenidamente su nimero de serie, También se cuenta que a la edad de siete afios, en una merienda en Ullapool, ciudad situada en el norte de Escocia, el jovencito Alan pensé que la mejor manera de recolectar miel era dibujar el trayecto que reali- gaban las abejas para obtener asi el punto de interseccién de los recorridos, dado que ese lugar marcaria precisamente dénde se encontraba el panal. En otra ocasion se percaté de que la cadena de su bicicleta se salia tras un niimero determinado de vueltas del plato y los piftones; al parecer le atraia mas la idea de resolver un problema que comprar una nueva cadena, opcidn que hubiera pre- ferido cualquier nino de su edad. Desde su nifiez, Alan Turing mostré pasidn por la ciencia, de la que daria signos durante sus anos de escolarizacidn. A la edad de seis afos, su madre lo matriculé en St. Michael's, wn colegio p+ blico en el que daban especial importancia ala ensefianza del latin. Alli comenzaria su formacién dentro del sistema educativo inglés, con el que tendria sus mas y sus menos a lo largo de] tiempo, pues si bien es verdad que es la fuente de la que bebié y que a la postre lo conforma intelectualmente, también es cierto que, dada su per- sonalidad, entré en conflicto con él por sus valores especialmente clasistas, que se sustentaban fundamentalmente sobre dos pilares: la Iglesia anglicana y el Imperio briténico, Ese ambiente inculcd en Alan uno de sus rasgos caracteristicos: su respeto hacia las normas, Una anécdota ilustra bien este aspecto desu personali- dad: un dia que su madre le estaba leyendo The pilgrim's progress (El progreso del peregrine, 1678), una de las novelas clasicas de la literatura inglesa eserita por John Bunyan (1828-1688), se salté una parte porque pensé que era pesada y aburrida por su conte- nido religioso para un nifio, y entonces Alan le hizo vera su mactre que la parte que se habia saltado era esencial y sin su lectura la historia que le estaba leyendo carecia de sentido, GME ES UN ORDENADORT Concluida la etapa en el St. Michael's, siguié la misma trayec- toria que su hermano mayor, John. Primero ingresé en el centro Hazelhurst, ya continuscion fue inscrito en su primer colegio pri- vado, el Marlborough, Por aquella época, como otros muchos nifios, Alan realizé experimentos elementales de quimica y se in- teresdé por la lectura de un libro muy popular en la época, titulado Natural wonders every child should know (Maravillas de la na- turaleza que lode nino deberia conocer), de Edwin Tenney Brewster (1866-1960). Este libro fue sin duda de gran importancia para él, ya que le abrié Jos ojos al modo en el que el cientifico in- terroga y explica la naturaleza, ademas de que fue la primera vex que el joven Turing leia algo relacionado con la biologia en cuya explicaciin se utilizaba la idea de «maquina: la obra enunciaba que el cuerpo humano era una «compleja maquina» cuya principal misién era el mantenimiento de la vida. «La idea detrds de los computadores digitales puede explicarse diciendo que estas m4quinas estan destinadas a lievar a cabo cualquier operacién que pueda ser realizada por un equipo humano.» — ALAN Trmiee, 36. Por consiguients, una funcidn matemética seria una abstraccidn, De una forma similar, para ef calculo 4, 5@ Usa una expresion algo mds enre- vesada, (A «.++ 1), que significaria fo que sigue: «La funcedn (representada por gout Es UN ORDENADOHT a a a @! simboio 4) de la variable (aqui x —Cconcepto que de una forma convencional escnbiriamos come A ()— que (renresentade come.) afiade (per el operador +) el valor de la variable (es decir, x) a I», Podemos complica un poco mas la @xpresion anterior, por ejemplo escriblendo (4.44193), cuye resultade saris 4, porque estamos diclencko que el valor de2es 3. Come es previsible podemas ft complicando las operaciones hasta desarrollar todos los elementos dal cal- culo & Otro de fos meéritos de esta clase de céloulo fue que tuve un profundo impacts sobre la teoria que estudia la programackin de ordanadores, El problema de la parada Pero si por algo es ceélebre ef calcula) es porque Church utilizd este formas lismmo para estudiar el llamado proglema oe ls parada, abtenlende come re- Sultado la nocién de problema computable, que es precisamente la idea Que subyace en la maquina oe Turing. A su vez, Turing demostré en 1937 que tanto el calculo 2 como su maquina eran equivalentes, es decir, permitian llegar por dos vias diferentes 2 los mismes resultecos. Cuando una maquina Ge Turing procesa alguna de lat oxpresiones indicadas, por ejemplo (+3 1), se Getiong una vez obtenida un resuitade, 4 en el ejemplo, siendo esta la expre- sion computable, Mas adn, ¥ desde un punto de vista préctico, el caloulo & inspiré ef desarrollo de los llamados fenguajes de programaciin funcionales, Uno de cuyos ejemplos es Lisp, uno de los longuajes més importantes en in- bekigencia artificial, Este lenguaje fue introducide an 1958 par John MeCarthy (1927-2011), uno doing pacires de la Inteligencia artificial, y entre cuyas carac- teristicas heredadas del caiculo Ase encuentra ol uso de paréntesis: [detstruck persona (nombre “Alan} (edad 411) en el caso mas sencilla: {format t «;Rola Turing!) dOUE ES UN ORDENADORT programa, lo que se. conoce como estructura de datos, proponiendo una de las expresiones mas célebres heredera del trabajo de Turing: algoritmo + estructura de datos=programa. OTRAS MAQUINAS DE TURING En 1982, el premio Nobel de Fisica Richard Feynman (1918-1988) planted una cuestidn realmente apasionante y que volvera a ser tra- tada en el tiltimo capitulo. Predijo la clase de problemas que no podrian set tratados jams con un ordenador, tras encontrar una Timitacién en la capacidad computacional de las maquinas de Tu- ring, ademas del denominade problema de la parada, que tratare- mos en el siguiente apartado. Feynman propuso que tanto las méquinas de Turing como los ordenadores en general no podian ser aplicados a la simulacion de fendmenos de naturaleza cudntica, es decir, los que se observan en los atomos y para los que Ja fisica cla- sita es insuficiente. Con esto queria decir que un fenémeno cuantico es no computable y, por tanto, no podia ser tratade con un ordena- dor convencional. Para que esto fuera posible, segin Feynman, una maquina dé Turing tentiria que ser capaz, entre otras peculiaridades, de estar en varios estacdos simultaneamente o Jeer al mismo tempa varias celdas de la cinta. Extrapolando estas caracteristicas a un ordenador actual, el ordenador en cuestiGn tencinia que poder mani- pular, ademds de los estados 0 o 1, posibles «estados intermediase entre Oy 1, y leer «a la vez» varios registros de la memoria RAM. No obstante, una vez propuesto el limite en la aplicacion de la maquina de Turing, otro fisico, el anglo-israeli David Deutsch (n_ 1953), intro- dujo en 1985 una nueva clase de maquina de Turing con la que esta limitacidn quedaria definitivammente superada, la maquina de Turing cudntica. Los ordenadores cudnticos podrian simular problemas no computables, como son los fenédmenos cuanticos, y, obviamente, tendrian numerosas aplicaciones en él mundo real. Ademés de la maquina original introducida por Turing y de su versidn cuantica, otros disefios han sido propuestos, Por ejemplo, es posible construir una maquina de Turing policefalica, es decir, OLE ES UN ORDENADORT — ee eee eet SGU ES VN ORDENADOR? FOND BuPEROR PewerDd Kurt Gite (BOE 1978), paces ded ‘teorema de incomedetinud, ‘ue Reto tanpelemree low cormientsn cle le mtematicn. FOTO SLPEROR CEE CHA Betelle de una a0 una maquina con dos o mds cabezas de lectura/eseritura que leen y escriben sobre una misma cinta, lo que aumenta su eficiencta com- Putacional. Ora posibilidad es la maquina de Turing capaz de leer dates en celdas de mds de una cinta. También se han propuesto otras alternativas, como, por ejemplo, ta maquina de Turing no de- terminista, una maquina en la que la tabla de acciones contiene mds de una regia de transicidn para un cierto estado, eligiéndose al azar la regia de transicién con la que se actualizara su estado, Sin em- bargo, el disenio que representé un verdadero desafio es la clase de maquina ala que Turing denominé ordculo o mdégquina-o, Con ella intenté superar los limites de su maquina convencional, dotandola. de poder computacional suficiente como para resoiver el proble- ma de la parada o problemas cuya solucidn no fuera expresable por medio de un algoritmo. Una maquina-o es una maquina de Turing que esta conectada a una caja negra, denominada ordewlo, que le permite superar sus limitaciones. Si se prefiere, puede pensarse en el ordculo como una segunda cinta en la maquina de Turing. Para consultarla, esta utiliza un simbolo especial! llamado nmarcador. Entre dos marcadores se sitta el simbolo sobre el que la maquina quiere consultar al oraculo, Seguidamente, la maquina de Turing pasa a un estado especial denominado estado Hamada, enviando asi una peticidn al ordculo. Si este reconoce el simbolo como per- teneciente a su conjunto de simbolos, entonces la maquina pasaré. al estaddo-1 y, en caso contrario, es decir, si el or’culo no reconoce el simbolo en cuestidn, pasara al estado-0, La mAquina-o fue un primer intento realizado por Turing de lo que con posterioridad se ha llamado Aipercomputacidn, propuestas que van mas alla de la idea de computacién introducida por el propio cientifico inglés. EL PROBLEMA DE LA PARADA: éPOR QUE SE CUELGA UN ORDENADOR? Una vez ideada la maquina de Turing, el cientifico inglés estudiaria, un «problema de decisién» por medio de su propia invencion, co- nocide desde entonces como problema de la parada (halting pro- JOU ES AN ORDENADOR? Toe ee - a += ——= blem en inglés o Pntscheidwngsproblem en aleman), El problema consiste en predecir si cuando una maquina de Turing lea un sim- bolo de la cinta continuard funcionando o por el contrario se de- tendra, «colgandose», de forma similar a como lo hacen jos ordenadores actuales, Por consiguiente, la pregunta que intentaba resolver Turing no es otra que la posibilidad de que exista un pro cedimiento mecanico, en la actualidad un programa de ordenador, con el que sea posible establecer si otro programa se detendra cuando reciba como entrada un cierto valor o input. Hoy en dia, con cualquier ordenador de usuario es facil hacer algunos experi- Mentos sencillos sobre estas y otras cuestiones tedricas plan- teadas por Turing. Si asumimos una equivalencia entre la maquina de Turing y un ordenador en el que ejecutemos un programa, el problema consistira en decidir si dicho programa detendra su eje- cucién o por el contrario se ejecutara indefinidamente, Experi- mentaremos estas dos situaciones con los siguientes programas en lenguaje BASIC-256, Por ejemplo, él siguiente programa. se de- tendra apenas sé ejecute una vez: print “Hola Turing!* Mientras que este otro programa se ejecutard, una y otra vez, sin detenerse nunca: r=true while r print “Hola Turing!" end while Sin embargo, el problema estudiade por Turing y sus contem- poraneos no es tan sencillo como aqui lo presentamos, ya que no sé puede desarrollar un procedimiento general que sea capaz de Negara conclusién alguna sobre la ejecucién o parada de un pro- grama cualquiera. El reto consiste en escribir un programa que pueda tomar una decisién sobre esta cuestién, una vez que recibe como datos de entrada o tpul no unos niimeras, por ejemplo el PIN de una tarjeta de crédito, o palabras, por ejemplo un nombre 2nue ES UN ORDEN ADCS a2 y los apellidos, sino otro programa. Concluiremos en este capitulo que él problema de Ja parada es indecidible con una maquina de Turing, pero gy con un ordenador? Supdngase que llamamos parada (candidate, entrada) aun programa que es capaz de establecer si otro programa, al que llamaremos candidata, detendrd o no su ejecucién verifican- dose su parada o halt cuando recibe un cierto valor de entrada 0 input, cuyo valor denominaremos entrada. Efectivamente, si representamos parada (candidato, entrada) en forma de pseudocodigo, tendremos que: programa parada(candidato, entrada) if input=entrada y candidato — se detiene then parada(candidato, entrada)=verdadero; if input=entrada y candidato — no se deriene then parada (candidato, entrada)=faiso: Supéngase que utilizando el programa parada (candidate, entrada) eseribiéramos un nuevo programa, al que denominare- mos paradoja {entrada}: programa paradoja (entrada) if parada (entrada, entrada)=falao then return verdadero else return falsa Demos un paso més en el razonamiento, tal y como hizo Alan Turing, y lamemos Pal programa paradoja. A continuacién, ejecutemos parada (P, P), Si el programa que esta dentro del principal devuelve falso, es decir, el programa P no se detiene al recibir como valor de entrada o inpué un programa idéntico a ¢l, entonces el programa principal paradoja(P) devolvera verdadero, deteniéndose su ejecucién, lo que no es cierto y por tanto es «mentirar. Por el contrario, si parada(F, FP) devuelve verdadero, puesto que el programa P detiene su ejecucién al recibir un valor simitar de entrada P, entonces paradoja(P) no detiene JOUE ES Us ODEN ADGA su ejecucién, siendo también «mentira», Por consiguiente, Tu- ring concluyé que dadas estas contradicciones el programa parada, o Aalt en su versién original, carece de utilidad como procedimiento que permita la evaluacién de P. En otras pala- bras, el problema de la parada o halting problem es un problema iresoluble. No obstante, y aunque no exista ningin programa que sirva de herramienta universal para resolver satisfactoriamente el pro- blema de la parada, sea cual sea el programa 2, los cientificas pensaron que tal vez resultase factible escribir un programa que devolviera tinicamente respuestas a casos, es decir, en lenguaje actual, programas particulares. Esta clase de programas fue bau- tizada con el nombre de programas PHS (partial halting solver) © solucionadores parciales de la parada, Sin embargo, tiempo después se concluyé que la situacién era tan intratable como el problema de Ja parada. Por ejemplo, utilizando una vez mas el lenguaje BASIC-256, escribamos un programa que recibe como entrada o input un programa PS. Su tarea consiste en proporcio- nar como salida o output un comentario informando si el pro- frama PS detiene ono su ejecucién: input PS df PS = “halt” then print “el programa Sf se detiene” elee print “el programa NO se detiene”™ endif end De acuerdo con los razonamientos anteriores, la conclusién a la que llegamos es realmente decepcionante, ya que no podemos asegurar que este programa de apariencia tan sencilla propor- clone al usuario inicamente respuestas correctas. Asombrosa- mente, antes de que los ordenadores, y, por tanto, el software, existicran, Turing fue capaz de llegar ala siguiente conclusion: no existe ningtin procedimiento mecanico, ya sea una Maquina de Turing o, en lenguaje actual, un programa de ordenador, con el JOUE ES UN ORDENADOR? que se pueda determinar si otro programa (o maquina de Turing) se detendra (halt) dado un cierto valor de entrada o input. Esta conclusién fue obtenida por Turing mediante su propio objeto de UN SINFIN DE MAQUINAS DE TURING Un ordenador actual podria ser considerade come una méquina de Turing que 4 su vez contiene a otra én su interior. Con el fin da explicar esta idea considérese por ejemplo ENIAC (Electronic Numerical integrator And Com: Puber), une de los primercs ordenadores, Este mastodonte de los prirmeros afes de la informatica podria ser representado come una maquina de Tonng con tres cintas! una cinta de krctura que recibiria los datos de entrada o input, otra de emcritura que mostraria los resultados, salida o cutout, y una lercera que desempefiaria el papel de una memoria. Los ordenadores actuales En un ordenador actual, la mAquina de Turing que representa ENIAC deberia ser modificada actualizandola, considerande ahora que la cinta de entrada se desdodlaria en dog segmentos: ef primero seria la memoria auxillar, por elem- pio el disco duro, una tarjeta de memoria SD o un pendrive, miantras que el Segmento restante seria el teclado. En dicha maquina la cinta de salida estaria Feprasantoda por a! manitar, mientras que la de mamoria seria la memoria (RAM. Si ahora asumimos que el sistema operative es también una maquina de Turing, por ejemplo, las distintas versiones de Windows de Microsoft, o cual quiera de las distribuciones de Linux, ‘Unix 9 la Farnilia Mae OS de fos ordena- Gores Apple, entonces tendremos que el Conjunto de programas que permiten que Un Usuario gestiona Ios recursos de wh Grdenador es una maquina de Turing qué controla a otra, e! ordenador propiamente dicho, Mas atin, cuando UN frogramadar ecribe un programa, el conjunte de sus instrucciones, esto es, el Hamado codigo fuente, debe ser traducido a eéciga maquina o binario son un programs Hamad compilagor, gue puede ser también considerada otra maquina de Turing. Una vez traducide, af programe ya podra Ser ejecuta- do en el microprecesador, al dispositive mas importante del ordenador. Por tanto, el modelo que subyace es Que tanto el ordenador como el programa con ef que traducimas un programa a una versidn ajecutable, 6 el mismo sis- ae eae plane Aa maquinas de Turing. En otras palabras, «todo prog hb . wares, y aqui se inclu: también los circultos alectrénicos, el hardware, come si de cahee de triana Una die las ideas mas apasionantes conseeuencia dal trabaja que tiempo atras realizase Alan Turing, 20U5 ES UN ORDENADOR? invenci6n, la maquina de Turing. Esto demuestra, una vez mas, la genialidad de este cientifico, que pese a su corta existencia fue uno de log mas grandes del siglo xx. CONSTRUIR MAQUINAS DE TURING Aunque resulte paradjico, la maquina de Turing jams fue llevada a la realidad por su autor, pese a sus denodados esfuerzos. Este artificio fue y es una méquina te6rica cuyo mérito es que ha per- mitide definir qué problemas son o no tratables con un ordenador. Curiosamente, investigadores y aficionados a los ordenadores de tedo el mundo han construido, con fines recreativos, la maquina que una vez propusiera este genial cientifico. Une de los primeros modelos fue construido en 1972 en la Universidad de Brandeis, en Massachusetts (Estados Unidos), por Ira Gilbert con el fin de ensefar nociones de programacién a los estudiantes, Mas recientemente, utilizando el juego de construc- ciones LEGO, han sido construidas varias versiones de la maquina de Turing. A base de ladrillos de plastico interconectables, Denis Cousineau construyé una maquina de Turing, aunque este modelo no fue enteramente mecanico. Su autor utilizé um ladrillo inteli- gente de LEGO, llamado RCX, de uso habitual en experimentos de robdtica recreativa, para almacenar en su microcontrolador pro- gramable la tabla con los estados de transicién. Otro modelo de maquina de Turing construido con LEGO fue el montado por el Jjaponés Joe Nagata. En 2010 Mike Davey construyé un modelo con aspecto vintage en un intento por rememorar la m4quina des- crita en el trabajo publicado por Alan Turing en 1936. No obstante, S$ maquina utilizaba un microcontrolador Parallax Propeller y una tarjeta SD en la que se almacenan los estados de la maquina. De estos experimentos se deduce que la construccién fisica, Oanivel de hardware, de una mdquina de Turing no resulta tan sencilla y, de hecho, los modelos de este tipo no abundan, Por el contrarie, encontramas numerosos ejemplos de software con los que realizar la simulacion de dicha maquina, bésicamente porque AQUE ES UN ORDENADOR? resulta mucho més sencillo de abordar, Entre los proyectos mas interesantes destacan «Turing and Post Machines: C++ Simula- tors», una coleccién de programas en lenguaje C++ con los que simular distintas clases de maquina (determinista, no determi- nista, universal, «con fallos+, varias cintas, ete.). El Visual Turing, disefiado para el sistema operative Windows, es un atractive simu- lador con el que es posible experimentar con diversas maquinas de Turing por medio de instrucciones graficas. Otro de los simula- dores es Jfiap, esta vez en Java, muy interesante al incluir la simu- lscidin de la maquina de Turing junto con otras maquinas similares. Otro ejemplo de maquina de Turing en lenguaje Java, aunque de presentacién mas sobria, y por tanto de aspecto mas académico, es tmsim_bgm. Volviendo la vista atrés, para el sistema operativo: MS-DOS, el programa original jkturing, de John Kennedy, de la Universidad de Santa Monica, en Estados Unidos, representa otra opcién de simulacién, aunque algo menos atractiva (que Visual Tu- ring 0 Jflap; no obstante, este programa fue actualizado para las distintas versiones del sistema operativo Windows. Muy atractivo es Uber Turing Machine, desarroliade en 2011, que incluye un al- fabeto con el que eseribir distintos programas para la maquina. Todos estos programas son ejemplos de algo que resulta verdade- ramente curioso, pues consisten en simular maquinas de Turing en wna maquina de Turing universal, él ordenador. Uno de los desafios mas interesantes es la posibilidad de econstruir una maquina de Turing utilizando para tal fin otra maé- quina, conocida con el nombre de Juego de la Vida, Este juego fue disefiado en 1970 por John Horton Conway (n, 1997), profesor de ia Universidad de Cambridge, donde también estudié Turing. Se trata de una sinwlacién por ordenador que fue muy popular entre los aficionados a la ciencia recreativa, especialmente tras su pu- blicacién par el matemdtico y divulgador Martin Gardner (1914- 2010) en la revista Scientific American, El juego.es un autémata celular, es decir, una rejilla en dos dimensiones cuyas celdas estan Scupadas por lo que se denominan autématas finitos, también Sonacidos cot mdquinas de estados finitns, se trata de un ob- Jeto que S@ encuentra en uno de entre in conjunta de estados Posibles, siendo este conjunto finita. Por ejemplo, un semaforo dU ES UM ORDENADOR? - a -—-/- i 3. ay’ =0 2Out ES LN CDE DON Aplicando de un modo iterative las reglas de transicién a cada uno de los automatas finitos que componen el automata celular tendraé lugar su evolucién, pudiéndose observar la aparicién de patrones o figuras caracteristicas de este juego. Sus formas y cam- bios causaron, y siguen haciéndolo, una gran fascinacién entre los aficionados a los ordenadores, de manera que se organizaron con- cursos ¥ otras actividades, Aunque hay una gran oferta de progra- mas con los que experimentar con el Juego de la Vida (Lifed2, Xlife 2.0, Life 1.05/1.06, ProLife, Mcell, dbLife, etc,), familiariain- dose asi con el concepto de automata, uno de los mas completes y espectaculares es Golly. LA AVENTURA AMERICANA En agosto de 1996 Alan Turing envid para su publicacidn en loa Proceedings of the London Mathematical Society un artieulo ti- tulado «Sobre los niimeros computables con una aplicacién al Entscheidungsproblem=, ya mencionade anteriormente, en el que introduje su célebre maquina. En dicho articulo define también los concepios de «computable» y «no computabler, ¢ incluye algunas ideas fundamentakes, no solo para las mateméticas sino para la in- formitica Casualmente ese mismo afio Alonzo Church publicd en la revista American Journal of Mathematics un articulo titulado «Un problema irresoluble de teria elemental de mimeros»; ambos cientificos habian legado a los mismos resultados, aunque por vias diferentes. Mientras Turing razonaba de manera muy original, considerando la clase de operaciones que de «forma mecanica podria hacer en el mundo real una persona, por ejemplo, un ofici- nista que repite una tarea una y otra vez, 0 una maquina que sume dos mimeros, Church razonaba de una forma clasica, dentro del «mundo abstracto» que es propio de las matemdticas. Lamenta- blemente Turing publicd poco después que Church los resultados, Jo que le resté originalidad al tener que hacer referencia al trabajo del matematico estadounidense. Estas dos publicaciones repre- sentan las bases tedricas de lo que mas tarde seria el ordenador, aQUE ES UN ORDENADOR? Un mes después, en septiembre de 1936, Turing viajo a Esta- dos Unidos, Una vez alli su idea era completar sus estudios de doctorado durante dos afios en el Instituto de Estudios Avanzados de Ja prestigiosa Universidad de Princeton, Bajo la direccién de Alonzo Church, Turing estudié algo que puede resultar curiaso, incluso en la actualidad, el uso de la «intuiciéne en matematicas, Sin entrar en cuestiones filosdficas, la intuicién podria definirse como un producto del sentido comin. Se trataria de una forma de anticipacién o visién mental que nos ayuda durante un razona- miento 4 llegar a un cierto resultado o conclusidn. Puesto que durante Un razonamiento concatenamos hechos de forma légica, la intuicién seria un «ingrediente extra» del que haria uso un ma- tematico con objeto de obtener la solucién a un cierto problema, «El razonamiento matematico puede considerarse mas bien esquematicamente como el ejercicio de una combinacion de dos instalaciones, que podemos llamar la intuiciGn y el ingenio.» — Avan Tymina,

    You might also like