| Генри Морис Шеффер | |
|---|---|
| Henry Maurice Sheffer | |
| Дата рождения | 1882 |
| Место рождения | Украина |
| Дата смерти | 1964 |
| Страна | |
| Научная сфера | логика |
| Место работы | |
| Альма-матер | |
Генри Морис Шеффер (англ. Henry Maurice Sheffer, 1882 — 1964) — американский логик.
Биография
Генри Шеффер родился в семье польских евреев на Украине, вместе с родителями эмигрировал в США. Получил образование в Гарвардском университете, изучал логику под научным руководством Джосайя Ройса. Его карьера учёного и преподавательская деятельность связаны, в основном, с кафедрой философии в Гарварде.
В 1913 году Шеффер доказал, что Булева алгебра может быть определена с использованием единственной первичной бинарной логической операции, которую можно выразить через отрицание и конъюнкцию. Данная булева функция названа именем учёного Штрих Шеффера. Чарльз Пирс также в 1880 году пришёл к подобным результатам, но его работы не были опубликованы до 1933 года.
Открытие Шеффера высоко оценил Бертран Рассел и использовал для упрощения своей логики во втором издании книги «Начала математики». «Математическая логика» Куайна также во многом основана на Штрихе Шеффера.
Литература
- Scanlan, Michael, 2000, “The Known and Unknown H. M. Sheffer”, The Transactions of the C. S. Peirce Society 36: 193–224.
 | Для улучшения этой статьи по логике желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .