George Boole (1815-1864) war ein englischer Mathematiker (Autodidakt), der einen logischen Kalkül entwickelt hat, der Boolsche Algebra genannt wird.
G. Boole begriff die Algebra als Kalkül, was C. Shannon dann für seine Schaltkreis-Logik benutzte.
G. Boole in der Wikipedia.
Henry Maurice Sheffer (1882; † 1964) war ein US-amerikanischer Logiker. 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.
[]