Sheffer Stroke - History

History

The stroke is named after Henry M. Sheffer, who provided (Sheffer 1913) an axiomatization of Boolean algebras using the stroke, and proved its equivalence to a standard formulation thereof by Huntington employing the familiar operators of propositional logic (and, or, not). Because of self-duality of Boolean algebras, Sheffer's axioms are equally valid for either of the NAND or NOR operations in place of the stroke. Sheffer interpreted the stroke as a sign for non-disjunction (NOR) in his paper, mentioning non-conjunction only in a footnote and without a special sign for it. It was Jean Nicod who first used the stroke as a sign for non-conjunction (NAND) in a paper of 1917 and which has since become current practice.

Charles Sanders Peirce (1880) had discovered the functional completeness of NAND or NOR more than 30 years earlier, using the term ampheck (for ‘cutting both ways’), but he never published his finding.

Read more about this topic:  Sheffer Stroke

Famous quotes containing the word history:

    We are told that men protect us; that they are generous, even chivalric in their protection. Gentlemen, if your protectors were women, and they took all your property and your children, and paid you half as much for your work, though as well or better done than your own, would you think much of the chivalry which permitted you to sit in street-cars and picked up your pocket- handkerchief?
    Mary B. Clay, U.S. suffragist. As quoted in History of Woman Suffrage, vol. 4, ch. 3, by Susan B. Anthony and Ida Husted Harper (1902)

    The history of all countries shows that the working class exclusively by its own effort is able to develop only trade-union consciousness.
    Vladimir Ilyich Lenin (1870–1924)

    In history as in human life, regret does not bring back a lost moment and a thousand years will not recover something lost in a single hour.
    Stefan Zweig (18811942)