Cambridge, 1935
It had become his habit to run long distances in the afternoons
At Grantchester, lying in a meadow
Alan Turing dreamed of machines
He laid in the fields
And dreamed of machines
He laid in the fields
And dreamed of machines
Read to code, execute
A logical extreme
For everything
A universal machine
He combined a mechanistic picture of the mind
With a precise logic of pure mathematics
And discovered something miraculous
The idea of universal machine that could take over the work of any machine
An industrial solution
An intellectual scene
In Cambridge
He dreamed of machines
It had no obvious model in anything that existed
It was his own invention
That could be a single machine that could perform the equivalent
Of human mental activity
An electric brain
Read to code, execute
A logical extreme
For everything
A universal machine
He dreamed of machines
He dreamed of machines
He dreamed of machines
The idea had come out of his private logs
But between the idea and its embodiment
Had to come the sacrifice of millions
He dreamed of machines