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