Henry Maurice Sheffer

Henry Maurice Sheffer Életrajz
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
Egyéb információk
Dolgozott valakinek Harvard Egyetem
Terület Logika
Felügyelő Josiah royce

Henry Maurice Sheffer ( 1882 szeptember - 1964 ) amerikai logikus .

Élet

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.

Művek

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é .

Hivatkozások

  1. Charles Sanders Peirce (MS, 1880–81 tele), „  Egy logikai algebra egy  állandóval”, CP 4.12–20, W 4: 218-21. Google előnézet .

Lásd is

Bibliográfia

Külső linkek