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

В Википедии есть статьи о других людях с фамилией Шеффер.
Генри Морис Шеффер
англ. Henry Maurice Sheffer
Дата рождения 1 сентября 1882(1882-09-01)
Место рождения Украина
Дата смерти 17 марта 1964(1964-03-17) (81 год)
Страна
Род деятельности математик, философ, преподаватель университета
Научная сфера логика
Место работы
Альма-матер
Научный руководитель Джосайя Ройс[1]

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

Биография

[править | править код]

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

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

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

Примечания

[править | править код]
  1. ↑ Mathematics Genealogy Project (англ.) — 1997.
  2. ↑ Henry Sheffer - Biography (англ.). Maths History. Дата обращения: 17 августа 2022. Архивировано 17 августа 2022 года.

Литература

[править | править код]
  • Scanlan, Michael, 2000, “The Known and Unknown H. M. Sheffer”, The Transactions of the C. S. Peirce Society 36: 193–224.