··Alan Turing··

Alan Mathison Turing fue un matematico, lógico cientifico de la computación, criptografico y filosofo británico. Es considerado uno de los padres de la ciencia de la computacion siendo el precursor de la informatica moderna. Dio una influyente formalización de los conceptos de algoritmo y computación: la maquina de Turing. Formuló su propia version de la hoy

ampliamente aceptada tesis de Church-Turing
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 del Bletchley Park. Tras la guerra diseñó uno de los primeros computadores electrónicos programables digitales en el Laboratorio Nacional de Físicadel Reino Unido y poco tiempo después construyó otra de las primeras máquinas en la Universidad de Mánchester. Entre otras muchas cosas, también contribuyó de forma particular e incluso provocativa al enigma de si las máquinas pueden pensar, es decir, a la inteligencia artificial. La carrera de Turing terminó súbitamente después de ser procesado por ser homosexual. Turing se suicidó dos años después de su condena.

-La maquina de Turing:

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ödel en 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 implementar 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 elproblema 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 procesamiento por su homosexualidad y su muerte:

La carrera profesional de Turing se vio truncada cuando lo procesaron por su homosexualidad. En 1952 Arnold Murray, el amante de Turing, ayudó a un cómplice a entrar en la casa de Turing para robarle. Turing acudió a la policía a denunciar el delito. Durante la investigación policial, Turing reconoció su homosexualidad, con lo que se le imputaron los cargos de "indecencia grave y perversión sexual" (los actos de homosexualidad eran ilegales en el Reino Unido en esa época), los mismos que a Oscar Wilde más de 50 años antes.

Convencido de que no tenía de qué disculparse, no se defendió de los cargos y fue condenado. Según su ampliamente difundido proceso judicial, se le dio la opción de ir a prisión o de someterse a castración química mediante un tratamiento hormonal de reducción de la libido. Finalmente escogió las inyecciones de estrógenos, que duraron un año y le produjeron importantes alteraciones físicas, como la aparición de pechos o un apreciable aumento de peso, que lo condujeron a padecer de disfunción eréctil. Dos años después del juicio, en 1954, Turing falleció debido a la ingestión de una manzana contaminada con cianuro en un contexto que indica un posible suicidio.
Dos años después del juicio, en 1954, murió por envenenamiento con cianuro, aparentemente tras comerse una manzana envenenada que no llegó a ingerir completamente. La mayoría piensa que su muerte fue intencionada y oficialmente se le consideró como un suicidio. Sin embargo su madre intentó negar la causa de su muerte, atribuyéndola a una ingestión accidental provocada por la falta de precauciones de Turing en el almacenamiento de sustancias químicas de laboratorio. Los últimos años de su vida fueron amargos y reservados. Esta muerte no esclarecida ha dado lugar a diversas hipótesis incluida la del asesinato. El 10 de septiembre de 2009 el primer ministro del Reino Unido, Gordon Brown, emitió un comunicado declarando sus disculpas en nombre de su gobierno por el trato que recibió Alan Turing durante sus últimos años de vida. Este comunicado fue consecuencia de una movilización pública solicitando al Gobierno que pidiera disculpas oficialmente por la persecución contra Alan Turing. Sin embargo, en el año 2012 el gobierno británico de Cameron denegó el indulto al científico, aduciendo que la homosexualidad era considerada entonces un delito penal. Finalmente, el 24 de diciembre de 2013 recibió el indulto de todo tipo de culpa, por orden de la Reina Isabel II.