Mathematician:Henry Maurice Sheffer

From ProofWiki
Jump to navigation Jump to search

Mathematician

American logician famous for proving in $1913$ that the logical NAND operator is functionally complete. (This had previously been noted by Charles Sanders Peirce in $1880$ but not published till $1933$.)


Nationality

Polish, born in Ukraine. Emigrated to USA as a child.


History

  • Born: September 1, 1882, Western Ukraine
  • Died: 1964


Theorems and Definitions

Definitions of concepts named for Henry Maurice Sheffer can be found here.