Шеффер, Генри Морис: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Строка 17: Строка 17:
==Биография==
==Биография==


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


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


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

Версия от 09:31, 2 декабря 2014

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

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

Биография

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

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

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

Литература

  • Scanlan, Michael, 2000, "The Known and Unknown H. M. Sheffer," The Transactions of the C.S. Peirce Society 36: 193–224.
  1. Mathematics Genealogy Project (англ.) — 1997.