(Hardback)
By: Andrew W. Appel
ISBN: 9780691155746
Readership/Audience: Tertiary Education
Publication Date: Aug 2012
Publisher: Princeton University Press
See more...
Alan Turing's 1938 Princeton PhD thesis, "Systems of Logic Based on Ordinals," which includes his notion of an oracle machine, has had a lasting influence on computer science and mathematics. This title presents the typescript of the thesis along with essays.
(Paperback)
By: Andrew W. Appel
ISBN: 9780691164731
Readership/Audience: Tertiary Education
Publication Date: Jan 2015
Publisher: Princeton University Press
See more...
Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Gode
