ALAN MATHISON TURING

ALAN MATHISON TURING

1. (Paddington, Londres, 23 de junio de 1912 - Wilmslow, Cheshire 7 de Junio de 1954)

   • Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing.
   • Cientìfico de la computaciòn, Criptògrafo
   • Corredor de ultra distancia Britànico
   • Fue Matemàtico, Lògico, Filòsofo, Maratonista.
   • ¿QUIEN ES?

2. ¿QUE HIZO?

   • Solución al problema de decisión
     • Fue un reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Es también imposible decidir con un algoritmo general si ciertas frases concretas de la aritmética son ciertas o falsas.
   • Tesis Church-Turing
     • La tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser: «Todo algoritmo es equivalente a una máquina de Turing». No es en sí un teorema matemático: es una afirmación formalmente indemostrable, una hipótesis que, no obstante, tiene una aceptación prácticamente universal
   • 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.

3. RECONOCIMIENTOS

   • Turing en el cine
     • -El telefilme británico Breaking the code (1996) está basado en la vida de Turing. The Imitation Game (2014, dirigida por Morten Tyldum, con Benedict Cumberbatch y Keira Knightley) cuenta la vida del matemático Alan Turing y su decisiva influencia en el desarrollo de la Segunda Guerra Mundial.
   • Turing en la literatura
     • Turing es uno de los personajes de la sección de la Segunda Guerra Mundial del Criptonomicón. La obra de teatro Breaking the Code, de Hugh Whitemore, trata sobre la vida y la muerte de Turing. En la novela de John L. Casti titulada El quinteto de Cambridge (1998)

Bilder und Dateien der Mindmap