# 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 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.