Alan Mathison Turing, OBE naci贸 en Londres, el 23 de junio de 1912, y muri贸 en Wilmslow, Cheshire, el 7 de junio de 1954, fue un matem谩tico, l贸gico, cient铆fico de la computaci贸n, cript贸grafo, fil贸sofo, maratoniano y corredor de ultra distancia brit谩nico.
Es considerado uno de los padres de la ciencia de la computaci贸n y precursor de la inform谩tica moderna. Proporcion贸 una influyente formalizaci贸n de los conceptos de algoritmo y computaci贸n: la m谩quina de Turing. Formul贸 su propia versi贸n que hoy es ampliamente aceptada como la tesis de Church-Turing en 1936.
Durante la segunda guerra mundial, trabaj贸 en descifrar los c贸digos nazis, particularmente los de la m谩quina Enigma, y durante un tiempo fue el director de la secci贸n Naval Enigma de Bletchley Park.
Se ha estimado que su trabajo acort贸 la duraci贸n de esa guerra entre dos y cuatro a帽os. Tras la guerra, dise帽贸 uno de los primeros computadores electr贸nicos programables digitales en el Laboratorio Nacional de F铆sica del Reino Unido y poco tiempo despu茅s construy贸 otra de las primeras m谩quinas en la Universidad de M谩nchester.
En el campo de la inteligencia artificial, es conocido sobre todo por la concepci贸n del test de Turing en 1950, un criterio seg煤n el cual puede juzgarse la inteligencia de una m谩quina si sus respuestas en la prueba son indistinguibles de las de un ser humano.
La carrera de Turing termin贸 s煤bitamente tras ser procesado por homosexualidad en 1952. Dos a帽os despu茅s de su condena, muri贸 seg煤n la versi贸n oficial por suicidio; sin embargo, su muerte ha dado lugar a otras hip贸tesis, incluida la del asesinato. El 24 de diciembre de 2013, la reina Isabel II promulg贸 el edicto por el que se exoner贸 oficialmente al matem谩tico, quedando anulados todos los cargos en su contra.
En su memorable estudio "Los n煤meros computables, con una aplicaci贸n al Entscheidungsproblem" publicado en 1936, Turing reformul贸 los resultados obtenidos por Kurt G枚delen 1931 sobre los l铆mites de la demostrabilidad y la computaci贸n, sustituyendo al lenguaje formal universal descrito por G枚del por lo que hoy se conoce como m谩quina de Turing, unos dispositivos formales y simples. Turing demostr贸 que dicha m谩quina era capaz de resolver cualquier problema matem谩tico que pudiera representarse mediante un algoritmo. Las m谩quinas de Turing siguen siendo el objeto central de estudio en la teor铆a de la computaci贸n. Lleg贸 a probar que no hab铆a ninguna soluci贸n para el problema de decisi贸n, Entscheidungsproblem, demostrando primero que el problema de la parada para las m谩quinas de Turing es irresoluble: no es posible decidir algor铆tmicamente si una m谩quina de Turing dada llegar谩 a pararse o no. Aunque su demostraci贸n se public贸 despu茅s de la demostraci贸n equivalente de Alonzo Church respecto a su c谩lculo lambda, el estudio de Turing es mucho m谩s accesible e intuitivo. Tambi茅n fue pionero con su concepto de «m谩quina universal de Turing», con la tesis de que dicha m谩quina podr铆a realizar las mismas tareas que cualquier otro tipo de m谩quina. Su estudio tambi茅n introduce el concepto de n煤meros definibles.
En este enlace, podemos encontrar las 10 frases c茅lebres de Alan Turing.
