Henry M. Sheffer

Henry Maurice Sheffer fue un judío polaco nacido en el oeste de Ucrania, que emigró a Estados Unidos en 1892 con sus padres y seis hermanos.

En 1916, fue contratado por Harvard como profesor de filosofía, donde permaneció hasta su jubilación en 1952.

Sheffer demostró en 1913 que el álgebra booleana podía definirse utilizando una única operación binaria primitiva, "no ambos... y...", ahora abreviada NAND, o su dual NOR, (en el sentido de "ni... ni" ).

Charles Peirce también había descubierto estos hechos en 1880, pero el artículo relevante no se publicó hasta 1933.

Sheffer también propuso axiomas formulados únicamente en términos de su trazo.