LIBROS

Libros sobre la Vida de Alan Turing

The Essential Turing

Alan Turing fue uno de los pensadores más influyentes del siglo XX. En 1935, a los 22 años, desarrolló la teoría matemática sobre la cual se modelan todas las computadoras digitales de programas almacenados subsiguientes. Al estallar las hostilidades con Alemania en septiembre de 1939, se unió al equipo de Codebreaking del Gobierno en Bletchley Park, Buckinghamshire, y desempeñó un papel crucial en descifrar Engima, el código utilizado por las fuerzas armadas alemanas para proteger sus comunicaciones de radio. El trabajo de Turing sobre la versión de Enigma utilizada por la marina alemana fue vital para la batalla por la supremacía en el Atlántico Norte. También contribuyó al ataque contra los cifradores conocidos como 'Peces', que fueron utilizados por el Alto Mando alemán para el cifrado de señales durante la última parte de la guerra. Su contribución ayudó a acortar la guerra en Europa en aproximadamente dos años. Después de la guerra, su trabajo teórico condujo al desarrollo de las primeras computadoras británicas en el National Physical Laboratory y en el Royal Society Computing Machine Laboratory en la Universidad de Manchester. Turing también fue un padre fundador de la ciencia cognitiva moderna, teorizando que el córtex al nacer es una "máquina no organizada" que a través de la "formación" se organiza en una máquina universal o algo así ". Continuó desarrollando el uso de computadoras para Modele el crecimiento biológico, lanzando la disciplina ahora denominada Vida Artificial. Los documentos de este libro son los trabajos clave para comprender la contribución fenomenal de Turing en todos estos campos.

Alan Turing Systems of Logic

Una tesis de Turing, tanto de filosofía como de matemáticas, prevé un objetivo práctico: un sistema lógico para formalizar las pruebas matemáticas para que puedan verificarse mecánicamente. Si cada paso de un teorema pudiera verificarse mecánicamente, la carga sobre la intuición se limitaría a los axiomas. El punto de Turing, como escribe Appel, es que "el razonamiento matemático puede hacerse, y debería hacerse, en una lógica formal mecanizable". La visión de Turing de los "sistemas constructivos de lógica para uso práctico" se ha convertido en realidad: en el siglo veintiuno, los "métodos formales" automatizados ahora son rutinarios. Presentada aquí en su forma original, esta tesis fascinante es uno