Matemáticos

Línea de Tiempo Fotos Dinero Estampillas Bosquejo Búsqueda

Alan Mathison Turing

Fecha del nacimiento:

Lugar del nacimiento:

Fecha de la muerte:

Lugar de la muerte:

23 June 1912

London, England

7 June 1954

Wilmslow, Cheshire, England

Presentación Wikipedia
ATENCIÓN - traducción automática de la versión inglesa

Alan Turing nació en Paddington, Londres. Su padre, Julius Mathison Turing, era un miembro británico de la India de Administración Pública y fue a menudo en el extranjero. La madre de Alan, Ethel Sara Stoney, era hija del ingeniero jefe de los ferrocarriles de Madrás y los padres de Alan se había reunido y se casó en la India. Cuando Alan se acerca un año de edad su madre se reincorporó a su marido en la India, dejando a Alan en Inglaterra con los amigos de la familia. Alan fue enviado a la escuela pero no parece ser la obtención de beneficio alguno por lo que fue retirado de la escuela después de unos meses.

A continuación fue enviado a la Escuela Preparatoria Hazlehurst, donde parecía ser un "buen medio para" alumnos en la mayoría de los temas, pero fue adoptado en gran medida con los siguientes hasta sus propias ideas. Él se interesó por el ajedrez, mientras que en esta escuela y él también se suman a debatir la sociedad. El orador concluyó su examen de ingreso común en 1926 y luego fue a Sherborne School. Ahora 1926 fue el año de la huelga general y cuando la huelga estaba en marcha un ciclo de Turing 60 millas a la escuela desde su casa, no demasiado exigente tarea de Turing que más tarde se convertiría en una multa de casi atleta olímpica estándar. Él encontró que es muy difícil de encajar en lo que se esperaba en esta escuela pública, sin embargo, su madre se había determinado de manera que debería tener una escuela pública de educación. Muchos de los pensadores más originales han encontrado la educación convencional un proceso prácticamente incomprensible y esto parece haber sido el caso de Turing. Su genio lo llevó a su propia dirección en lugar de los exigidos por sus maestros.

Fue criticado por su mano, luchó en Inglés, e incluso en matemáticas estaba demasiado interesado con sus propias ideas para producir soluciones a los problemas usando los métodos enseñados por sus maestros. A pesar de producir respuestas no convencionales, Turing hizo ganar casi todo lo posible premio, mientras que las matemáticas en Sherborne. En química, un tema que le ha interesado desde una edad muy temprana, llevó a cabo experimentos siguiendo su propia agenda que no por favor, su maestro. Turing escribió su director (véase, por ejemplo):

Si es a permanecer en la escuela pública, debe aspirar a convertirse en educación. Si es para ser únicamente un punto de vista científico especialista, está malgastando su tiempo en un colegio público.

Esto dice mucho más sobre el sistema escolar que Turing estaba siendo sometido a que lo hace a sí mismo acerca de Turing. Sin embargo, Turing aprendió matemáticas de profundidad, mientras que en la escuela, a pesar de sus maestros fueron probablemente no tiene conocimiento de los estudios que está realizando por su cuenta. Da lectura Einstein 's documentos sobre la relatividad y también leer sobre la mecánica cuántica en Eddington' s La naturaleza del mundo físico.

Un evento que iba a afectar en gran medida de Turing a lo largo de su vida tuvo lugar en 1928. Él formó una estrecha amistad con Christopher Morcom, un alumno en el año por encima de él en la escuela, y los dos trabajaron juntos en ideas científicas. Tal vez por primera vez Turing fue capaz de encontrar a alguien con quien pueda compartir sus pensamientos e ideas. Sin embargo, Morcom murió en febrero de 1930 y la experiencia fue un destrozando uno a Turing. Tenía una premonición de la muerte de Morcom en el mismo instante que estaba enfermo y consideró que se trataba de algo más allá de lo que podría explicar la ciencia. Él escribió más tarde (véase, por ejemplo):

No es difícil explicar estas cosas - pero, me pregunto!

A pesar de los años escolares difíciles, Turing entrado en el King's College, Cambridge, en 1931 para estudiar matemáticas. Esto no se logró sin dificultades. Turing sentó la beca exámenes en 1929 y ganó una exposición, pero no una beca. No satisfechos con este rendimiento, que entiende los exámenes de nuevo en el año siguiente, esta vez ganar una beca. En muchos sentidos Cambridge era un lugar mucho más fácil para las personas no convencionales como Turing que la escuela ha sido. Él es ahora mucho más capaz de explorar sus propias ideas y que ha leído Russell 's Introducción a la filosofía matemática en 1933. Casi al mismo tiempo que ha leído von Neumann 's 1932 texto en la mecánica cuántica, un tema volvió a un número de veces a lo largo de su vida.

El año 1933 vio el comienzo de Turing de interés en lógica matemática. El orador dio lectura a un documento para el Club de Ciencia Moral de Cambridge en diciembre de ese año de que los siguientes minutos fue grabado (véase, por ejemplo):

AM Turing dio lectura a un documento sobre "Matemáticas y lógica". Sugirió que un punto de vista puramente logístico vista de las matemáticas era insuficiente y que las proposiciones matemáticas poseían una variedad de interpretaciones de que la logística no es más que uno.

Por supuesto, 1933 fue también el año de aumento de Hitler en Alemania y de un movimiento anti-guerra en Gran Bretaña. Turing se unió al movimiento anti-guerra pero no la deriva hacia el marxismo, ni el pacifismo, como ha sucedido a muchos.

Turing se graduó en 1934, entonces, en la primavera de 1935, asistió a Max Newman 's curso avanzado sobre los fundamentos de las matemáticas. Este curso estudiado Gödel 's incompleto resultados y Hilbert' s en cuestión decidability. En cierto sentido 'decidability' fue una pregunta simple, es decir, una proposición matemática se puede encontrar un algoritmo que decida si la proposición es verdadera de la falsa. Para muchas proposiciones es fácil encontrar un algoritmo. La verdadera dificultad surge en que para demostrar ciertas proposiciones no existía tal algoritmo. Cuando se administra un algoritmo para resolver un problema que es evidente que es un algoritmo de hecho, aún no había definición de un algoritmo que era lo suficientemente riguroso para permitir a uno a probar que no existían. Turing comenzó a trabajar en estas ideas.

Turing fue elegido miembro de King's College, Cambridge, en 1935 para una tesis sobre la función de error gaussiana demostrado que los resultados fundamentales en teoría de la probabilidad, es decir, del Teorema del Límite Central. A pesar de que el Teorema del Límite Central ha sido recientemente descubierto, Turing no era consciente de ello y lo descubrió independientemente. En 1936 Turing fue un Smith Prizeman.

Los logros de Turing en Cambridge ha sido a cuenta de su trabajo en teoría de la probabilidad. Sin embargo, él había estado trabajando en la decidability preguntas desde que asisten a Newman 's curso. En 1936 publicó El Computables números, con una aplicación para el Entscheidungsproblem. Es en este documento que Turing introdujo una máquina abstracta, ahora se llama una "máquina de Turing", que pasó de un estado a otro usando un conjunto finito precisa de las normas ( dada por una tabla finita) y en función de un único símbolo que leer de una cinta.

La máquina de Turing podía escribir un símbolo en la cinta, o eliminar un símbolo de la cinta. Turing escribió:

Algunos de los símbolos escritos formarán secuencias de las cifras que es el decimal del número real que se está calculando. Los otros son sólo aproximadas notas de "ayudar a la memoria". Sólo se toma nota de estas aproximada que será responsable de la supresión.

Se definió un número computable como número real cuya expansión decimal puede ser producida por una máquina de Turing a partir de una cinta en blanco. El orador puso de manifiesto que era computable, pero ya que sólo countably muchos números reales son computables, la mayoría de números reales no son computables. A continuación se describe un número que no es computable y los comentarios que esta parece ser una paradoja, ya que parece haber descrito en términos finitos, un número que no puede ser descrito en términos finitos. Sin embargo, Turing entiende la fuente de la aparente paradoja. Es imposible decidir (usando otra máquina de Turing) si una máquina de Turing con una tabla de instrucciones de salida una secuencia infinita de números.

Aunque este documento contiene ideas que han demostrado ser de importancia fundamental para las matemáticas y de ciencias de la computación desde que apareció, su publicación en las Actas de la Sociedad Matemática de Londres no fue fácil. La razón era que Alonzo Church publicó Un problema insoluble en el número de teoría elemental en el American Journal de Matemáticas en 1936, lo que también demuestra que no existe un procedimiento de decisión para la aritmética. El enfoque de Turing es muy diferente de la de la Iglesia, pero Newman tenía que defender los intereses de la publicación de Turing del documento presentado a la London Mathematical Society publicará. Turing revisado del documento contiene una referencia a la Iglesia 's resultados y el papel, primero terminó en abril de 1936, se revisó de esta forma en agosto de 1936 y que apareció en forma impresa en 1937.

Una buena característica de las discusiones resultantes con la Iglesia fue que Turing se convirtió en un estudiante graduado en la Universidad de Princeton en 1936. En Princeton, Turing emprendió una investigación en virtud de la Iglesia 's supervisión y regresó a Inglaterra en 1938, habiendo sido en Inglaterra para las vacaciones de verano en 1937 cuando se reunió por primera vez Wittgenstein. La importante publicación que salió de su trabajo en Princeton fue Sistemas de lógica Sobre la base de ordinales que se publicó en 1939. Newman escribe en:

Este documento está lleno de interesantes sugerencias e ideas. ... [Es] arroja mucha luz sobre los puntos de vista de Turing en el lugar de la intuición en una demostración matemática.

Antes de este trabajo apareció, Turing publicó dos documentos sobre otras más convencionales y no temas matemáticos. Uno de estos documentos discutidos métodos de aproximación de grupos de Lie de grupos finitos. El otro documento demuestra los resultados en extensiones de grupos, que fueron los primeros demostrado por Reinhold Baer, dando una más simple y unificada.

Tal vez la característica más notable de Turing trabajos en las máquinas de Turing era que él estaba describiendo una computadora moderna antes la tecnología había llegado al punto en que la construcción es una propuesta realista. Él ha demostrado en su documento de 1936 que una máquina universal de Turing existido:

... que puede hacerse para hacer el trabajo de cualquier especial de máquina, es decir, para llevar a cabo cualquier pieza de la informática, si una cinta de rodamiento adecuada "instrucciones" se inserta en ella.

Aunque para Turing un "equipo" era una persona que llevó a cabo un cálculo, hay que ver en su descripción de una máquina universal de Turing lo que hoy en día pensar como una computadora con la cinta como el programa.

Si bien en Princeton Turing había jugado con la idea de construir un ordenador. Una vez de vuelta a Cambridge en 1938 se comienza a construir un dispositivo mecánico análogo para investigar la hipótesis de Riemann, que muchos consideran hoy el mayor problema no resuelto en las matemáticas. Sin embargo, su trabajo en breve a tomar un nuevo aspecto para el que se puso en contacto, poco después de su regreso, por el Código de Gobierno y Cypher Escuela que le pidió que les ayudan en su labor en romper el código alemán Enigma.

Cuando la guerra fue declarada en 1939, Turing inmediatamente se trasladó a trabajar a tiempo completo en el Código de Gobierno y Cypher School en Bletchley Park. Aunque la labor llevada a cabo en Bletchley Park estaba cubierta por la Ley de secretos oficiales, mucho se ha convertido recientemente en el conocimiento del público. Turing's ideas brillantes en la solución de los códigos, y el desarrollo de computadoras para ayudar a romper ellas, pueden haber salvado más vidas del personal militar en el curso de la guerra que cualquier otro. También fue un momento feliz para él:

... tal vez el más feliz de su vida, con un amplio margen para su inventiva, una rutina suave para dar forma al día, y un agradable grupo de compañeros de trabajo.

Junto con otro matemático WG Welchman, Turing desarrolló la Bombe, una máquina basada en trabajos anteriores de matemáticos polacos, que desde fines de 1940 era de descodificación todos los mensajes enviados por las máquinas Enigma de la Luftwaffe. Las máquinas Enigma de la marina alemana eran mucho más difíciles de romper, pero este es el tipo de reto que gozan de Turing. A mediados de 1941 Turing del enfoque estadístico, junto con la información capturada, ha dado lugar a la marina alemana señales decodificadas en Bletchley.

Desde noviembre de 1942 hasta marzo de 1943 Turing fue a los Estados Unidos enlace más de decodificación cuestiones y también en un discurso secreto sistema. Los cambios en la forma en que los alemanes codifican sus mensajes ha significado que Bletchley perdido la capacidad de decodificar los mensajes. Turing no era directamente involucrados con el éxito de rotura de estos códigos más complejos, pero sus ideas resultado de la mayor importancia en este trabajo. Turing fue galardonado con el OBE en 1945 por su contribución vital al esfuerzo de guerra.

Al final de la guerra, Turing fue invitado por el Laboratorio Nacional de Física en Londres para diseñar un ordenador. Su informe propone la Computación Automática Engine (ACE) se presentó en marzo de 1946. El diseño de Turing era en ese momento un original diseño detallado y prospecto de un ordenador en el sentido moderno. El tamaño de almacenamiento tenía previsto para el ACE fue considerado por la mayoría que considera el informe como irremediablemente demasiado ambiciosos y se produjeron retrasos en el proyecto aprobado.

Turing regresó a Cambridge para el año académico 1947-48 donde sus intereses varió durante muchos temas muy alejados de las computadoras o las matemáticas, en particular, estudió neurología y la fisiología. Él no olvidarse de las computadoras durante este período, sin embargo, y escribió el código para la programación de ordenadores. Él tenía intereses fuera del mundo académico también, después de haber tomado en serio el atletismo hasta después del final de la guerra. Fue miembro de Walton Athletic Club de ganar su 3 millas y 10 millas campeonato en un tiempo récord. Corrió en la Maratón de la AAA en 1947 y se colocó quinto.

En 1948 Newman fue el profesor de matemáticas en la Universidad de Manchester y Turing ofreció lectores. Turing renunció a la Laboratorio Nacional de Física para asumir el puesto en Manchester. Newman escribe en que en Manchester:

... el trabajo está comenzando en la construcción de una máquina de computación por FC Williams y T Kilburn. La expectativa es que Turing llevaría la parte matemática del trabajo, y durante unos años se siguió trabajando, en primer lugar sobre el diseño de las subrutinas de los cuales los programas más grandes de esa máquina se construyen y, a continuación, ya que este tipo de trabajo se convirtió en estándar, más en general los problemas de análisis numérico.

En 1950 Turing publicó Computing machinery and intelligence en la mente. Se trata de otro notable trabajo de su brillante mente inventiva que parecían prever las preguntas que surgen como las computadoras. Estudió problemas que hoy se encuentran en el corazón de la inteligencia artificial. Fue en este documento de 1950 que propuso el Test de Turing es que, aún hoy, la prueba aplicable a las personas al tratar de responder si un ordenador puede ser inteligente:

... se convirtió en participar en los debates sobre los contrastes y similitudes entre las máquinas y los cerebros. La opinión del Presidente de Turing, expresada con gran fuerza e ingenio, que era para aquellos que se produjo una brecha insalvable entre los dos para decir simplemente que la diferencia laicos.

Turing no se olvidó de preguntas acerca de decidability que había sido el punto de partida para su brillante matemático publicaciones. Uno de los principales problemas en la teoría del grupo de presentaciones fue la pregunta: dada cualquier palabra en un finitely presentado los grupos hay un algoritmo para decidir si la palabra es igual a la identidad. Post ha demostrado que para semigroups no existe tal algoritmo. Turing pensó al principio que había demostrado el mismo resultado para los grupos pero, justo antes de dar un seminario en su prueba, descubrió un error. Él fue capaz de rescatar de su defectuoso prueba el hecho de que hubo una cancellative Semigrupo con la palabra problema insoluble y que publicó este resultado en 1950. Boone utilizado las ideas de este trabajo de Turing para probar la existencia de un grupo con la palabra problema insoluble en 1957.

Turing fue elegido Fellow de la Royal Society de Londres en 1951, principalmente por su trabajo en máquinas de Turing en 1936. En 1951 estaba trabajando en la aplicación de la teoría matemática a las formas biológicas. En 1952 publicó la primera parte de su estudio teórico de la morfogénesis, el desarrollo de pautas y la forma en los organismos vivos.

Turing fue arrestado por la violación de estatutos británico homosexualidad en 1952 cuando se informó a la policía detalles de un asunto de homosexuales. Él había ido a la policía porque había sido amenazado con el chantaje. Fue juzgado como homosexual el 31 de marzo de 1952, no ofrece defensa distinta de la que él vio nada malo en sus acciones. Encontrado culpable se le dio la alternativa de prisión o inyecciones de estrógenos durante un año. Él aceptó la última y regresó a una amplia gama de académicas.

No sólo seguir adelante con un nuevo estudio de la morfogénesis, pero también trabajó en nuevas ideas en la teoría cuántica, sobre la representación de partículas elementales de spinors, y en la teoría de la relatividad. A pesar de que estaba completamente abierto acerca de su sexualidad, tenía un mayor infelicidad que fue prohibido hablar debido a la Ley de secretos oficiales.

La operación de decodificación en Bletchley Park se convirtió en la base para la nueva decodificación y las labores de inteligencia en el GCHQ. Con la guerra fría esta se convirtió en una importante operación y Turing continuó trabajando para la GCHQ, aunque sus colegas de Manchester son totalmente inconscientes de ello. Después de su convicción, su seguridad fue retirada. Peor aún, los oficiales de seguridad estaban ahora extremadamente preocupados que alguien con conocimientos completos de la obra pasa a GCHQ se etiquetan ahora un riesgo para la seguridad. Tenía muchos colegas extranjeros, como cualquier académico sería, pero la policía empezó a investigar sus visitantes extranjeros. Unas vacaciones que Turing tomó en Grecia en 1953 causó consternación entre los oficiales de seguridad.

Turing murió de intoxicación por cianuro de potasio, mientras que la realización de experimentos de electrólisis. El cianuro se encuentra en medio comido la manzana al lado de él. Una investigación concluyó en que se ha auto-administrados, pero su madre siempre mantuvo que era un accidente.

Source:School of Mathematics and Statistics University of St Andrews, Scotland