Skip to main content

Questions about Turing machines, a theoretical model of mechanical computation capable of simulating any computer program.

The classic paper that started it all.

On Computable Numbers, with an application to the Entscheidungsproblem