Henry M. Sheffer
From Wikinfo
Henry Maurice Sheffer (1882-1964) was an American logician.
Sheffer was a Polish Jew born in the Ukraine, who immigrated to the USA with his parents. He was educated at Harvard University, learning logic at Josiah Royce's feet. Sheffer spent most of his career teaching in Harvard's philosophy department. Scanlan (2000) is a study of Sheffer's life and work.
Sheffer proved in 1913 that Boolean algebra could be defined using a single primitive binary operation, NAND, or its dual NOR. Likewise, the propositional calculus could be formulated using a single connective, the Sheffer stroke, which has the same truth table as the logical nand. Charles Peirce had discovered these facts in 1880, but the relevant paper was not published until 1933. Sheffer also proposed axioms formulated solely in terms of his stroke. The second edition of Principia Mathematica made much of the Sheffer stroke. Sheffer's review of that edition was somewhat cool.
References
- Scanlan, Michael, 2000, "The Known and Unknown H. M. Sheffer," The Transactions of the C.S. Peirce Society 36: 193-224.Template:Academic-bio-stub
References
- Adapted from the Wikipedia article, "Henry_M._Sheffer" http://en.wikipedia.org/wiki/Henry_M._Sheffer, used under the GNU Free Documentation License
