Mathematician:Henry Maurice Sheffer

Mathematician
American logician famous for proving in $1913$ that the logical NAND operator is functionally complete. (This had previously been noted by 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

 * NAND and NOR are Functionally Complete