Sometimes it’s the people no one imagines anything of who do the things that no one can imagine. - Alan Turing

For some purposes we might use machines (choice... or c-machines) whose motion is only partially determined by the configuration... When such a machine reaches... ambiguous configurations, it cannot go on until some arbitrary choice has been made by an external operator. This would be the case if we were using machines to deal with axiomatic systems.

Potremmo anche immaginare una macchina calcolatrice che viene fatta lavorare con una memoria basata sui libri. Non sarebbe molto facile, ma immensamente preferibile a un singolo lungo nastro. Per pura ipotesi supponiamo che le difficoltà implicite nell'uso di libri come memoria siano superate, cioè che si riesca a sviluppare gli artifici meccanici necessari per trovare il libro giusto, aprirlo alla pagina giusta e così via, imitando l'azione delle mani e degli occhi umani. Non si può girare una pagina molto velocemente senza strapparla, e se gli spostamenti dovessero essere numerosi e veloci, l'energia richiesta sarebbe molto grande. Se muovessimo un libro ogni millisecondo e ciascuno fosse mosso di dieci metri e pesasse 200 grammi, e se ogni volta l'energia cinetica fosse dispersa senza recupero, dovremmo consumare 10^10 watt, pari a circa la metà del consumo di energia della nazione. Per avere una macchina davvero veloce, allora, dobbiamo tenere la nostra informazione, o almeno una parte di questa, in una forma più accessibile di quella che può essere ottenuta con i libri. Sembra che questo risultato possa essere ottenuto solo al prezzo di sacrificare compattezza d economia, cioè tagliando le pagine dal libro e presentando ciascuna a un meccanismo di lettura separato. Alcuni dei metodi di memorizzazione che sono sviluppati ai giorni nostri non si allontanano molto da questo modello.

It is possible to invent a single machine which can be used to compute any computable sequence. If this machine <math>\mathcal{U}</math> is supplied with a tape on the beginning of which is written the S.D of some computing machine <math>\mathcal{M}</math>, then <math>\mathcal{U}</math> will compute the same sequence as <math>\mathcal{M}</math>.