Henry Sheffer

Henry Maurice Sheffer (1882–1964) was an American logician whose 1913 paper "A Set of Five Independent Postulates for Boolean Algebras, with Application to Logical Constants" proved that the single NAND operation — the stroke — is sufficient to express all of propositional logic. The result, now known as functional completeness of the stroke, transformed the understanding of what logical systems require at minimum.

Sheffer taught at Harvard University for most of his career, where his work influenced the development of mathematical logic in the United States. Though his name is attached to one of the most elegant theorems in logic, Sheffer himself was reputedly dissatisfied with the stroke's reception — he had hoped it would lead to a fundamental restructuring of logical notation, and was disappointed when it remained a technical result rather than a philosophical revolution.

Sheffer wanted to rewrite logic from a single axiom. What he proved was deeper: that logic needs no axioms at all — only one operation and the patience to compose it. The philosophical revolution he sought arrived a century later, but not in philosophy departments. It arrived in silicon, where the NAND gate became the atomic element from which all computation is built.