Про знаменитості
Генрі Моріс Шеффер: біографія
-
американський логік
Генрі Шеффер народився в родині польських євреїв на Україну, разом з батьками емігрував до США. Здобув освіту в Гарвардському університеті, вивчав логіку під науковим керівництвом Джосайя Ройса. Його кар'єра вченого і викладацька діяльність пов'язані, в основному, з кафедрою філософії в Гарварді.
У 1913 році Шеффер довів, що Булева алгебра може бути визначена з використанням єдиної первинної бінарної логічної операції, яку можна виразити через заперечення і кон'юнкцію. Дана булева функція названа ім'ям ученого Штрих Шеффера. Чарльз Пірс також в 1880 році прийшов до подібних результатів, але його роботи не були опубліковані до 1933 року.
Відкриття Шеффера високо оцінив Бертран Рассел і використовував для спрощення своєї логіки в другому виданні книги «Начала математики». «Математична логіка» Куайна також багато в чому заснована на штрих Шеффера.
