George Boole

English mathematician and logician (1815–1864) whose 1854 book An Investigation of the Laws of Thought founded symbolic (Boolean) algebra — the system of algebraic operations over true/false values that underlies modern digital logic and, downstream, binary computing. Matters to this vault as the theoretical source W. Stanley Jevons's own 1870 paper credits by name: Jevons benchmarks his Logic Piano by having it solve one of Boole's own textbook problems "by the successive pressure of" its keys, in place of what Jevons calls Boole's "very difficult and lengthy series of eliminations" — a primary-source line from symbolic logic on paper (Boole) to symbolic logic mechanized (Jevons), an early rung in the vault's inference-engine lineage.

References

• claim-jevons-1870-paper-received-16-oct-1869-read-20-jan-1870-royal-society

• claim-jevons-logic-piano-1869-mechanical-inference-machine

• 2026-08-10: Jevons's 1870 Royal Society paper credits Boole "above all" — over Bentham, De Morgan, Thomson, and Hamilton — as the reformer whose work made a mechanizable logic possible, and frames the ancient syllogism as too crude to mechanize; the credit runs to Boole, not the ancients (claim-jevons-1870-paper-credits-boole-not-ancients-for-mechanizable-logic)