Alan Mathison Turing,OBE(Paddington,Londres,23 de juniode1912-Wilmslow,Cheshire,7 de juniode1954), fue unmatemtico,lgico,cientfico de la computacin,criptgrafoyfilsofobritnico.Es considerado uno de los padres de laciencia de la computacinsiendo el precursor de lainformticamoderna. Proporcion una influyente formalizacin de los conceptos dealgoritmoy computacin: lamquina de Turing. Formul su propia versin de la hoy ampliamente aceptadatesis de Church-Turing.Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir, a lainteligencia artificial.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, y lleg a resolver problemas muy avanzados (para su edad) en1927sin ni siquiera haber estudiadoclculoelemental.En1928, con diecisis aos, Turing descubri los trabajos deAlbert Einsteiny no slo pudo comprenderlos, sino que adems infiri las crticas de Einstein a lasLeyes de Newtonde la lectura de un texto en el que no estaban explcitas. ElEntscheidungsproblem, que se traduce como problema de decisin, fue un reto en lgica simblica de encontrar un algoritmo general que decidiera si una frmula del clculo de primer orden es un teorema. En 1936, de manera independiente,Alonzo Churchy Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es tambin imposible decidir con un algoritmo general si ciertas frases concretas de la aritmtica son ciertas o falsas.La tesis de Church-Turing formula hipotticamente la equivalencia entre los conceptos defuncin computableymquina de Turing, que expresado en lenguaje corriente vendra a ser: Todoalgoritmoes equivalente a una mquina de Turing. No es en s un teorema matemtico: es una afirmacinformalmente indemostrable, unahiptesisque, no obstante, tiene unaaceptacin 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.En su memorable estudio "Los nmeros computables, con una aplicacin alEntscheidungsproblem" (publicado en1936), Turing reformul los resultados obtenidos porKurt Gdelen1931sobre los lmites de la demostrabilidad y la computacin, sustituyendo al lenguaje formal universal descrito por Gdel por lo que hoy se conoce comomquina 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 lateora de la computacin.En1938obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto dehipercomputacin, en el que ampliaba las mquinas de Turing con las llamadasmquinas oracle, las cuales permitan el estudio de los problemas para los que no existe una solucin algortmica.Durante laSegunda Guerra Mundialfue uno de los principales artfices de los trabajos delBletchley Parkpara descifrar los cdigos secretosnazis. Sus perspicaces observaciones matemticas contribuyeron a romper los cdigos de lamquina Enigmay de loscodificadores 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 primeracomputadoraprogramable electrnica digital llamadaColossus, la cual fue diseada porMax Newmany su equipo, y construida en la Estacin de Investigaciones Postales deDollis Hillpor un equipo dirigido porThomas Flowersen1943. Dicha computadora se utiliz para descifrar los cdigos Fish (en concreto las transmisiones de lamquina Lorenz).Para romper los cdigos de lamquina Enigmay permitir a los aliados anticipar los ataques y movimientos militares nazis, Turing dise labombe, una mquina electromecnica llamada as en reconocimiento de la diseada por los polacosbomba kryptologiczna que se utilizaba para eliminar una gran cantidad de claves enigma candidatas. Los trabajos de ruptura de cdigos de Turing han sido secretos hasta losaos 1970; ni siquiera sus amigos ms ntimos llegaron a tener constancia.A mediados de1948fue nombrado director delegado del laboratorio de computacin de laUniversidad de Mnchestery trabaj en el software de una de las primeras computadoras reales, laManchester Mark I. Durante esta etapa tambin realiz estudios ms abstractos y en su artculo "Mquinas de computacin e inteligencia" (octubre de1950) Turing trat el problema de lainteligencia artificialy propuso un experimento que hoy se conoce comoTest de Turing, con la intencin de definir una prueba estndar por la 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. Su test fue significativo, caractersticamente provocativo y una gran contribucin para empezar el debate alrededor de la inteligencia artificial que an hoy contina.Trabaj junto aNorbert Wieneren el desarrollo de laciberntica. 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 delsiglo XX. Lacibernticapretende 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.Turing trabaj desde 1952 hasta que falleci en 1954 en labiologa matemtica, concretamente en lamorfognesis. Public un trabajo sobre esta materia titulado Fundamentos qumicos de la morfognesis en 1952.La carrera de Turing termin sbitamente despus de ser procesado por serhomosexual. Turing se suicid dos aos despus de su condena. El 8 de junio de 1954, Turing fueencontrado muertopor su personal de limpieza. Un examen post-morten estableci que la causa de la muerte fueenvenenamiento por cianuro.Desde 1966 se viene entregando de forma anual el premio Alan Turing por la Association for Computing Machinery a una persona en reconocimiento a su contribucin tcnica a la ciencia de la computacin y a la Comunidad. Este premio est considerado comoel mayor honor en el mundo de la computacin, comparable al premio Nobel.Alan Turing fue otro geniovctimade la irracionalidad y la moralina caduca. Muri a la edad de 41 aos, a pocos das de cumplir 42, si la vida de Turing no hubiese terminado de forma abrupta y violenta, seguramente otros muchos avances hubieran llegado de su mano.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