Mathematician:Henry Maurice Sheffer

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: 1882
 * Died: 1964

Theorems and Definitions

 * NAND and NOR are Functionally Complete