Alan turing's systems of logic: the princeton thesis
Éditeur :
Princeton University Press
ISBN :
9780691164731
Date de publication :
16 nov. 2014
Dimensions :
25,4 x 17,8 cm
Poids :
28 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA
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