ALAN TURING'S SYSTEMS OF LOGIC. THE PRINCETON THESIS

Entre su invención del concepto de una computadora universal en 1936 y su logro de romper el código Enigma alemán durante la Segunda Guerra Mundial, Alan Turing (1912-1954), el fundador británico de la ciencia de la computación y la inteligencia artificial, estuvo en la universidad de Princeton para estudiar la lógica matemática.
Algunos de los más grandes lógicos del mundo, como Alonzo Church, Kurt Gödel, John von Neumann y Stephen Kleene, se hallaban en Princeton en la década de los 30, mientras trabajaban en ideas que formaron los cimientos de lo que conocemos como la ciencia de la computación. En esta obra se reproduce un facsímil del mecanoscrito original de la influyente tesis de Turing de 1938, uno de los documentos clave en la historia de las matemáticas y la informática. También incluye ensatos por Andrew Appel y Solomon Feferman que explican la enorme importancia de las todavía poco reconocidas ideas de Turing mientras estuvo en Princeton.