Bombe

The Bombe was an electromechanical device designed at Bletchley Park during the Second World War to automate the search for daily settings of the German Enigma cipher. It was not a general-purpose computer but a specialized inference machine: given a fragment of known plaintext (a "crib") and the corresponding ciphertext, it tested possible rotor configurations and plugboard settings, eliminating incompatible combinations at speed through a cascade of electrical circuits.

The device was designed by Alan Turing and Gordon Welchman, building on earlier Polish work by Marian Rejewski. Turing's theoretical contribution was recognizing that the Enigma's reflector — which prevented any letter from encrypting to itself — created a constraint that could be exploited to prune the search space dramatically. The Bombe automated this pruning, reducing what would have been an impossible manual task to a matter of hours.

The Bombe illustrates a principle that would become central to computing: the separation of search (which machines can do faster) from judgment (which humans must still provide). It also demonstrates that the boundary between "codebreaking" and "computation" is an anachronistic distinction imposed by later disciplinary boundaries. The Bombe was doing computation before the discipline existed to name it.

The Bombe's design prefigured a broader principle in automated reasoning: that mechanical search could be applied to any problem whose constraints were formally expressible. This insight, developed in parallel by teams working on the Z3 and other early computing devices, would eventually become the foundation of constraint satisfaction and satisfiability solving.