Il principio del computer moderno è stato descritto per la prima volta dal matematico e pioniere informatico Alan Turing, che ha esposto l' idea nella sua carta seminale 1936, On Computable Numbers. Turing ha riformulato i risultati di Kurt Gödel del 1931 sui limiti della prova e del calcolo, sostituendo il linguaggio formale aritmetico universale basato sull' aritmetica di Gödel con i dispositivi ipotetici formali e semplici che sono diventati noti come macchine Turing. Egli ha dimostrato che una macchina di questo tipo sarebbe in grado di eseguire qualsiasi calcolo matematico immaginabile se fosse rappresentatibile come algoritmo. Egli ha poi dimostrato che non c' era alcuna soluzione al problema Entscheidungsproblem dimostrando prima di tutto che il problema di arresto delle macchine Turing non è risolvibile: in generale, non è possibile decidere algoritmicamente se una determinata macchina Turing sarà mai fermata.
Quando Alan Turing ha scritto la carta,"Su numeri computabili"?
1936