¡Descarga Alan Turing: el genio matemático y criptógrafo británico y más Resúmenes en PDF de Psicología solo en Docsity!
Alan Turing fue matemático, lógico, científico de la
computación, criptógrafo y filósofo británico.
Es considerado uno de los padres de la ciencia de la
computación siendo el 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 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ísica del Reino Unido y poco
tiempo después construyó otra de las primeras máquinas en
la Universidad de Mánchester.
Biografia
Turing fue concebido en Chatrapur (India británica). Su padre Julius Mathison Turing era miembro del cuerpo de funcionarios británicos en la India. Julius y su esposa Ethel querían que su hijo Alan naciera en el Reino Unido y regresaron a Paddington, donde finalmente nació. Durante su infancia sus padres viajaban constantemente entre el Reino Unido y la India ya que su padre aún debía cubrir su puesto de funcionario en la India, por lo que sus dos hijos eran cuidados por amigos ingleses de sus padres para evitar poner en peligro su salud en la colonia británica. Turing dio muestras ya desde una edad muy temprana del ingenio que más tarde mostraría prominentemente. Se cuenta que aprendió a leer por sí solo en tres semanas y que desde el principio mostró un gran interés por los números y los rompecabezas. Sus padres lo inscribieron en el colegio St. Michael cuando tenía seis años. Su profesora se percató en seguida de la genialidad de Turing, tal como ocurrió a sus profesores posteriores.
Estudios
En 1926, con catorce años, ingresó en el internado de Sherborne en Dorset. Su primer día de clase coincidió con una huelga general en Inglaterra, pero su determinación por asistir a clase en su primer día era tan grande que recorrió en solitario con su bicicleta las más de 60 millas que separaban Southampton de su escuela, pasando la noche en una posada. Las esperanzas y las ambiciones de Turing en la escuela fueron plantadas por la estrecha amistad que desarrolló con un compañero un poco mayor, Christopher Morcom, que fue el primer amor de Turing. Morcom murió repentinamente el 13 de febrero de 1930, sólo unas pocas semanas después de su última temporada en Sherborne, debido a complicaciones de la tuberculosis bovina, contraída tras beber la leche de alguna vaca infectada. La fe religiosa de Turing se hizo pedazos, y se volvió ateo. Adoptó la convicción de que todos los fenómenos, incluyendo el funcionamiento del cerebro humano, deben ser materialistas. Sin embargo siguió creyendo en la supervivencia del espíritu después de la muerte. La inclinación natural de Turing hacia las matemáticas y la ciencia no le forjó el respeto de sus profesores de Sherborne, cuyo concepto de educación hacía mayor énfasis en los clásicos. 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) en 1927 sin ni siquiera haber estudiado cálculo elemental. En 1928, con dieciséis años, Turing descubrió los trabajos de Albert Einstein y no sólo pudo comprenderlos, sino que además infirió las críticas de Einstein a las Leyes de Newton de la lectura de un texto en el que no estaban explícitas. Durante su edad escolar, Turing fue un joven cuyo optimismo y ambiciones se vieron acrecentados debido en gran parte a
La máquina 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 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.
Máquinas oracle
La mayor parte de 1937 y 1938 la pasó en la Universidad de Princeton, estudiando bajo la dirección de Alonzo Church. En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto de hipercomputación, en el que ampliaba las máquinas de Turing con las llamadas máquinas oracle, las cuales permitían el estudio de los problemas para los que no existe una solución algorítmica. Tras su regreso a Cambridge en 1939, asistió a las conferencias de Ludwig Wittgenstein sobre las bases de las matemáticas. Ambos discutieron y mantuvieron un vehemente desencuentro, ya que Turing defendía el formalismo matemático y Wittgenstein criticaba que las matemáticas estaban sobrevaloradas y no descubrían ninguna verdad absoluta.
Ruptura de códigos
Durante la Segunda Guerra Mundial fue uno de los principales artífices de los trabajos del Bletchley Park para descifrar los códigos secretos nazis. Sus perspicaces observaciones matemáticas contribuyeron a romper los códigos de la máquina Enigma y de los
codificadores de teletipos FISH (máquinas de teletipos codificados que fabricaron conjuntamente Lorenz Electric y Siemens & Halske). Sus estudios del sistema Fish ayudarían al desarrollo posterior de la primera computadora programable electrónica digital llamada Colossus, la cual fue diseñada por Max Newman y su equipo, y construida en la Estación de Investigaciones Postales de Dollis Hill por un equipo dirigido por Thomas Flowers en 1943. Dicha computadora se utilizó para descifrar los códigos Fish (en concreto las transmisiones de la máquina Lorenz). Para romper los códigos de la máquina Enigma y permitir a los aliados anticipar los ataques y movimientos militares nazis, Turing diseñó la bombe, una máquina electromecánica — llamada así en reconocimiento de la diseñada por los polacos bomba kryptologiczna— que se utilizaba para eliminar una gran cantidad de claves enigma candidatas. Para cada combinación posible se implementaba eléctricamente una cadena de deducciones lógicas. Era posible detectar cuándo ocurría una contradicción y desechar la combinación. La bombe de Turing, con una mejora añadida que sugirió el matemático Gordon Welchman, era la herramienta principal que usaban los criptógrafos aliados para leer las transmisiones Enigma. Los trabajos de ruptura de códigos de Turing han sido secretos hasta los años 1970; ni siquiera sus amigos más íntimos llegaron a tener constancia.
Estudios sobre las primeras computadoras y el test de
Turing
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. En una carta de esta época a su amigo Norman Routledge, Turing escribió en forma de falso silogismo una reflexión, relacionando el rechazo social que provoca la homosexualidad con el desafío intelectual que supone demostrar la posibilidad de inteligencia en los ordenadores. En particular, le preocupaba que los ataques a su persona pudieran oscurecer sus razonamientos sobre la inteligencia artificial 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 incluidas la del asesinato.
Gran Bretaña perdonó al matemático Alan Turing, sesenta
años después de su condena por homosexual
Gran Bretaña saldó una deuda histórica anteayer al "perdonar" al matemático Alan Turing, que se suicidó hace 60 años atrás luego de ser condenado por homosexual. Fue la propia reina Isabel II quien le concedió el perdón real al descubridor del secreto de Enigma, la máquina codificadora de los nazis, por "una sentencia que ahora se consideraría injusta y discriminatoria", según anunció el ministro de Justicia, Chris Grayling. "El perdón de la reina es un tributo a la altura de un hombre excepcional", agregó el funcionario en un comunicado que reprodujo la agencia AFP. Un artículo publicado en el diario inglés The Independent menciona que este tipo de perdones oficiales sólo tiene lugar cuando no sólo se comprueba que la persona es inocente de una ofensa o delito (en ese momento era considerado como tal), sino también cuando media un interés y un pedido familiares. No obstante, el caso de Turing representa una excepción porque no se ha dado este último requerimiento. La solicitud provino de una campaña masiva de la que participaron reconocidos científicos, como Stephen Hawking, y cobró fuerza con una petición dirigida al Gobierno firmada por más de 37.000 ciudadanos.
