Narození |
Září 1882 Ukrajina |
---|---|
Smrt | 1964 |
Státní příslušnost | americký |
Výcvik | Harvardská Univerzita |
Činnosti | Matematik , filozof , univerzitní profesor |
Pracoval pro | Harvardská Univerzita |
---|---|
Pole | Logika |
Dozorce | Josiah Royce |
Henry Maurice Sheffer ( září 1882 - 1964 ) je americký logik .
Sheffer byl polský Žid narozený na Ukrajině, který emigroval do Spojených států se svými rodiči. Pokračoval ve studiu na Harvardské univerzitě a učil se logiku od Josiah Royce . Sheffer celou svou kariéru učil na katedře filozofie na Harvardu.
Sheffer v roce 1913 demonstroval, že booleovskou algebru lze definovat pomocí jediného binárního operátoru NAND nebo jeho duální NOR .
Jinými slovy, výpočet tvrzení lze formulovat pomocí jediného konektoru, to znamená jednoho z těchto dvou „Shefferových pruhů“, které mají pro pravdivostní tabulku negaci disjunkce nebo negaci disjunkce. konjunkce. .
Charles Peirce objevil tato fakta v roce 1880, ale jeho text byl publikován až v roce 1933 .