Για την αποκατάσταση της ιστορίας, στη σελ. 27 του βιβλίου αναφέρεται ότι:
"Το 1945 ο Άλαν Τιούρινγκ (Alan Turing, 1912-1954) διατυπώνει την ιδέα της καθολικής μηχανής..."
Η αλήθεια λοιπόν είναι ότι η σχετική δημοσίευση έγινε το 1937... :police:
----------------
http://en.wikipedia.org/wiki/Turing_machine
The idea came to him in mid-1935 (perhaps, see more in the History section) after a question posed by M. H. A. Newman in his lectures -- "Was there a definite method, or as Newman put it, a mechanical process which could be applied to a mathematical statement, and which would come up with the answer as to whether it was provable" (Hodges 1983:93). Turing submitted his paper on 31 May 1936 to the London Mathematical Society for its Proceedings (cf Hodges 1983:112), but it was published in early 1937 -- offprints available February 1937 (cf Hodges 1983:129).