I testi forniscono un'analisi approfondita delle fondazioni teoriche dell'informatica e della logica matematica, concentrandosi in particolare sul lavoro pionieristico di Alan Turing. I documenti spiegano come Turing, con la sua pubblicazione del 1936, rispose negativamente all'Entscheidungsproblem (problema della decisione) posto da David Hilbert, dimostrando che non esiste un algoritmo universale per decidere la validità di ogni formula logica. Tale prova si basa sull'introduzione della Macchina di Turing come modello formale di computazione e sulla dimostrazione dell'Halting Problem (problema dell'arresto), il quale è intrinsecamente irrisolvibile, anche se i numeri calcolabili sono infiniti e i numeri non calcolabili sono in realtà molto più numerosi. Inoltre, viene evidenziato il lavoro parallelo e concettualmente equivalente di Alonzo Church con il Lambda Calcolo, portando alla celebre Tesi di Church-Turing. L'influenza di queste scoperte si estende oltre la teoria, dalla rottura dei codici Enigma durante la guerra con la macchina Bombe, fino allo sviluppo del concetto di calcolatore universale e all'attuale studio dell'intelligenza artificiale.
1. Turing, A. M. (1936). "On Computable Numbers, with an Application to the Entscheidungsproblem". Proceedings of the London Mathematical Society.2. Hodges, A. (1983). "Alan Turing: The Enigma". Princeton University Press.3. Copeland, B. J. (2004). "The Essential Turing". Oxford University Press.4. Bletchley Park Official Website. "Alan Turing and the Codebreakers". https://bletchleypark.org.uk/alan-turing5. Smith, G. (2007). "The History of Software". IEEE Annals of the History of Computing.6. Denning, P. J. (2010). "Computing's Golden Jubilee". Communications of the ACM.7. Ritchie, D. M. (1993). "The Development of the C Programming Language". ACM SIGPLAN Notices.8. Ceruzzi, P. E. (2003). "A History of Modern Computing". MIT Press.9. Leavitt, D. (2006). "The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution". Simon & Schuster.10. National Museum of Computing. "Alan Turing and the Birth of Modern Computing". https://tnmoc.org/alan-turing