Шеффер, Генри Морис

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Генри Морис Шеффер
Henry Maurice Sheffer
Дата рождения:

1882({{padleft:1882|4|0}})

Место рождения:

Украина

Дата смерти:

1964({{padleft:1964|4|0}})

Страна:

Flag of the United States.svg США

Научная сфера:

логика

Альма-матер:

Гарвардский университет

Генри Морис Шеффер (англ. Henry Maurice Sheffer, 18821964) — американский логик.

Биография[править | править вики-текст]

Генри Шеффер родился в семье польских евреев на Украине, вместе с родителями эмигрировал в США. Получил образование в Гарвардском университете, изучал логику под научным руководством Джосайя Ройса. Его карьера учёного и преподавательская деятельность связаны, в основном, с кафедрой философии в Гарварде.

В 1913 году Шеффер доказал, что Булева алгебра может быть определена с использованием единственной первичной бинарной логической операции, которую можно выразить через отрицание и конъюнкцию. Данная булева функция названа именем учёного Штрих Шеффера. Чарльз Пирс также в 1880 году пришёл к подобным результатам, но его работы не были опубликованы до 1933 года.

Открытие Шеффера высоко оценил Бертран Рассел и использовал для упрощения своей логики во втором издании книги «Начала математики». «Математическая логика» Куайна также во многом основана на Штрихе Шеффера.

Литература[править | править вики-текст]

  • Scanlan, Michael, 2000, "The Known and Unknown H. M. Sheffer," The Transactions of the C.S. Peirce Society 36: 193–224.