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.

ref: