Alan Turing

Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing (1936).Se ha estimado que su trabajo acortó la duración de esa guerra entre dos y cuatro años.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 envenenamiento accidental —.Después de una campaña pública en 2009, el primer ministro británico, Gordon Brown, se disculpó públicamente en nombre del gobierno británico por «la forma espantosa en la que Turing había sido tratado».[7]​ Turing tiene un extenso legado con estatuas y muchas cosas que llevan su nombre, incluido un premio anual por innovación en informática.[10]​ Su padre, Julius Mathison Turing (1873-1944), era miembro del cuerpo de funcionarios británicos en la India.Durante su infancia, sus padres viajaron constantemente entre Hastings, Reino Unido, y la India debido a que su padre seguía activo en la Administración Colonial, por lo que pasó algunos años viviendo con su hermano en la casa de un matrimonio retirado del ejército.A pesar de ello, el joven continuó mostrando una singular habilidad para los estudios que realmente le gustaban, y llegó a resolver problemas muy avanzados para su edad (16 años) sin ni siquiera haber estudiado cálculo elemental.[13]​ Christopher Morcom estudiaba junto con Turing en la escuela de Sherborne y ambos compartían la pasión por la ciencia.Adoptó la convicción de que todos los fenómenos, incluyendo el funcionamiento del cerebro humano, son materialistas.Tras su graduación, se trasladó a la Universidad estadounidense de Princeton, donde trabajó con el lógico Alonzo Church.David Hilbert formalizó el problema en el VII Congreso Internacional de Matemáticas (Bolonia, 1928), planteando la búsqueda de un procedimiento algorítimico válido para solucionar las posibles cuestiones matemáticas, a través de tres preguntas: Si bien Hilbert suponía que la respuesta a las preguntas era afirmativa, Kurt Gödel, mediante los teoremas de Incompletitud demostró que las dos primeras preguntas no podrían serlo ya que, tal como afirma Gödel: «En cualquier formalización consistente de las matemáticas que sea lo bastante fuerte para definir el concepto de los números naturales, se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema», mientras que el primero afirma: «Ningún sistema consistente se puede usar para demostrarse a sí mismo».Como consecuencia, es también imposible decidir con un algoritmo general si ciertas frases concretas de la aritmética son ciertas o falsas.Las nueve mil personas que trabajaban allí se dedicaron a intentar interpretar las comunicaciones alemanas cifradas en código morse.[25]​ A raíz de esta pregunta, Turing pudo poner en práctica sus teorías: diseñó la máquina Bombe.[26]​ Los trabajos de la GC&CS, dirigidos por Turing, fueron determinantes para acortar la guerra.[27]​ Al finalizar la guerra, las máquinas Bombe se desmantelaron y todo el trabajo permaneció en secreto hasta los años setenta.Paralelamente, existía un proyecto similar en Estados Unidos llamado EDVAC de Von Neumann.Su deseo era crear una máquina que pudiera ser configurada para hacer cálculos algebraicos, desencriptar códigos, manipular archivos y jugar al ajedrez.Tiempo más tarde creó el Abbreviated Code Instruction, que dio origen a los lenguajes de programación.En 1947 se tomó un año sabático en Cambridge, tiempo durante el cual escribió un trabajo pionero sobre la inteligencia artificial que no fue publicado en vida.En el documento, Turing sugirió que en lugar de construir un programa para simular la mente adulta, sería mejor producir uno más simple para simular la mente de un niño y luego someterlo a educación.Una forma invertida de la prueba de Turing se usa ampliamente en Internet: el test CAPTCHA, que está diseñado para determinar si un usuario es un humano y no un ordenador.«Una computadora puede ser llamada inteligente si logra engañar a una persona haciéndole creer que es un humano» - Alan Turing.[32]​[33]​ Entre 1948 y 1950 en conjunto con un antiguo compañero, D. G. Champernowne, empezó a escribir un programa de ajedrez para un ordenador que aún no existía.Su test fue significativo, característicamente provocativo y una gran contribución para empezar el debate alrededor de la inteligencia artificial que aún hoy continúa.Sus trabajos posteriores no se publicaron hasta 1992 en el libro Obras completas de A. M. Turing.Esta muerte no esclarecida ha dado lugar a diversas hipótesis, incluida la del asesinato.Este comunicado fue consecuencia de una movilización pública solicitando al Gobierno que ofreciera disculpas oficialmente por la persecución contra Alan Turing.La Association for Computing Machinery otorga anualmente el Premio Turing a personas destacadas por sus contribuciones técnicas al mundo de la informática.