Henry Maurice Sheffer
aus Wikipedia, der freien Enzyklopädie
Henry Maurice Sheffer (1882-1964) war ein US-amerikanischer Logiker.
Inhaltsverzeichnis |
[Bearbeiten] 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.
[Bearbeiten] 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 Boole'sche 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.
[Bearbeiten] Literatur
Sheffer, H. M. 1913. "A set of Five Independent Postulates for Boolean Algebra, with application to logical constants." Transactions, American Mathematical Society 14:481-88
[Bearbeiten] Referenzen
"The Known and Unknown H. M. Sheffer", ein biographischer Essay von Michael Scanlan, 2000, in: The Transactions of the C.S. Peirce Society 36: 193-224.
Willard van Orman Quine, Henry D. Aiken, Burton S. Dreben, Hao Wang und Harry A. Wolfson: "Henry Maurice Sheffer." Harvard University Gazette (December 26, 1964), 60(14):87-88. Nachdruck in: Proceedings and Addresses of the American Philosophical Association (October 1965), 38:103-104.
