Educatifu
Open menu

The Turing machine

Alan Turing describes a simple imaginary machine that can compute anything computable — defining, before any computer existed, what a computer is and where its limits lie.

1936Computing

In 1936, more than a decade before the first electronic computer, the British mathematician Alan Turing published On Computable Numbers. To answer a question in pure logic, he imagined a machine: an infinite paper tape, a head that reads and writes one symbol at a time, and a tiny table of rules. This Turing machine was never meant to be built — it was a thought experiment.

Why it mattered

That thought experiment turned out to define computing itself. Turing showed that a single universal machine, given the right instructions on its tape, could imitate any other such machine — the theoretical seed of the general-purpose, software-driven computer, where one device runs endless different programs.

He also proved the opposite: some problems (most famously the halting problem — deciding whether an arbitrary program will ever stop) cannot be solved by any machine at all. So the same 1936 paper drew both the map of what computers can do and the fence marking what they never will. Every real computer since is, in a precise sense, an approximation of Turing's imaginary one.

← Back to the timeline

Bring us the problem, not a perfect specification

Tell us what needs to change, who it affects and any important deadline. We will review the context and reply with useful next questions.

  1. 01Share contextDescribe the workflow, constraint or risk.
  2. 02Clarify togetherWe identify missing facts and useful options.
  3. 03Choose a startAgree a focused assessment or delivery step.
Start a conversation