- Henry Maurice Sheffer
-
Henry Maurice Sheffer (* 1882; † 1964) war ein US-amerikanischer Logiker.
Inhaltsverzeichnis
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, u.a. Logik bei Josiah Royce. 1907 machte er seinen Master-Abschluss, 1908 erwarb er den Titel Doktor der Philosophie. Von 1916 bis zu seiner Emeritierung 1952 war Sheffer Professor an der Philosophischen Fakultät von Harvard.
Werk
Sheffer war berühmt-berüchtigt für seine außerordentlich kleine Zahl an Veröffentlichungen. 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 1933 veröffentlicht. Zu Sheffers bekanntesten Studentinnen gehört Susanne K. Langer.
Literatur
- Sheffer, H. M.: A set of Five Independent Postulates for Boolean Algebra, with application to logical constants. Transactions, American Mathematical Society 14 (1913), 481-88.
Referenzen
- Michael Scanlan: The Known and Unknown H. M. Sheffer, in: The Transactions of the C.S. Peirce Society 36 (2000), 193–224. biographischer Essay
- Willard van Orman Quine, Henry D. Aiken, Burton S. Dreben, Hao Wang und Harry A. Wolfson: Henry Maurice Sheffer., in: Harvard University Gazette 60/14 (26. Dezember 1964), 87-88. Nachdruck in: Proceedings and Addresses of the American Philosophical Association 38 (Oktober 1965), 103–104.
Weblinks
Kategorien:- Logiker
- US-Amerikaner
- Geboren 1882
- Gestorben 1964
- Mann
Wikimedia Foundation.