ALAN MATHISON TURING

laraguevarad
Mind Map by laraguevarad, updated more than 1 year ago
laraguevarad
Created by laraguevarad about 6 years ago
4
0

Description

t66

Resource summary

ALAN MATHISON TURING
  1. (Paddington, Londres, 23 de junio de 1912 - Wilmslow, Cheshire 7 de Junio de 1954)
    1. 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.
      1. Cientìfico de la computaciòn, Criptògrafo
        1. Corredor de ultra distancia Britànico
          1. Fue Matemàtico, Lògico, Filòsofo, Maratonista.
            1. ¿QUIEN ES?
            2. ¿QUE HIZO?
              1. Solución al problema de decisión
                1. 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.
                2. Tesis Church-Turing
                  1. 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
                  2. La máquina de Turing
                    1. 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
                    1. Turing en el cine
                      1. -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.
                      2. Turing en la literatura
                        1. 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)
                        Show full summary Hide full summary

                        Similar

                        COMPUTADOR
                        Alejandra Rojas
                        Ejercicio tipos de Software
                        Marco. G
                        Autoconocimiento
                        Vicente Badillo
                        CUESTIONARIO DE INFORMÁTICA BÁSICA
                        ELIZABETH CASCO FUNES
                        Autoconocimiento Conocerme Reconocerme Proyectarme
                        Karina Díaz
                        ANTROPOMETRIA
                        Montse Hg
                        Tarjetas Perforadas y Cintas Magneticas
                        Samuel Aguilar
                        El Cheque
                        rivera_judith240
                        SIGNOS VITALES
                        Daniela Mancera8363
                        Armado de PC
                        Jesús Gil