, OBE (Paddington, 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. 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. La carrera de Turing termin sbitamente luego de ser procesado por ser homosexual. Turing se suicid dos aos despus de su condena.
El 24 de diciembre de 2013, la reina Isabel II de Inglaterra
promulg el edicto por el que se exoner oficialmente al matemtico, quedando anulados todos los cargos en su contra.[1]
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, [2] que fue el primer amor de Turing. Morcom muri repentinamente el 13 de febrero de 1930,[3] slo unas pocas semanas despus de su ltima temporada en Sherborne, debido a complicaciones de la tuberculosis bovina, contrada tras beber la leche de alguna vaca infectada. La fe religiosa de Turing se hizo pedazos, volvindose ateo. Adopt la conviccin de que todos los fenmenos, incluyendo el funcionamiento del cerebro humano, deben ser materialistas.[4] Sin embargo sigui creyendo en la supervivencia del espritu despus de la muerte. [5] 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 mayor 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.
Aportes
La tesis de Church-Turing formula hipotticamente la
equivalencia entre los conceptos de funcin computable y mquina de Turing, que expresado en lenguaje corriente vendra a ser "todo algoritmo es equivalente a una mquina de Turing". No es en s un teorema matemtico, es una afirmacin formalmente indemostrable, una hiptesis que, no obstante, tiene una aceptacin prcticamente universal. La tesis Church-Turing postula que cualquier modelo computacional existente tiene las mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina de Turing.
La Mquina de 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. Turing 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.
ESTUDIOS SOBRE LAS PRIMERAS COMPUTADORAS Y
TEST DE TURING
El Test de Turing es una prueba que propuso Alan Turing
buscando una manera de demostrar la existencia de inteligencia en una mquina. De 1945 a 1948 Turing vivi en Richmond, Londres donde trabaj en el NPL Laboratorio Nacional de Fsica en el diseo del ACE (Motor de Computacin Automtica [Automatic Computer Engine]). En 1946 present un estudio que se convertira en el primer diseo detallado de un computador automtico. El primer borrador del reporte sobre el EDVAC de Von Neumann fue anterior al de Turing, pero mucho menos detallado. Aunque el disear el ACE era factible, el secretismo que reinaba durante la guerra desemboc en retrasos para iniciar el proyecto por lo que Turing se sinti desilusionando. En 1947 se tom un ao sabtico en Cambrdige tiempo durante el cual produjo el germen sobre la Inteligencia Artificial que no fue publicada en vida. Mientras se encontraba en Cambrdige el piloto del ACE estaba siendo construido a pesar de su ausencia. ACE ejecut su primer programa informtico en mayo de 1950. Aunque la versin completa de la ACE de Turing jams fue construida, un gran nmero de computadoras alrededor del mundo le debe muchsimo a sta. A mediados de 1948 fue nombrado director delegado del
laboratorio de computacin de la Universidad de Mnchester
y trabaj en el software de una de las primeras computadoras reales la Manchester Mark I. Durante esta etapa tambin realiz estudios ms abstractos y en su artculo "Mquinas de computacin e inteligencia" (octubre de 1950) Turing trat el problema de la inteligencia artificial y propuso un experimento que hoy se conoce como Test de Turing, con la intencin de definir una prueba estndar por el que una mquina podra catalogarse como "sensible" o "sintiente". En el documento, Turing sugiri que en lugar de construir un programa para simular la mente adulta, sera mejor producir uno ms simple para simular la mente de un nio y luego someterlo a educacin. Una forma invertida de la prueba de Turing se usa ampliamente en Internet, el test CAPTCHA que est diseado para determinar si un usuario es un humano o una computadora.
ESTUDIOS EN CIBERNTICA
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.
Bibliografa Copeland, Jack B. (2004). The Essential Turing. USA: Oxford
University Press. ISBN 0-19-825080-0.
(2013). Alan Turing. El pionero de la era de la
informacin. Espaa: Turner. ISBN 978-84-15832-12-6.
Hodges, Andrew (1986). The Enigma of Intelligence. UK:
Unwin Paperbacks. ISBN 0-04-510060-8.
Lahoz-Beltra, Rafael (2009). Turing. Del primer ordenador a