George Boole Dead
Formalized logic as algebra in The Laws of Thought (1854) — the Boolean algebra every digital circuit and conditional runs on.
18001850190019502000
Published 'The Laws of Thought' (1854) — an algebra of logic where propositions are variables and reasoning is calculation. It sat for eighty years as pure mathematics.\n\nShannon's 1937 thesis applied it to switching circuits; every digital circuit and every Boolean test in every language runs on Boole's algebra.