| Henry Maurice Schaeffer | |
|---|---|
| Henry Maurice Sheffer | |
| Födelsedatum | 1 september 1882 |
| Födelseort | Ukraina |
| Dödsdatum | 17 mars 1964 (81 år) |
| Land | |
| Vetenskaplig sfär | logik |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | Royce, Josiah [1] |
Henry Maurice Sheffer ( 1882-1964 ) var en amerikansk logiker .
Henry Schaeffer föddes i en polsk judisk familj i Ukraina och emigrerade till USA med sina föräldrar . Han utbildades vid Harvard University och studerade logik under Josiah Royce . Hans karriär som vetenskapsman och undervisningsverksamhet är huvudsakligen förknippad med Institutionen för filosofi vid Harvard [2] .
År 1913 bevisade Schaeffer att en boolesk algebra kunde definieras med en enda primär binär logisk operation, som kunde uttryckas i termer av negation och konjunktion . Denna booleska funktion är uppkallad efter vetenskapsmannen Shtrikh Schaeffer . Charles Pierce kom också till liknande resultat 1880, men hans papper publicerades inte förrän 1933.
Schaeffers upptäckt hyllades av Bertrand Russell och användes för att förenkla hans logik i den andra upplagan av Principia Mathematica . Quines "Mathematical Logic" är också till stor del baserad på Schaeffer's Stroke.