Mathematician:Henry Maurice Sheffer

From ProofWiki
Jump to navigation Jump to search


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$.)


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


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

Theorems and Definitions

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