Universidad Panamericana

Curso: Tecnología de la información y comunicación

Alan Turing

Elaborado por:
Jonathan Benjamin Orozco Coxaj y Aristides Daniel Laines Alarcón

Guatemala 07 de Febrero 2023

El presente trabajo trata sobre la vida de Alan Turing matemático y lógico britanico que hizo
importantes contribuciones a las matemáticas , el criptoanálisis , la lógica , la filosofía y las
matemáticas. biología y también a las nuevas áreas denominadas posteriormente informática ,
ciencia cognitiva , inteligencia artificial y vida artificial. Empezando desde su carrera de cómo
fue desarrollando su habilidades cognitivas y de cómo sus habilidades ayudaron a la victoria en
la Segunda Guerra Mundial, además de cómo sus conocimientos obtenidos le ayudaron a ser
un diseñador de computadores, que gracias a sus conocimientos ahora se puede llevar a cabo
la prueba de Turing.

Todo esto con el fin de visualizar desde cuando están presentes las TIC ‘S, que son los
recursos y herramientas que se utilizan para el proceso, administración y distribución de la
información a través de elementos tecnológicos, como: ordenadores, teléfonos y televisores,
los cuales a través del tiempo la utilización de este tipo de recursos se ha incrementado y
actualmente presta servicios de utilidad como el correo electrónico, la búsqueda y el filtro de la
información, descarga de materiales, comercio en línea, entre otras.
Vida temprana y carrera
Hijo de un funcionario, Turing se educó en una de las mejores escuelas privadas. Ingresó a la
Universidad de Cambridge para estudiar matemáticas en 1931. Después de graduarse en
1934, fue elegido para una beca en el King's College (su universidad desde 1931) en
reconocimiento a su investigación en la teoría de la probabilidad . En 1936, el artículo seminal
de Turing “Sobre números computables, con una aplicación al Entscheidungsproblem
[Problema de decisión ]” fue recomendado para su publicación por el lógico matemático
estadounidense Alonzo Church , quien acababa de publicar un artículo que llegaba a la misma
conclusión que el de Turing, aunque con un método diferente. El método de Turing (pero no
tanto el de Church) tuvo un profundo significado para la emergente ciencia de la computación.
Más tarde ese año, Turing se mudó a la Universidad de Princeton para estudiar un doctorado.
en lógica matemática bajo la dirección de Church (terminado en 1938).

El problema de Entscheidung
Lo que los matemáticos llaman un método "eficaz" para resolver un problema era simplemente
uno que podía llevar a cabo un empleado matemático humano trabajando de memoria. En la
época de Turing, esos trabajadores de memoria se llamaban de hecho "computadoras", y las
computadoras humanas realizaban algunos aspectos del trabajo que más tarde realizarán las
computadoras electrónicas. El Entscheidungsproblem buscaba un método efectivo para
resolver el problema matemático fundamental de determinar exactamente qué enunciados
matemáticos son demostrables dentro de un sistema matemático formal dado y cuáles no. Un
método para determinar esto se llama método de decisión. En 1936, Turing y Church
demostraron de forma independiente que, en general, el problema de Entscheidungsproblem
no tiene solución, demostrando que no hay solución consistente sistema formal de aritmética
tiene un método de decisión eficaz. De hecho, Turing y Church demostraron que incluso
algunos sistemas puramente lógicos, considerablemente más débiles que la aritmética, no
tienen un método de decisión eficaz. Este resultado y otros, en particular matemático-lógico Los
resultados de incompletitud de Kurt Gödel desvanecieron las esperanzas de algunos
matemáticos de descubrir un sistema formal que redujera la totalidad de las matemáticas a
métodos que las computadoras (humanas) pudieran llevar a cabo. Fue en el curso de su
trabajo sobre el Entscheidungsproblem que Turing inventó la máquina universal de Turing , una
máquina de computación abstracta que encapsula los principios lógicos fundamentales de la
computadora digital .

La tesis de Church-Turing
Un paso importante en el argumento de Turing sobre el Entscheidungsproblem fue la
afirmación, ahora llamada Tesis de Church-Turing , que todo lo humanamente computable
también puede ser computado por la máquina universal de Turing. La afirmación es importante
porque marca los límites de la computación humana. Church en su trabajo usó en cambio la
tesis de que todas las funciones computables por humanos son idénticas a lo que él llamó
funciones definibles por lambda (funciones en los números enteros positivos cuyos valores
pueden calcularse mediante un proceso de sustitución repetida). Turing demostró en 1936 que
la tesis de Church era equivalente a la suya, al demostrar que toda función definible por lambda
es computable por la máquina universal de Turing y viceversa .. En una revisión del trabajo de
Turing, Church reconoció la superioridad de la formulación de la tesis de Turing sobre la suya
(que no hacía referencia a la maquinaria informática), diciendo que el concepto de
computabilidad por una máquina de Turing “tiene la ventaja de hacer la identificación con
eficacia …evidente inmediatamente.”

Descifrador de códigos
1938 Turing procedió a unirse a la Government code and Cypher School. luego de que la
guerra contra Alemania estallara, en 1939 Turing se mudó a la sede la organización, la cual se
encontraba en Bletchley Park, lugar donde se interceptaban los mensajes encriptados de los
alemanes y donde se descifraron los mensajes enviados por la máquina alemana Enigma.

Enigma era la principal máquina de cifrado que utilizaban los alemanes para cifrar las
comunicaciones por radio. El código enigma fue descifrado por primera vez por los polacos,
bajo la dirección de Marian Rejewski en 1930, pero en 1939 por miedo a ser invadidos por los
alemanes, lo polacos decidieron entregar toda la información que tenían a los británicos,
quienes decidieron establecer un grupo secreto de descifrado de códigos denominado Ultra,
bajo la dirección de Turing. Durante 1939 y parte de 1940, Turing y otros diseñaron un
máquina de descifrado denominada bombe. Esta máquina compleja constaba de
aproximadamente 100 tambores giratorios, 10 millas de alambre y alrededor de 1 millón de
conexiones soldadas..
La Bombe emulaba el funcionamiento de varias Enigma a la vez y lo que hacía era comparar
un texto sin cifrar que se creía que se correspondía con el interceptado para averiguar en qué
configuración estaban funcionando las máquinas Enigma ese día. La bomba iba probando y
probando combinaciones de los discos y cables hasta que daba con una posición que podía ser
válida, posición que servía a los analistas humanos para seguir trabajando en el análisis, ya
que las bombas no podían indicar exactamente cuál era la posición correcta de los discos sino
descartar aquellas que no tenían sentido.

Turing además de contribuir en el descifrado del código Enigma también fue el primero en idear
el primer método sistemático para descifrar mensajes cifrados por la máquina alemana que
denominaron Tunny. Al final de la guerra, Turing fue nombrado Oficial de la Excelentísima
Orden del Imperio Británico por el trabajo de descifrado de códigos.

Diseñador de Computadoras
En 1945 luego de haber terminado la guerra, Turing fue reclutado para el Laboratorio Nacional
de Física (NPL) en Londres. Su diseño para la Automatic Computing Engine (ACE) fue la
primera especificación completa de una computadora digital multipropósito de programa
almacenado electrónico. Si la ACE se hubiera construido tal y como Turing la diseño habría
tenido muchas más memoria que cualquiera de las otras primeras computadoras. Sin embargo
sus colegas del NPL pensaron que la ingeniería era demasiado difícil de intentar y se construyó
una máquina mucho más pequeña, el Pilot Model ACE en 1950.

Desanimado por los retrasos en NPL, Turing asumió la dirección del Laboratorio de Máquinas
de Computación de Manchester en ese año. Después de la llegada de Turing a Manchester,
sus principales contribuciones al desarrollo de la computadora fueron diseñar un sistema de
entrada-salida usando la tecnología de Bletchley Park y diseñar su sistema de programación.
También escribió el primer manual de programación y su sistema de programación se utilizó en
Ferranti Mark I , la primera computadora digital electrónica comercializable en 1951.

Inteligencia artificial
Alan Turing es conocido por ser uno de los padres fundadores de la inteligencia artificial y de la
ciencia cognitiva moderna, también fue uno de los principales exponentes de la hipótesis de
que el cerebro humano es en gran parte una máquina de computación digital. El teorizó que la
corteza al nacer es una máquina desorganizada que luego a través del aprendizaje se organiza
en una máquina universal. Turing propuso una prueba que hoy en día se conoce como la
prueba de Turing la determina si una computadora artificial piensa. Esta consiste en que un
humano mantiene una conversación con una computadora y otra persona, pero sin saber
quién de los dos conversadores es realmente una máquina.

En marzo de 1952 fue declarado culpable de "indecencia grave", debido a su homosexualidad,

Turing pasó el resto de su corta carrera en Manchester, donde fue designado para un grupo de
lectores especialmente creado en teoría de la computación en mayo de 1953. Publicó "La base
química de la morfogénesis" en 1952, describiendo aspectos de su investigación sobre el
desarrollo de la forma y el patrón en los organismos vivos. Turing usó la computadora Ferranti
Mark I de Manchester para modelar su mecanismo químico hipotético para la generación de
estructuras anatómicas en animales y plantas.
 Bibliografia

● [Link]
● [Link]
_56_07_11.pdf
● [Link]
● [Link]