Генри Морис Шеффер (англ. Henry Maurice Sheffer, 1882—1964) — американский логик; профессор в Гарварде; доказал (1913), что булева алгебра может быть определена при помощи единственной первичной бинарной операции «отрицание конъюнкции» («не И», «NAND» от «not and»), которая теперь носит его имя: «штрих Шеффера», или дуальной к ней «не ИЛИ» («NOR»), теперь носящей имя Чарльза Пирса («стрелка Пирса»), который открыл этот факт, не опубликованный до 1933, в 1880.
Литература[]
- Scanlan, Michael, 2000, "The Known and Unknown H. M. Sheffer," The Transactions of the C.S. Peirce Society 36: 193-224.