Mientres la Segunda Guerra Mundial, los británicos en Bletchley Park algamaron un númberu désitos al romper les comunicaciones militares alemanes cifraes. La máquina de cifráu alemana, Enigma, foi atacada cola ayuda de máquines electromecániques llamaes bombes. La bombe, diseñada por Alan Turing y Gordon Welchman, dempués de la bomba criptográfica polaca (1938), esaniciaba axustes posibles del Enigma al realizar cadenes deducciones lóxiques implementaes llétricamente. La mayoría de les posibilidaes conducíen a una contradicción, y les poques restantes podíen probase a mano.