Henry Sheffer

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Henry Maurice Sheffer (ur. w 1882 r., zm. w 1964 r.), logik amerykański żydowskiego pochodzenia.

Był polskim Żydem urodzonym na Ukrainie. Wraz z rodzicami wyemigrował do Stanów Zjednoczonych. Studiował na Uniwersytecie Harwarda u Jozjasza Royce'a. Po studiach został na uczelni i spędził tam większość życia zawodowego wykładając filozofię i nauki pokrewne.

W 1913 roku udowodnił, że każda algebra Boole'a może być zdefiniowana przy pomocy pojedynczego działania dwuargumentowego tak zwanej operacji NAND (lub – dualnie – NOR). W odniesieniu do rachunku zdań oznacza to, że każdy spójnik logiczny może być wyrażony przy pomocy kreski Sheffera (spójnika, który ma taką samą tablicę prawdy jak operacja NAND. Podobny wynik otrzymał już w roku 1880 Charles Sanders Peirce, jednak jego prace nie zostały opublikowane aż do roku 1933. Twierdzenie to ma duże znaczenie w elektronice cyfrowej, gdyż pozwala składać układy realizujące dowolne wyrażenia logiczne z samych bramek NAND.