Születés |
1882. szeptember Ukrajna |
---|---|
Halál | 1964 |
Állampolgárság | Amerikai |
Kiképzés | Harvard Egyetem |
Tevékenységek | Matematikus , filozófus , egyetemi tanár |
Dolgozott valakinek | Harvard Egyetem |
---|---|
Terület | Logika |
Felügyelő | Josiah royce |
Henry Maurice Sheffer ( 1882 szeptember - 1964 ) amerikai logikus .
Sheffer Ukrajnában született lengyel zsidó volt , aki szüleivel együtt az Egyesült Államokba vándorolt . Tanulmányait a Harvard Egyetemen folytatta , logikát Josiah Royce- tól tanult . Sheffer egész karrierjét a Harvard Filozófiai Tanszékén tanította.
Sheffer 1913-ban bebizonyította, hogy a Boole algebra meghatározható egyetlen bináris operátor, a NAND vagy annak kettős NOR segítségével .
Más szóval, a számítás a javaslatokat lehet megfogalmazni révén egy csatlakozót, vagyis az egyik a két „Sheffer bar”, amelyek az igazság táblázat azoknak a tagadása a diszjunkció , vagy hogy a tagadása a kötőszó .
Charles Peirce 1880-ban fedezte fel ezeket a tényeket, de szövegét csak 1933-ban tették közzé .