Henry Maurice Sheffer

Henry Maurice Sheffer Biografia
Narodziny Wrzesień 1882
Ukraina
Śmierć 1964
Narodowość amerykański
Trening Uniwersytet Harwardzki
Zajęcia Matematyk , filozof , profesor uniwersytetu
Inne informacje
Pracował dla Uniwersytet Harwardzki
Pole Logika
Kierownik Josiah Royce

Henry Maurice Sheffer ( wrzesień 1882 - 1964 ) to amerykański logik .

Życie

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.

Pracuje

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 .

Bibliografia

  1. Charles Sanders Peirce (MS, zima 1880–81), „  Algebra Boole'a z jedną  stałą”, CP 4.12–20, W 4: 218-21. Podgląd Google .

Zobacz też

Bibliografia

Linki zewnętrzne