Andrew W. Appel

Broschiertes Buch

Alan Turing's Systems of Logic

The Princeton Thesis

Herausgegeben von Appel, Andrew W.

Beschreibung

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

Autor

Andrew W. Appel is the Eugene Higgins Professor and Chairman of the Department of Computer Science at Princeton University.

Produktdetails

• Verlag: Princeton University Press
• Seitenzahl: 160
• Erscheinungstermin: 16. November 2014
• Englisch
• Abmessung: 254mm x 179mm x 17mm
• Gewicht: 298g
• ISBN-13: 9780691164731
• ISBN-10: 0691164738
• Artikelnr.: 41051892

Rezensionen

"For me, this is the most interesting of Alan Turing's writings, and it is a real delight to see a facsimile of the original typescript here. The work is packed with ideas that have turned out to be significant for all sorts of current research areas in computer science and mathematics." - Barry Cooper, University of Leeds