Mostrando entradas con la etiqueta Princeton. Mostrar todas las entradas
Mostrando entradas con la etiqueta Princeton. Mostrar todas las entradas

11 de febrero de 2016

Biografía completa de Alan Turing III

En este tercer post sobre la biografía completa de Alan Turing vamos a tratar aspectos biográficos de Alan Turing durante la segundad mitad de los años 30, entre 1934 a 1939.

En 1934, Alan Turing concluyó sus estudios de matemáticas. Al año siguiente obtuvo una beca de dos años del King's College. En 1936, ganó el premio Smith, que otorga la Universidad de Cambridge a jóvenes investigadores en física teórica, matemáticas o matemática aplicada, por su trabajo en teoría de probabilidad. Ese mismo año, escribió un artículo científico decisivo titulado "On computable numbers with an application to the Entscheidungsproblem" en el que hará una de las aportaciones científicas más importantes de su vida: la máquina de Turing. En 1935, Alan Turing asistió a un curso en la Universidad de Cambridge. El curso lo impartía el matemático Max Newman cuya especialidad era la topología, una especialidad de las matemáticas, que estudia "las propiedades de los objetos que se conservan cuando los transformamos de manera continua." Ambos trabaron una duradera amistad que se prolongó más allá del fin de la contienda de la Segunda Guerra Mundial.

En agosto de 1936, Alan Turing envía su artículo "On numbers with an application to the Entscheidungsproblem" a la revista Proceedings of the London Mathematical Society. En el artículo, introdujo su célebre máquina de Turing, define también los conceptos de "computable" y "no computable" e incluye algunas ideas fundamentales. Casualmente, ese mismo año, Alonzo Church publicó en la revista American Journal of Mathematics, un artículo titulado "un problema irresoluble de teoría elemental de números". Ambos matemáticos habían llegado a los mismos resultados, aunque por vías distintas: "Mientras Turing razonaba de manera muy original, considerando la clase de operaciones que de "forma mecánica" podría hacer en el mundo real una persona, por ejemplo, un oficinista que repite una tarea una y otra vez, o una máquina que suma dos números, Church razonaba de una forma clásica, dentro del mundo abstracto que es propio de los matemáticos." Alan Turing publicó sus resultados poco después que Alonzo Church los publicará, lo que le restó originalidad al tener que hacer referencia al trabajo de Alonzo Church. Estos dos artículos hoy representan las bases teóricas de la informática.

Alan Turing y Alonzo Church

En septiembre de 1936, Alan Turing viaja a Estados Unidos para realizar sus estudios de doctorado durante 2 años en el Instituto de Estudios Avanzados de la Universidad de Princeton. Alonzo Church sería el supervisor de su tesis doctoral. Fue durante esta época, cuando Alan Turing comenzó a interesarse por la posibilidad de construir su propia máquina. Fue durante su estancia en la Universidad de Princeton cuando nació su interés por el hardware. Empezó a pensar en el soporte físico de la máquina, una época en la que todavía no había ordenadores. En 1938, John von Neumann le ofrece un puesto temporal en la Universidad de Princeton. Sin embargo, Alan Turing rechazó la oferta de John von Neumann. Ese mismo verano regresó al King's College. Una vez allí, comenzó a trabajar sobre un "mecanismo analógico" para confirmar la llamada hipótesis de Riemann. En agosto de 1939, Alan Turing recibe la proposición de incorporarse al Bletchley Park en calidad de criptógrafo para descifrar los mensajes interceptores a los nazis.

Alan Turing en Princeton