Claude Shannon
Claude Shannon arrived at MIT's Electrical Engineering department already working as a research assistant on Vannevar Bush's Differential Analyzer, a room-sized analog computer built from gears, shafts, and electrical relays that solved differential equations by continuously varying voltages rather than counting discrete numbers. Bush, Shannon's graduate advisor, had the machine's relay-switching control circuits designed by hand, one engineer wiring up another ad-hoc arrangement of switches and hoping it worked, with no formal theory to say whether a given circuit was correct, let alone whether it was the smallest circuit that could do the job. Shannon, born in 1916 and only 21 years old when he wrote his master's thesis, noticed something nobody building relay circuits at the time had formalized: the two-valued true/false logic that the British mathematician George Boole had published nearly a century earlier, in the 1850s, as a purely symbolic system for reasoning about propositions, mapped exactly onto the two-valued open/closed behavior of an electrical switch.
The practical payoff of that mapping was enormous: it meant a switching circuit no longer had to be designed by trial and error, built, tested, and rebuilt until it happened to work, because Shannon showed that any circuit's behavior could be written down as a Boolean expression, manipulated using the same symbolic algebraic rules Boole had proven for logic, and then translated straight back into a circuit, so two engineers working from the same expression would necessarily arrive at circuits that behaved identically. Wiring two switches in series meant current could only flow if both were closed, which is exactly the truth table of Boolean AND; wiring two switches in parallel meant current could flow if either one was closed, exactly the truth table of Boolean OR; and a relay contact built to be normally closed, opening only when its coil was energized, gave a direct hardware implementation of Boolean NOT. Shannon's 1937 thesis, titled "A Symbolic Analysis of Relay and Switching Circuits" and submitted at MIT, worked through this correspondence formally and then went further, using the same algebra to simplify circuits, taking a switching network with redundant or unnecessary contacts and reducing it to a logically equivalent network using fewer parts, which is a real engineering savings in cost, size, and failure points, not just a theoretical curiosity.
Shannon finished the thesis in 1937 and published it in 1938 in the Transactions of the American Institute of Electrical Engineers, and it has since been called, by multiple historians of computing, possibly the most important master's thesis of the twentieth century, because it gave every subsequent digital circuit designer a rigorous mathematical language for the thing they were actually building. Where Hollerith's census tabulator used an electrical circuit purely to count, closing a circuit to advance a dial, Shannon's thesis showed that the same kind of circuit could evaluate a logical condition and that chains of such circuits could compute any function expressible in Boolean terms, which is the real theoretical ancestor of the logic gate, the adder, the processor, and every other piece of digital hardware built on AND, OR, and NOT. Shannon's circuit-simplification technique, grounded in the same Boolean algebra, meant a designer no longer had to accept whatever circuit they first sketched; they could algebraically reduce it and know, with mathematical certainty rather than hope, that the smaller circuit was logically identical to the original.
Shannon went on, in 1948, to publish "A Mathematical Theory of Communication," founding the separate field of information theory and introducing the bit as a unit of information, but that later work answered a different question, how much information a channel can carry, while the 1937 thesis answered how to build a circuit that computes a logical function at all, and it is the 1937 result that makes every later digital machine in this series possible as digital hardware rather than as electrical counting or analog measurement. Shannon's advisor Vannevar Bush had unknowingly handed his student the exact engineering problem, messy relay-switching control circuits with no formal design method, that Boole's abstract nineteenth-century algebra turned out to solve completely, and the thesis that resulted gave every subsequent circuit designer, immediately and for the rest of the twentieth century, a provably correct way to go from a logical specification straight to working hardware. The next step in this series moves from that theory into a second working machine built the very next year: Konrad Zuse's Z1, completed in Germany in 1938, independently and roughly contemporaneously with Shannon's thesis, which was the first machine to put binary logic into mechanical and electromechanical hardware that actually ran.