Henry Maurice Sheffer
# Henry Maurice Sheffer

Henry Maurice Sheffer (* 1882 in der Ukraine; † 1964) war ein US-amerikanischer Logiker.

## Leben

Sheffer wurde in der Ukraine als Sohn polnischer Juden geboren. 1892 emigrierte er mit seinen Eltern und sechs Geschwistern in die USA. Nach Absolvierung der Boston Latin School studierte er an der Harvard University, unter anderem Logik bei Josiah Royce. 1907 machte er seinen Master-Abschluss, 1908 erwarb er den Doktor der Philosophie. Von 1916 bis zu seiner Emeritierung 1952 war Sheffer Professor an der Philosophischen Fakultät von Harvard.

## Werk

Sheffer veröffentlichte nur wenig. Seine Schriften waren lediglich für seine Studenten bestimmt, seine Vorlesungen durften ausschließlich seine Studenten hören; Gäste verwies er stets des Raumes, selbst wenn es sich um prominente Persönlichkeiten handelte.

In seiner wichtigsten Veröffentlichung (s. Literatur) prägte er den Begriff Boolesche Algebra und bewies, dass sie mit einem einzigen Operator (NAND beziehungsweise NOR) definiert werden kann. Ebenso kann die Aussagenlogik mit einem einzigen Junktor formuliert werden, dem Sheffer-Strich, der dieselbe Wahrheitstabelle hat wie das logische NAND. Charles S. Peirce hatte diese Tatsachen bereits 1880 entdeckt, aber der entsprechende Aufsatz wurde erst 1913 veröffentlicht.

Zu Sheffers bekanntesten Studentinnen gehört Susanne K. Langer.

