prucommercialre.com


¿Quién es Alan Turing?

Alan Turing (1912 - 1954) era un británico matemático, lógico y criptógrafo considerado por muchos como el padre de la informática. Sus contribuciones a romper el código alemán Enigma nazi durante la Segunda Guerra Mundial fueron considerados cruciales para el esfuerzo de guerra aliado. Alan Turing formulado varias ideas que ahora se encuentran en las bases de la informática y la teoría de la computabilidad, como la idea de una máquina de Turing o la tesis de Church-Turing.

Una máquina de Turing es una construcción matemática simple que puede ser imaginada como una cinta grabable de longitud infinita acoplado a una unidad mecánica con capacidad de lectura / escritura. La unidad sólo puede realizar tres acciones; leer un poco de la cinta y devolver el resultado; escribir un poco en la cinta; o borrar un poco preexistente. Tesis de Church-Turing de Turing, formulado con Alonzo Church, afirma que tal máquina de Turing puede calcular teóricamente cualquier algoritmo dado suficiente tiempo y espacio de almacenamiento. También establece que cualquier modelo de computación práctica debe ser un tipo de máquina de Turing. Por extensión, esto significa que el cerebro humano puede ser definida como una máquina de Turing, ya que procesa la información de la única manera que la información puede ser procesada; mediante la lectura, la escritura y la manipulación de bits de memoria.

La tesis de Church-Turing también afirma que cualquier algoritmo se puede ejecutar en cualquier cosa que califica como una máquina de Turing. Turing ayudó a formular la definición original de un algoritmo, que es aproximadamente como sigue: 1) un algoritmo consistirá en un conjunto finito de instrucciones precisas para ser ejecutado; 2) ser computable en un número finito de pasos (la incapacidad de un programa para determinar si es o no se puede ejecutar en un número finito de pasos que se llama "el problema de la parada"); 3) podrá computarse, en principio, con sólo un lápiz, papel y tiempo infinito; 4) no requieren información de fondo para ejecutar, es decir, que sea autónomo.

Alan Turing fue educado en Cambridge y Princeton lo largo de los años 30. En 1936, Turing publicó un artículo muy influyente, En números computables, con una aplicación al Entscheidungsproblem, respondiendo a una pregunta abierta planteada por Kurt Gödel en 1931, lo que demuestra que no hay forma de algoritmos para determinar si una declaración de primer orden dado en lógica simbólica es universalmente válido. En 1938, Alan Turing obtuvo su doctorado de Princeton bajo Alonzo Church.

Alan Turing pasó sus años de la posguerra a trabajar en algunos de los primeros computadores digitales reprogramables, produciendo uno de los primeros diseños en 1946. También se refirió al problema de la inteligencia artificial, la formulación de la prueba de Turing, una prueba para determinar si es o no una máquina merece ser llamado consciente e inteligente. En la prueba de Turing, un ser humano tipos palabras en un teclado para comunicarse con dos personas ocultas, uno un ser humano real, el otro un AI. Si el ser humano no puede distinguir que comulga es el ser humano y que es la IA, se dice que la IA ha pasado la prueba de Turing. Algunos futuristas, como la Medalla Nacional de Tecnología ganador Ray Kurzweil, han sugerido que vamos a tener una computadora Turing Test-que pasa antes de 2030.

Alan Turing murió en 1954, debido a una manzana con cianuro. Su muerte se dice que es un suicidio, resultado de haber sido procesado por la homosexualidad y se ven obligados a tomar hormonas por el gobierno.

  • El cerebro humano técnicamente se puede definir como una máquina de Turing.
  • Alan Turing ayudar a romper el código utilizado por la máquina alemana Enigma durante la Segunda Guerra Mundial.
  • Alan Turing murió después de comer una manzana con cianuro.