| Henry Maurice Schaeffer | |
|---|---|
| Henry Maurice Sheffer | |
| Fødselsdato | 1. september 1882 |
| Fødselssted | Ukraine |
| Dødsdato | 17. marts 1964 (81 år) |
| Land | |
| Videnskabelig sfære | logikker |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | Royce, Josiah [1] |
Henry Maurice Sheffer ( 1882-1964 ) var en amerikansk logiker .
Henry Schaeffer blev født i en polsk jødisk familie i Ukraine og emigrerede til USA med sine forældre . Han blev uddannet på Harvard University og studerede logik under Josiah Royce . Hans karriere som videnskabsmand og undervisningsaktiviteter er hovedsageligt forbundet med Institut for Filosofi ved Harvard [2] .
I 1913 beviste Schaeffer, at en boolsk algebra kunne defineres ved hjælp af en enkelt primær binær logisk operation, som kunne udtrykkes i form af negation og konjunktion . Denne boolske funktion er opkaldt efter videnskabsmanden Shtrikh Schaeffer . Charles Pierce kom også til lignende resultater i 1880, men hans artikler blev først offentliggjort i 1933.
Schaeffers opdagelse blev rost af Bertrand Russell og brugt til at forenkle hans logik i anden udgave af Principia Mathematica . Quines "Mathematical Logic" er også i vid udstrækning baseret på Schaeffer's Stroke.