Mathematician:Henry Maurice Sheffer

American logician famous for proving in 1913 that Boolean algebra can be defined by using just the logical NAND operator. (This had previously been noted by Peirce 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