Alan Turing
Alan Turing
Estatua de Alan Turing y su retrato de fondo Nacimiento 23 de junio de 1912 Londres, Reino Unido 7 de junio de 1954 (41 aos) Cheshire, Reino Unido Reino Unido ingls matemtico, lgico, criptgrafo, informtico terico U. de Mnchester Lab. Nac. Fsica Cambridge Cambridge Princeton
Fallecimiento
Alma mter
Problema de la parada Mquina de Turing Descifrar a Enigma Test de Turing Orden Imperio Britnico Royal Society
Sociedades
Alan Mathison Turing, OBE (Maida Vale, Londres, 23 de junio de 1912 - Wilmslow, Cheshire, 7 de junio de 1954) fue un matemtico, lgico, cientfico de la computacin, criptgrafo y filsofo britnico. Es considerado uno de los padres de la ciencia de la computacin siendo el precursor de la informtica moderna. Proporcion una influyente formalizacin de los conceptos de algoritmo y computacin: la mquina de Turing. Formul su propia versin de la hoy ampliamente aceptada Tesis de Church-Turing, la cual postula que cualquier modelo computacional existente tiene las mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina de Turing. Durante la Segunda Guerra Mundial, trabaj en descifrar los cdigos nazis, particularmente los de la mquina Enigma; durante un tiempo fue el director de la seccin Naval Enigma del Bletchley Park. Tras la guerra dise uno de los primeros computadores electrnicos programables digitales en el Laboratorio Nacional de Fsica del Reino Unido y poco tiempo despus construy otra de las primeras mquinas en la Universidad de Mnchester. Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir a la Inteligencia Artificial.
Alan Turing La carrera de Turing termin sbitamente cuando fue procesado por ser homosexual. No se defendi de los cargos y se le dio a escoger entre la castracin qumica o ir a la crcel. Eligi lo primero y sufri importantes consecuencias fsicas, entre ellas la impotencia. Dos aos despus del juicio, en 1954, Turing falleci debido a la ingestin de una manzana contaminada con cianuro en un contexto que indica un posible suicidio.
Su infancia
Turing fue concebido en Chatrapur (India britnica). Su padre Julius Mathison Turing era miembro del Cuerpo de funcionarios britnicos en la India. Julius y su esposa Ethel queran que su hijo Alan naciera en el Reino Unido y regresaron a Paddington, donde finalmente naci. Pero su padre an deba cubrir su puesto de funcionario en la India, por lo que durante la infancia de Turing sus padres viajaban constantemente entre el Reino Unido y la India, vindose obligados a dejar a sus dos hijos con amigos ingleses en vez de poner en peligro su salud llevndolos a la colonia britnica. Turing dio muestras ya desde una edad muy temprana del ingenio que ms tarde mostrara prominentemente. Se cuenta que aprendi a leer por s solo en tres semanas y que desde el principio mostr un gran inters por los nmeros y los rompecabezas. Sus padres lo inscribieron en el colegio St. Michael cuando tena seis aos. Su profesora se percat enseguida de la genialidad de Turing, tal y como les ocurri a sus posteriores profesores. En 1926, con catorce aos, ingres en el internado de Sherborne en Dorset. Su primer da de clase coincidi con una huelga general en Inglaterra, pero era tan grande la determinacin de Turing por asistir a su primer da de clase que recorri en solitario con su bicicleta las ms de 60 millas que separaban Southampton de su escuela, pasando la noche en una posada una hazaa que fue recogida en la prensa local. Las esperanzas y las ambiciones de Turing en la escuela fueron plantadas por la estrecha amistad que desarroll con un compaero un poco mayor, Christopher Morcom, que fue el primer amor de Turing. Morcom muri repentinamente el 13 de febrero de 1930,slo unas pocas semanas en su ltima temporada en Sherborne, debido a complicaciones de la tuberculosis bovina, contrada despus de beber la leche de vaca infectada. La fe religiosa de Turing se hizo pedazos y se hizo ateo. Adopt la conviccin de que todos los fenmenos, incluyendo el funcionamiento del cerebro humano, debe ser materialista,[1] sin embargo, sigui creyendo en la supervivencia del espritu despus de la muerte.[2] La inclinacin natural de Turing hacia las matemticas y la ciencia no le forj el respeto de sus profesores de Sherborne, cuyo concepto de educacin haca ms nfasis en los clsicos. Pero a pesar de ello, Turing continu mostrando una singular habilidad para los estudios que realmente le gustaban, llegando a resolver problemas muy avanzados (para su edad) en 1927 sin ni siquiera haber estudiado clculo elemental. En 1928, con diecisis aos, Turing descubri los trabajos de Albert Einstein y no slo pudo comprenderlos sino que adems infiri las crticas de Einstein a las Leyes de Newton de la lectura de un texto en el que no estaban explcitas. Durante su edad escolar Turing fue un joven cuyo optimismo y ambiciones se vieron acrecentados debido en gran parte a su intensa unin con su amigo Christopher Morcom, cuya muerte, an joven, afectara a Turing profundamente.
Alan Turing
En su memorable estudio "Los nmeros computables, con una aplicacin al Entscheidungsproblem" (publicado en 1936), Turing reformul los resultados obtenidos por Kurt Gdel en 1931 sobre los lmites de la demostrabilidad y la computacin, sustituyendo al lenguaje formal universal descrito por Gdel por lo que hoy se conoce como Mquina de Turing, unos dispositivos formales y simples. Demostr que dicha mquina era capaz de implementar cualquier problema matemtico que pudiera representarse mediante un algoritmo. Las mquinas de Turing siguen siendo el objeto central de estudio en la teora de la computacin. Lleg a probar que no haba ninguna solucin para el problema de decisin, Entscheidungsproblem, demostrando primero que el problema de la parada para las mquinas de Turing es irresoluble: no es posible decidir algortmicamente si una mquina de Turing dada llegar a pararse o no. Aunque su demostracin se public despus de la demostracin equivalente de Alonzo Church respecto a su clculo lambda, el estudio de Turing es mucho ms accesible e intuitivo. Tambin fue pionero con su concepto de "Mquina Universal (de Turing)", con la tesis de que dicha mquina podra realizar las mismas tareas que cualquier otro tipo de mquina. Su estudio tambin introduce el concepto de nmeros definibles. La mayor parte de 1937 y 1938 la pas en la Universidad de Princeton, estudiando bajo la direccin de Alonzo Church. En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto de hipercomputacin, en el que ampliaba las mquinas de Turing con las llamadas mquinas oracle, las cuales permitan el estudio de los problemas para los que no existe una solucin algortmica. Tras su regreso a Cambridge en 1939, asisti a las conferencias de Ludwig Wittgenstein sobre las bases de las matemticas. Ambos discutieron y mantuvieron un vehemente desencuentro, ya que Turing defenda el formalismo matemtico y Wittgenstein criticaba que las matemticas estaban sobrevaloradas y no descubran ninguna verdad absoluta.
El King's College de Cambridge, donde estudi en 1931 y se convirti en miembro en 1935. Su sala de computacin lleva actualmente su nombre.
Alan Turing
Durante la Segunda Guerra Mundial fue uno de los principales artfices de los trabajos del Bletchley Park para descifrar los cdigos secretos nazis. Sus perspicaces observaciones matemticas contribuyeron a romper los cdigos de la mquina Enigma y de los codificadores de teletipos FISH (mquinas de teletipos codificados que fabricaron conjuntamente Lorenz Electric y Siemens&Halske). Sus estudios del sistema Fish ayudaran al desarrollo posterior de la primera computadora programable electrnica digital llamada Colossus, la cual fue diseada por Max Newman y su equipo, y construida en la El Bombe replicaba la accin de varias mquinas Enigma. Estacin de Investigaciones Postales de Dollis Hill por un equipo dirigido por Thomas Flowers en 1943. Dicha computadora se utiliz para descifrar los cdigos Fish (en concreto las transmisiones de la mquina Lorenz). Para romper los cdigos de la mquina Enigma y permitir a los aliados anticipar los ataques y movimientos militares nazis, Turing dise la bombe, una mquina electromecnica llamada as en reconocimiento de la diseada por los polacos bomba kryptologiczna que se utilizaba para eliminar una gran cantidad de claves enigma candidatas. Para cada combinacin posible se implementaba elctricamente una cadena de deducciones lgicas. Era posible detectar cundo ocurra una contradiccin y desechar la combinacin. La bombe de Turing, con una mejora aadida que sugiri el matemtico Gordon Welchman, era la herramienta principal que usaban los criptgrafos aliados para leer las transmisiones Enigma. Los trabajos de ruptura de cdigos de Turing han sido secretos hasta los aos 1970; ni siquiera sus amigos ms ntimos llegaron a tener constancia.
En 1952 Turing escribi un programa de ajedrez. A falta de una computadora lo suficientemente potente como para ejecutarlo, l simulaba el funcionamiento de la computadora, tardando ms de hora y media en efectuar un movimiento. Una de las partidas lleg a registrarse; el programa perdi frente a un amigo de Turing. Trabaj junto a Norbert Wiener en el desarrollo de la ciberntica. Esta rama de estudios se genera a partir de la demanda de sistemas de control que exige el progresivo desarrollo de las tcnicas de produccin a partir del siglo XX. La ciberntica pretende establecer un sistema de comunicacin entre el hombre y la mquina como premisa fundamental para administrar los sistemas de control. Sus estudios profundizaron en esta relacin estableciendo el concepto de interfaz y cuestionando los lmites de simulacin del razonamiento humano.
El Test de Turing es una prueba que propuso Alan Turing buscando una manera de demostrar la existencia de inteligencia en una mquina.
Alan Turing
En una carta de esta poca a su amigo Norman Routledge, Turing escribi en forma de falso silogismo una reflexin, relacionando el rechazo social que provoca la homosexualidad con el desafo intelectual que supone demostrar la posibilidad de inteligencia en los ordenadores. En particular, le preocupaba que los ataques a su persona pudieran oscurecer sus razonamientos sobre la inteligencia artificial: Turing cree que las mquinas piensan Turing yace con hombres Luego las mquinas no piensan Dos aos despus del juicio, en 1954, muri por envenenamiento con cianuro, aparentemente tras comerse una manzana envenenada que no lleg a ingerir completamente. La mayora piensa que su muerte fue intencionada y oficialmente se le consider como un suicidio. Sin embargo su madre intent negar la causa de su muerte, atribuyndola a una ingestin accidental provocada por la falta de precauciones de Turing en el almacenamiento de sustancias qumicas de laboratorio. La vida de Turing termin amargamente y envuelta en una nube de misterio. Esta misteriosa muerte ha dado lugar a diversas hiptesis incluida la del asesinato. El 10 de septiembre de 2009 el primer ministro del Reino Unido, Gordon Brown, emiti un comunicado declarando sus disculpas en nombre del gobierno por el trato que recibi Alan Turing durante sus ltimos aos de vida. Este comunicado fue consecuencia de una movilizacin pblica solicitando al Gobierno que pidiera disculpas oficialmente por la persecucin sufrida por Alan Turing. Sin embargo, en 2012 el Parlamento britnico volvi a negar el indulto al cientfico, aduciendo que la homosexualidad era considerada entonces un delito penal.
Alan Turing
Reconocimiento pstumo
El 23 de junio de 2001 se inaugur una estatua de Turing en Mnchester. Se encuentra en Sackville Park, entre el edificio de la Universidad de Mnchester en la calle de Whitworth y la gay village de la calle del Canal. En el 50 aniversario de su muerte se devel una placa conmemorativa en su antiguo domicilio, Hollymeade, en Wilmslow el 7 de junio de 2004. La Association for Computing Machinery otorga anualmente el Premio Turing a personas destacadas por sus contribuciones tcnicas al mundo de la computacin. Este premio est ampliamente considerado como el equivalente del Premio Nobel en el mundo de la computacin. El Instituto Alan Turing fue inaugurado por el UMIST (Instituto de Ciencia y Tecnologa de la Universidad de Mnchester) y la Universidad de Mnchester en el verano de 2004. El 5 de junio de 2004 se celebr un acontecimiento conmemorativo de la vida y la obra de Turing en la Universidad de Mnchester, organizado por el "British Logic Colloquium" y la "British Society for the History of Mathematics". El 28 de octubre de 2004 se devel una estatua de bronce de Alan Turing esculpida por John W. Mills en la Universidad de Surrey. La estatua conmemora el 50 aniversario de la muerte de Turing. Representa a Turing transportando sus libros a travs del campus. El 23 de junio de 2012, da conmemorado a la fecha de nacimiento de Turing (100 aos atrs) Google present entre sus habituales doodles una pequea Mquina de Turing capaz de comparar dos cadenas de caracteres binarios.
Estatua de Turing en la Universidad de Surrey.
Turing en la literatura
Turing es uno de los personajes de la seccin de la Segunda Guerra Mundial del Criptonomicn de Neal Stephenson. La obra de teatro Breaking the Code de Hugh Whitemore trata sobre la vida y la muerte de Turing. En la novela de John L. Casti titulada "El Quinteto de Cambridge" (1998), perteneciente al gnero de ficcin cientfica, uno de los personajes centrales es Alan Turing. El cuento de ciencia ficcin Oracle (2000) de Greg Egan es protagonizado por un alter ego de Turing en una lnea temporal paralela y con un nombre distinto. En la novela de ciencia-ficcin, 2001 de Arthur C. Clarke se hacen constantes referencias a Turing y a su test de mquinas en el caso de HAL. En la novela de Edmundo Paz Soldn titulada "El delirio de Turing" (2003), uno de los personajes se inspira en Turing y a otro, le ponen de sobrenombre el mismo. En la novela de ciencia-ficcin, Neuromante de William Gibson se menciona a "La Polica Turing", que vigila la aparicin de inteligencias artificiales en el ciberespacio.
Alan Turing En la novela "La tienda de los suicidas", de Jean Teul, uno de los hijos de la familia Tuvache lleva el nombre de Alan por Alan Turing.
Referencias
[1] Paul Gray, Alan Turing (http:/ / www. time. com/ time/ magazine/ article/ 0,9171,990624,00. html) Time Magazine's Most Important People of the Century, p.2 [2] The Inspiration of Life and Death, 19281932 (http:/ / www. turing. org. uk/ turing/ scrapbook/ spirit. html) Alan Turing Scrapbook
Bibliografa
The Enigma of Intelligence, una biografa de Andrew Hodges, ISBN 0-04-510060-8 (Unwin Paperbacks, UK, 1986) Alan Turing: Life and Legacy of a Great Thinker, C. Teuscher (Ed.), ISBN 3-540-20020-7 (Springer-Verlag, 2004) The Essential Turing, recopilacin realizada por Jack Copeland, ISBN 0-19-825080-0 (Oxford University Press, USA, 2004) Collected Works of A.M. Turing, en cuatro volmenes: Pure Mathematics, Mathematical Logic, Mechanical intelligence, Morphogenesis. Editados por Arjen Sevenster y R.O. Gandy. (Elsevier, 1992, 2001) Turing. Del primer ordenador a la inteligencia artificial, una biografa de Rafael Lahoz-Beltra, (Nivola, Espaa, 2009)
Enlaces externos
Wikiquote alberga frases clebres de o sobre Alan Turing. Wikiquote Wikimedia Commons alberga contenido multimedia sobre Alan TuringCommons. O'Connor, John J.; Robertson, Edmund F., Biografa deAlan Mathison Turing (http://www-history.mcs. st-andrews.ac.uk/Biographies/Turing.html) (en ingls), MacTutor History of Mathematics archive, Universidad de Saint Andrews. Una breve biografa de Turing, en ingls (http://www.turing.org.uk/bio/part1.html) Una biografa de Turing an ms breve, en ingls (http://www.idsia.ch/~juergen/turing.html) Alan Turing Hacia una mente digital: 1 Parte, en ingls (http://www.systemtoolbox.com/article. php?history_id=3) Mquinas de computacin e inteligencia (http://www.loebner.net/Prizef/TuringArticle.html) Texto ntegro del artculo de Turing, en ingls. Descubrimiento en Hollymeade de la placa conmemorativa del 50 aniversario de la muerte de Turing, en ingls (http://www.5xm.com/turing/) Alan Turing y la morfognesis, en ingls (http://www.swintons.net/jonathan/turing.htm) The Turing Archive (http://www.turingarchive.org) Turing Day 2002 (http://www.teuscher.ch/turingday) Turing 2004: A celebration of his life and achievements (http://www.maths.man.ac.uk/logic/turing2004/) Alan Turing, el fantasma que invent la informtica (http://www.abc.es/20120215/archivo/ abci-alan-turin-informatica-201202151051.html)
Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/