Narodziny |
Wrzesień 1882 Ukraina |
---|---|
Śmierć | 1964 |
Narodowość | amerykański |
Trening | Uniwersytet Harwardzki |
Zajęcia | Matematyk , filozof , profesor uniwersytetu |
Pracował dla | Uniwersytet Harwardzki |
---|---|
Pole | Logika |
Kierownik | Josiah Royce |
Henry Maurice Sheffer ( wrzesień 1882 - 1964 ) to amerykański logik .
Sheffer był polskim Żydem urodzonym na Ukrainie, który wraz z rodzicami wyemigrował do Stanów Zjednoczonych . Kontynuował studia na Uniwersytecie Harvarda , ucząc się logiki od Josiaha Royce'a . Sheffer spędził całą swoją karierę jako wykładowca na wydziale filozofii na Uniwersytecie Harvarda.
Sheffer wykazał w 1913 r., Że algebrę Boole'a można zdefiniować za pomocą pojedynczego operatora binarnego, NAND lub jego podwójnego NOR .
Innymi słowy, obliczenie zdań można sformułować za pomocą pojedynczego łącznika, to znaczy jednego z tych dwóch „taktów Sheffera”, które zgodnie z prawdą mają te z negacji dysjunkcji lub negacji koniunkcja. .
Charles Peirce odkrył te fakty w 1880 roku, ale jego tekst został opublikowany dopiero w 1933 roku .