ALAN MATHISON TURING Coromoto Leén Hernandez y Casiano Rodriguez Leén Alfinalizar sus estudios de Historia y Literatura en la Universidad de Oxford, Julius Turing ingres6 en el indian Civil Service, el cuerpo de funcionarios con el. que ol Imperin Rritanien administraha la India. Después de diez anos de trabajo en Madras, al sur del pais, volvi de vacaciones a Inglaterra con la intenciéa de busear esposa. En el barco en ‘el que viajaba conacié a Ethel Stoney con la que se ‘casaria poco después. Julius y Ethel tuvieron dos hijos: John y Alan. Alan Turing fue concebido en la India pero nacié en Paddington, cerca de Londres, 23 de junio de 1912, Su madre regresa a la India, ¥¥elnifio Alan permanece en Inglaterra con familia: Fes ¢ interno en colegios, Su infancia se earacteriaa por su gran dificutad para comunicarse y su gusto por lo abstracto, Estaba fascinado por las notaclo- nes simbdlicas y uno de sus juegos preferidos era descifrar los nimeros de serie de las farolas de las calles. Alon Tring EI Turing adolescente era torpe en caligrafa, ertura Tata y Senta pasion por las ciencias Se adapta bastante maa sistema elisa de as publ schoo rites (curio Samentelosngesesdenomlnan publi school als escuela privadas). Ea 1926 Ingresa ena Sherbome School donde le apodan con él nombre de Math Brain pues empleaba su tlempo en a lectra de obras de matematias de alto nivel Llevaba un cuaderno de notas sobre tora dela rel a. tividad y desatendfa los estudios del programa ofi- i Gal Incisoen matematlas no oblene sino result 7 fos mediocres. Es entonces cuando conoce 8 ¥ Christopher Morcom, su primey paleo amor Morcm, un ao mayor que Tring compart con sulterés por las matemticas yas clenla. Cuando Morcom eta pequefio tome leche de vaca nfecada ll Con tuberculosis oblna; desde entonces st vida sstuvo cn comstane peligro. Fnalmente mori en febrero de 1390 Alan quedo sumido en tna larga cra Sin embargo, consige sar de sv bache emo- clonal superando toda as signaturasyconsigulen dona beca para el King’s College de a Uiversiad de Cambridge donde nges6 en 195. COirstoper Norco Las matematicas del siglo XX. a46 Cambridge, era en esa época uno de los centros de Investigacion matems- {ca mds importantes de! mundo. EI King’s College se habia convertido, en una Inglaterra todavia muy puritana, en el foco de iradiacién de un pensamlento iberatibertari, del que Turing absorbe todas las ideas. En esa 6poca aceptd su condiciOn ce homosexual. Trabajaba mucho y practicaba deporte, sobre todo remar y correr. Lee la obra de Von Neumann sobre mecénica cuéntica, Finalmente se gradia en 1984, En marzo de 1935, con solo velntid6s afos, Alan fue elegido fellow del King’s College, excelente notica que sigilicaba un sueldo de 300 libras al ano. En la primavera de este aio, aslstié como alumno al seminaiio que Maxwell Newman impartié sobre Fundamentos de las Matemnticas en la Universidad de ‘Cambridge. El seminarlo estaba basado en los trabajos que se presentaron en el congreso internacional de Mateméticas de 1929, en el que el mateméticoale- dn David Hilbert desarroll6 algunos de los diecisiete problemas abiertos que hhabta formulado al comienzo del siglo XX. En concreto, abordé tres cuestio- = Uno: json “completas” las matemticas? Esto es, puede cualquier “sen tencla del lenguaje de las matematicas" ser demostrada o rebatida? - Dos: gson “consistentes”?, sno ocurrta la desgracia de que alguna sen- tencia sea demostrable y también lo sea su negaciOn?, zse puede demostrar, dentro del propio marco de las mateméticas, que eso no ocurre? =Tres: json “computables"?, existe un “procedimiento mecdnico” median te el cual, tenlendo como entrada la asercién que se va a demostrar, se pro duzea como salida tras un ndmero fnito de pasos, la respuesta correcta acer- ca de su veracidad,falsedad o, si tal fuera el caso, su independencia del marco axlométleo? Las clases de Newman terminaron con la demostracién del teorema de Godel. Kurt Gédel habia demostrado no s6lo que la aritmética es incompleta (uno), sino que su consistencia (dos) no puede ser probada dentro de su pro- plo marco axiomatico. Asi Newman condujo a Alan a lo que entonces eran las fronteras del conocimiento, proporcionandole las armas logicas para sacar adelante el trabajo que apareceré en On Computable Numbers. Los trabajos de Turing provocaron que, desde un punto de vista logico-matemstico se planteara la cuestién de la computabilidad (tres), Su teoria demostraba que para ciertos problemas, a pesar de que estén perfectamente bien planteados, puede no existir ningin procedimiento que, en un niimerofinto de operacio- nes, los resuelva. Esto es lo que se denomina un problema no computable (Como dirfael robot en Perdis en el espacio) o indeciibles seqin la terml- nologia de Gadel. En los parrafos siguientes se expone con terminologia actual ‘cuales fueron las ideas de Turing Cualquler conocimiento se transmite a través de un lenguaje. Las frases ‘que componen un lenguaje como el espanol, el enguaje de la Logica o un len- {guaje de programacion como Java no son mis que la concatenacién de los elementos de un alfabeto finito. Matematicamente: si fijamos un alfabeto FeO, 94,8 od 228 ‘Alan Mathison Turingsuficientemente rico en simbotos, podemos considerar el conjunto cierre de Kieene de E, denotado por 2" y formado por todas las concatenaciones pos! bles de elementos de : Bt -PUEUBU.. UEU Aqut 2" denota el producto cartesiano de ¥ por st mismo n veces. Si enter ‘demos el espariol como el conjunto de frases (discursos, textos) que lo com pponen, entonces cabe entender que el Espafiol es un subconjunto de 2*. Es claro que lo mismo sucede con otros lenguajes como el inglés, la Logica y tadios los Lenguaies de programacién. En Z* conviven todas las novelas y tri- tados escritos y que se escribirin, todos los programas que fueron y serdn, con todas las combinaciones absurdas de simbolos. Es una Biblioteca de Babel ‘como la que describia Jorge Luis Borges en su famoso cuento. Definiremos fenguaje en un sentido amplio, como cualquier subconjunto de 1, ylenguaje computable es aquel lenguaje L = 3* para el cual existe un pro ‘grama P que disclere si una frase x © 3* esta o no en L. La palabra programa fs usada aquf en su sentido habitual, Con una excep: ci6n: si bien suponemos que durante la ejecucién del programa s6lo se hace uso dena cantidad de memoria finita, suponemos que nues- tro computador dispone de luna capacidad potencial de almacenamiento infinita (esto es, admitimos que siempre podemos ir a la tienda de la esquina a com- prar més memoria si nos hhace falta). Notese que la efinicion de lenguaje com- putable no entra en veleida- des seménticas, es simplista y no pretende siquiera que el programa que computa L entienda o no el significado de las frases x de L: simple mente pretende que nos diga six es 0 no un elemen- Ings nm progranar nei ew ein computadoras como FOR- ‘ser et Hote! Esplanade, wiltzado por muchos refugiados de Gates canes eee Coromoto Leén Hernandez y Casiano Rodriguez Leén 29correspondientes programas, denominados “complladores” que, cuando se les da como entrada un programa mal escrito se quejan con un syntax error, pero si se hace bien ejecutaran las acelones que se solicit, 4s cualquler lenguale, cualquier subconjunto de E* computable? Puede ‘un lenguaje como el espaol, el inglés 0 los Teoremas Légicas Ciertos ser *reco- rnocido” por un computador? Puede obtenerse una primera respuesta utllzan- do la teoria de cardinales transfnitos de Cantor. En dicha teori, un conjunto para el que existe una correspondencia biyectiva con el coajunto de los ndime- ‘os naturales se dice numerable. Se puede probar que 3* es un conjunto nume- rable, ya que ca la unién infinitonumerable de conjuntos finitos £". Puesto que ‘cualquier programa de ordenador es un elemento de 3*, se sigue que el nime- ro de programas que se hayan escrito o jams puedan escrblrse es numera- ble. Sin embargo, el nimero de lenguajes sobre el alfabeto S no es numerable, ‘pues, tal como Cantor demostr6, no se puede encontrar una correspondencia, biyectiva entre el conjunto 22" de los subconjuntos de 3* y el propio canjun- to 3°, Por tanto, deben existir enguajes que no sean computables. La demos tracton de Turing sobre la existencia de lenguajes y funciones no computables es constructiva. Un corolario famoso de su teoria es que el problema de la parada es no computable. El problema de la parada esta delinido por el len- ‘uae de Tos pares (programa, entrada), tales que el programa, al ser ejecutado sobre la entrada, termina, esto es, no cae en ninguna clase de bucle infnto, En 1996, Turing intenta publicar su trabajo On Computable Numbers: with ‘an application to the halting problem en el libro de actas de In London ‘Mathematical Society. Consegullo no fue facil La raz6n de la negativa fue que ‘Alonzo Church habia publicado en a American Journal of Mathematics su tesis de que la nocién de funel6n recursiva no es sino la formalizacién matematiea de la nocion de funcién humanamente computable. Turing revisa su trabajo hhaciendo una menci6n a la tesis de Church y finalmente su articulo revisado se publica en 1937. Como resultado de sus discusiones con Church, en 1936, Turing se trata dda a la Universidad de Princeton (New Jersey, Estados Unidos), para realizar Investigaciones conjuntas. En Princeton trabala en la demostracin de la equ valencia entre su concepto de computabilidad y el de Church. Teoremas de {equivalencia como estos son los que, confizmados una y otra vez para otros ‘modelos de computaci6n propuestos posterlormente,justfican la conocida tesis de ChurchTuring. Dicha tesis propone que, supuesta una capacidad de almacenamiento ilimitada, cualquiera que sea la Torma en la que un computa- dor se construya, su capacidad potencial de cémputo no varia (aunque si puede varia su velocidad). Introduce la idea de méquina oréculo (una méqui- nha que es capaz de dar la respuesta a una cuestién indecidible) Esto es, supuesta computable una cierta funci6n, ;qué nuevas funciones podemos ‘computar? Turing recibe su doctorado por Princeton en 1938 con el trabajo titulado Systems of Logic Based on Ordinal y regresa a Inglaterra, En 3 de septiembre de 1939, Inglaterra entré en la Segurida Guerra Mundial El departamento briténico de andlisiscriptografico pidié a Turing que colabo- rara con ellos. Los alemanes usaban una maquina llamada Enigma para cifrar 230 ‘Alan Mathison Turing‘sus mensajes. El proyecto proveché las ideas de un grupo de mateméticos polacos, que habian desa- rrollado una maquina denominada La bomba capaz de descifrar eiertos cédigos particulares de Enigma. Turing logré gene- ralizar las lnstrucclones de la Bomba y acelerar el | proceso de deselfrado en un factor de velntséis. A finales de 1939 eran capa: ces de desentranar los mensajes de la avlacién alemana, en 1941 deseifra: ban los de la marina, Sin embargo, en febrero de 1942 os alemanes cambia- ron el sistema de encripta- do, En un estuerzo coordi nado con los americanos se loged de nuevo en 1943 el desciframiento, que se mantuvo hasta el final de Ja guerra. En 1945 Turing recibié la Orden del ta mia Brg Imperio Briténico como reconocimiento a su labor. En 1946 Turing es nombrado investigador principal de un proyecto del [ational Physical Laboratory de Londres con el que se pretende construir un computador digital. Turing disefia un computador universal con programa almacenado en memoria, el ACE (Automatic Computing Engine) y establece las bases de su programacién. En octubre de 1947 vuelve por un afio a Cambridge donde estudia neurologia y fisiologia. Al afio siguiente, se traslada a la Universidad de Manchester aceptando el puesto que le ofrece Newman. En 1950 publica Computing machinery and inteligence in Mind. En ese trabajo, Turing casi escribié el guidn de la pelicula Blade Runner al intentar contestar ala cuestion Puede pensar una méquina? (Cosa dificil de definir la inteligencia es, que ditfa el pequeio Yoda). Recuerdan la primera escena de Blade Runner? En algun ediilo de ta galdetica cludad de Los Angeles, un tipo con aspecto de poliefao psiquiatra, cuestlona a un hombre sudoroso y preocupado. Las preguntas parecen saca das de uno de esos test psieol6gicos que aparecen en los semanarios. Algo ast como, "Esta usted en el deslerto caminando por la arena, cuando ve un galé- ago que se arrastra hasta usted. Usted se agacha, lo pone patas arriba y lo Coromoto Leén Hernandez y Casiano Rodriguez Lebn 23146 deja cocléndose al sol. BI galépago trata de darse la vuelta. ;Por qué no le Ayuda?” o "Deseriba con palabras sencilla, slo las cosas buenas que recuer. dda de su madre" E] hombre esta cada vez mis incémodo. Ante alguna de las, ‘preguntas, se bloques, Entonces el poliefa el Blade Runner, sabe. ¥ el hombre sabe que el otro sabe. Saca un pistolén enorme, descerraja dos tiros al inquisl- {dor y salta por la ventana, Asi que, para cortar por el nudo gordiano, Turing proponta simpliicar Ia respuesta a la pregunta planteada con un juego: EI juego de Turing Este es un juego en el que participan tres jugadores. Dos de ellos, un humane (A) y un computador (C) permanecen en una habltacién ‘separada.Eltercero (B, cum Blade Renner quiral), ignarante de qui es quién, debe mediante las cuestiones que escribe en una terminal averiguar la natu raleza de cada uno. El objetivo de la maquina es, por tanto, suplantar al huma- ‘no. El del humano A es convencer al Blade Runner B de su condicién de mor- tal, Slun Blade Runner B, inteligente y culto, o es capaz de distingulr entre la maquina y el interlocutor humano A (también seleccionado inteligente y culte), entonces —arriesgaba Turing— podemos decir que C piensa. {Legaré el dia en el que una maquina pueda ganar este juego? Ningin computador actual es capaz de tal proeza Si lega ese momento, ;podremos segulr consl- derandola una méquina? Las respuestas a esta pregunta han evolueionado con el tiempo, Més que en el campo matemético-ogico, las mayores dificultades {que presenta la gsimulacidn? de la conducta humana por un ordenador pare- cen residiren los problemas de percepeién, en los de relacién con el entorno yen las emociones, En 1951, Turing fue elegido mlembro dela Royal Society de Londres. A fina- les de este afto, Turing levé a su casa a Arnold, un joven de dlecinueve aiios que habia encontrado en un lugar frecuentado por homosexuales en Oxford Street, Manchester. Posterlormente, un amigo de Amold entré en casa de ‘Turing y le rob6. Turing denuneié el robo. La poliea, al contrario de lo que pudiera esperarse, concent su investigacion en la vida privada de Turing. En febrero de 1952, ¢s arrestado y acusado de conducta indecente, Le ofrecen cambiar la pena de cércel por un tratamiento hormonal El tratamiento arrui- 16 su salud. Tuvo que abandonar los trabajos en criptografia que realizaba para el gobierno (estos haban cobrado gran importancia con la llegada de la Guerra Fria). La policfa de la seguridad del estado le vigilaba constantemente, legando a registrar su casa y a investiga alos colegas extranjeros que recibia en la universidad, E17 de junio de 1954, come una manzana inyectada de cia- nhuro, La mujer de la limpieza lo encontré muerto en la cama el dia siguiente “Tenia 42 aio. 22 ‘Alan Mathison Turing