Alan Turing pubblica l’articolo “On Computable Numbers and an Application to the Entscheidungsproblem” nel quale descrive una macchina ipotetica, che poi verrà chiamata “macchina di Turing”. Si tratta di un dispositivo in grado di eseguire ogni operazione matematica che possa essere rappresentata da un algoritmo, leggendo, scrivendo o cancellando simboli nelle posizioni di un nastro di carta di infinita lunghezza.
L’intento di Turing non era di realizzare una reale macchina per effettuare calcoli, ma di descrivere i problemi che sono logicamente risolvibili. La sua macchina ipotetica però anticipa certe caratteristiche dei futuri computer. Il nastro infinito, ad esempio, anticipa il concetto di memoria RAM, che può essere letta, scritta o cancellata.
Fonti
- https://www.wired.com/2012/06/alan-turing-timeline/
- https://link.springer.com/article/10.1007/s10506-017-9200-2