Alan Mathison Turing es el ejemplo de las pendejadas que hace la gente por la preferencia sexual de una persona no importando su capacidad intelectual. Nacido el 23 de junio 1912, contribuyó a las matemáticas, el criptoanálisis, la lógica, la filosofía, la biología, y de formación a la informática, la ciencia cognitiva , Inteligencia Artificial y Vida Artificial.
Educado en Sherborne School en Dorset, Turing se acercó a King's College de Cambridge en octubre de 1931 para leer las matemáticas. Fue elegido Miembro del Rey, en marzo de 1935, a la edad de 22. En el mismo año que él inventó las máquinas de calcular abstracto - ahora conocido simplemente como máquinas de Turing - en la que todos los equipos posteriores de programa almacenado digital se modelan. Una máquina de Turing consta de una cinta de papel potencialmente infinito, en el que está escrito un número finito de discretos (por ejemplo, binaria) símbolos, y un escáner que se mueve adelante y atrás a lo largo de la cinta el símbolo por símbolo, leyendo lo que encuentra y escribir símbolos más. Turing demostró que una sola máquina, conocida como la máquina universal de Turing, puede programarse para simular cualquier otra máquina de Turing.
Turing y el lógico estadounidense Alonzo Church sostuvieron que todos los métodos matemáticos "efectivos" pueden ser llevados a cabo por la máquina universal de Turing, una proposición ahora se conoce como la tesis de Church-Turing. Un método matemático es "efectivo" si puede presentarse como una lista de instrucciones puede ser seguido por un empleado que trabaja humanos obediente con papel y lápiz, por el tiempo que sea necesario, y sin conocimiento o el ingenio. La tesis de Church-Turing fue aclamado como un "descubrimiento fundamental» sobre el «poder de matematizacion de Homo Sapiens '(Emil Post palabras en 1936). En una revisión del trabajo de Turing, Church reconoció generosamente la superioridad de la formulación de Turing de la tesis sobre la suya, diciendo que el concepto de computabilidad de Turing máquina tiene la ventaja de la identificación con eficacia ... evidente de inmediato.
De forma independiente, Church y Turing habían demostrado que tanto - contrariamente a la opinión matemática de los días - hay problemas matemáticos bien definidos que no pueden ser resueltos por métodos eficaces, cada uno publicó este resultado en 1936. Esto, junto con el trabajo de la Embajada de Austria (con el lógico Kurt Godel a la cabeza), dieron al traste con el programa de Hilbert en matemáticas. David Hilbert, que en 1900 establecer la agenda para la mayor parte de las matemáticas del siglo 20, afirmó que los matemáticos deben tratar de expresar las matemáticas en forma de un sistema coherente, completa y decidible formal. Un sistema consistente es uno que no contiene contradicciones; «completa» significa que cada enunciado matemático verdad es demostrable en el sistema, y "decidible" significa que hay es un método eficaz para decir, de cada enunciado matemático, si la declaración es demostrable en el sistema. Hilbert punto es que si llegamos a tener un sistema formal, entonces la ignorancia sería expulsado de las matemáticas para siempre. Dado cualquier afirmación matemática, seríamos capaces de decir si la afirmación es verdadera o falsa mediante la determinación de si es o no es demostrable en el sistema. Que el sistema formal se decidible es una condición importante: un sistema indecidible no podía servir para desterrar la ignorancia plenamente, ya que no siempre puede estar seguro de ser capaz de determinar si procede o no la afirmación de que se trata es demostrable en el sistema. Del mismo modo, un sistema incompleto no sería satisfactoria, ya que la afirmación de que se trate puede ser cierto y, sin embargo improbable en el sistema.
En 1931, Gödel demostró que el ideal de Hilbert es imposible de satisfacerse plenamente, incluso en el caso de la aritmética simple. No puede haber un sistema coherente, completo formal de la aritmética. Este resultado se conoce como teorema de incompletitud de Godel. Aunque el teorema de Godel no dice nada sobre decidibilidad, sin embargo,ese aspecto fue abordado por Turing y Church. Ellos demostraron de manera independiente, en 1936, que ningún sistema formal consistente de la aritmética es decidible, de hecho, demostraron que ni siquiera el sistema más débil, conocida como lógica de primer orden predicado, es decidible. El sueño de Hilbert estaba en ruina total. Durante 1936-1938 Turing continuó sus estudios, ahora en la Universidad de Princeton. Realizó un doctorado en lógica matemática bajo la dirección de Church, analizando el concepto de "intuición" en las matemáticas y la introducción de la idea de la computación oracular, ahora fundamental en la teoría de la recursividad matemática. Un 'oráculo' es un dispositivo abstracto capaz de resolver problemas matemáticos muy difícil para la máquina universal de Turing.
En el verano de 1938 Turing regresó a su beca en el King's. Con el estallido de las hostilidades con Alemania en septiembre de 1939 se fue de Cambridge para la sede durante la guerra del Código de Gobierno y Cypher School (GC & CS) en Bletchley Park, Buckinghamshire. Basándose en trabajos anteriores de criptoanalistas polacos, Turing contribuyó de forma decisiva al diseño de máquinas electromecánicas ('bombes") utilizada para descifrar Enigma, el código mediante el cual las fuerzas armadas alemanas tratan de proteger sus comunicaciones de radio. Gracias a la bombes, a principios de 1942 GC & CS fue decodificación de mensajes interceptados alrededor de 39.000 cada mes, pasando posteriormente a más de 84.000 mensajes al mes - aproximadamente dos cada minuto. El trabajo de Turing sobre la versión de Enigma utilizado por la marina alemana era vital para la batalla por la supremacía en el Atlántico Norte. También ha colaborado en el ataque a la Cyphers conocido como 'Fish'. Basado en el código binario de teleimpresora, Fish fue utilizado durante la última parte de la guerra en lugar de basado en morse Enigma para la codificación de señales de alto nivel, por ejemplo mensajes de Hitler y los miembros del Alto Mando alemán. Se estima que la labor de GC & CS acortó la guerra en Europa por al menos dos años. Turing recibió la Orden del Imperio Británico por su desempeño en este rubro.
En 1945,con el fin de la guerra, Turing fue reclutado para el National Physical Laboratory (NPL) en Londres para diseñar y desarrollar un equipo electrónico - una forma concreta de la máquina universal de Turing. informe de Turing que se defina su diseño para el motor de Cálculo Automático (ACE) fue la primera especificación relativamente completo de un sistema electrónico de programa almacenado en una computadora digital de propósito general. Turing dio cuenta de que la velocidad y la memoria fueron las claves de la informática. Su diseño tuvo mucho en común con las arquitecturas RISC de hoy y convocó a una memoria de alta velocidad de aproximadamente de la misma capacidad que una de las primeras computadoras Macintosh (enorme por las normas de su época). Si Turing ACE fuese construido según lo previsto, habría sido en una liga diferente de los primeros ordenadores de otros. Sin embargo, sus colegas en el NPL pensaba que el trabajo de ingeniería muy difícil de tratar, y una máquina construida fue considerablemente menor, el piloto del modelo de la ECA. Con una velocidad de reloj de 1 MHz fue durante algún tiempo el ordenador más rápido del mundo. Ordenadores que se derivan del diseño original de Turing se mantuvo en uso hasta alrededor de 1970 (incluido el G15 Bendix, posiblemente la primer computadora personal).
Los retrasos más allá del control de Turing dieron lugar a que la NPL estuviera perdiendo la carrera por construir la primer pieza de trabajo electrónico de programa-almacenamiento digital - un honor que fue a la Real Sociedad de Informática Laboratorio de Máquinas en la Universidad de Manchester, en junio de 1948. Desalentado por las demoras en el NPL, Turing tomó la Dirección Adjunta de la Royal Society Computing Machine Laboratory en ese año (no había Director). Su trabajo teórico de 1935-36 había sido una influencia fundamental en el proyecto de equipo de Manchester desde sus inicios. La principal contribución práctica de Turing en Manchester fue el diseño del sistema de programación de la Ferranti Mark I, el primer ordenador digital disponible en el comercio electrónico.
Turing fue uno de los fundadores de la ciencia moderna cognitiva y un exponente temprano de la hipótesis de que el cerebro humano es en gran parte, una máquina de calcular digital, teorizando que la corteza al nacer es una 'máquina desorganizado que a través de la «formación» se organiza en una máquina universal o algo parecido". Fue un pionero de la Inteligencia Artificial (IA).
Turing pasó el resto de su corta carrera en la Universidad de Manchester, al ser designado para un público lector creado especialmente en el Teoría de la Computación en mayo de 1953. Fue elegido miembro de la Royal Society de Londres en marzo de 1951 (un alto honor). En marzo de 1952 fue procesado por su homosexualidad, entonces un crimen en Gran Bretaña, y condenado a un período de doce meses de terapia hormonal - tratamiento miserable del país que había ayudado a salvar, que parece haber soportado con entereza divertido. De 1951 Turing trabajó en lo que ahora se llama vida artificial, usando la computadora Ferranti Mark I a los aspectos biológicos modelo de crecimiento, en particular un mecanismo químico por el cual los genes de un cigoto podría determinar la estructura anatómica del animal o vegetal resultantes. Murió en medio de este trabajo pionero.
