ALAN MATHISON TURING

Javier Cáceres
Mind Map by Javier Cáceres, updated more than 1 year ago
Javier Cáceres
Created by Javier Cáceres about 6 years ago
26
0

Description

Trabajo informática

Resource summary

ALAN MATHISON TURING
  1. Paddington, Londres, 23 de junio de 1912 - Wilmslow, Cheshire, 7 de junio de 1954
    1. Matemático, lógico, científico de la computación, criptógrafo, filósofo, maratonista y corredor de ultra distancia británico.
      1. padre de la ciencia de la computación y precursor de la informática moderna
        1. Proporcionó formalización de los conceptos de algoritmo y computación: la máquina de Turing.
          1. Formuló su versión de la tesis de Church-Turing.
      2. APORTES
        1. En 1936, Alonzo Church y Alan Turing demostraron que es imposible escribir el algoritmo que decidiera si una fórmula del cálculo de primer orden es un teorema. Tambièn, es imposible decidir con un algoritmo general si ciertas frases de la aritmética son ciertas o falsas.
          1. La tesis de Church-Turing formula hipotéticamente: «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 tiene una aceptación prácticamente universal.
            1. La maquina de TUring es 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.
              1. 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 que permitían el estudio de los problemas que no tienen una solución algorítmica.
                1. Turing diseñó la bombe, una máquina electromecánica que se utilizaba para eliminar gran cantidad de claves enigma. Era posible detectar cuándo ocurría una contradicción y desecharla. Con una mejora que sugirió el matemático Gordon Welchman, era la herramienta principal que usaban los criptógrafos aliados para leer las transmisiones Enigma.
                  1. Propuso el test de Turing, una prueba estándar para catalogar una máquina como «sensible» o «sintiente». Una forma invertida de la prueba de Turing se usa en Internet, como el test CAPTCHA, diseñado para determinar si un usuario es un humano y no una computadora.
                  Show full summary Hide full summary

                  Similar

                  CAMBIOS FISICOS Y FISIOLOGICOS DE LA PUBERTAD A LA ADOLECENCIA
                  La Recoleta
                  Caracteristicas De Las Culturas Mesoamericanas
                  Alan Alberto Reyes
                  2Cognición humana TURING
                  afar bomac
                  Alan Turing
                  martinez2803
                  planeacion
                  johnny-22gliss
                  Filosofia moderna contemporanea
                  alan.cardenas.s5
                  Computability
                  Carla Fernanda E
                  FUNCIONES
                  Alan Lemus
                  Alan Turing
                  David Castro9765
                  ALÁN TURING
                  Alejandra Rojas
                  ESTADOS DE LA MATERIA
                  tastipollo