Генрі Шеффер

Генрі Шеффер
Henry Sheffer
Народився	вересень 1882  Україна
Помер	1964
Країна	США
Діяльність	математик, філософ, викладач університету
Alma mater	Гарвардський університет
Галузь	Логіка
Заклад	Гарвардський університет
Посада	Професором факультету філософії
Науковий ступінь	Доктор філософії
Науковий керівник	Джосая Ройсd
Аспіранти, докторанти	Чжао Юаньженьd

У Вікіпедії є статті про інших людей із прізвищем Шеффер.

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

Життєпис

Генрі Шеффер народився у родині польських євреїв в Україні, разом з батьками емігрував до США. Після закінчення Бостон Латін Скул навчався в Гарвардському університеті, вивчав логіку під науковим керівництвом Джосайя Ройса. 1907 року здобув магістерський ступінь, в 1908 році — ступінь доктора філософії. Після захисту докторського ступеня в Гарварді, Генрі подорожує по Європі. Перш, ніж повернутися до Сполучених Штатів, Генрі стає «академічним кочівником», проводить по одному року в Університеті Вашингтона, Корнеллі, Університеті  Міннесоти, Університеті Міссурі. 1916 року повертається до Гарварду як викладач на кафедрі філософії. Залишається в Гарварді до відставки 1952 року.

Шеффер був відданим учителем математичної логіки. Надавав перевагу невеликим класам перед величезними аудиторіями. Коли незнайомці з'явилися в його класі, Шеффер наказував їм вийти, навіть якщо це були його колеги або почесні гості, які відвідували Гарвард. Шеффер був заввишки ледь не п'ять футів; він був знаний своєю дотепністю і енергією, а також нервозністю та дратівливістю. Попри те, що Генрі подобався багатьом, він був вельми самотнім. Шеффер недовго був одружений і прожив більшу частину свого подальшого життя в невеликих приміщеннях, в готелі, з книгами з логіки й численними листками паперу, які використовував, щоб записувати свої ідеї. Упродовж останніх двох десятиліть життя Шеффер переживав важку депресію.

Під час своєї відставки 1952 року Генрі зазначив: «Старі професори ніколи не вмирають, вони просто вислужуються.»

Відкриття Шеффера високо оцінив Бертран Расселл та використав для спрощення своєї логіки в другому виданні книги «Основи математики». «Математична логіка» Квайна також багато в чому базується на штриху Шеффера. Шефферу також приписують термін «Булева алгебра».

Праці

1913 року Шеффер довів, що Булева алгебра може бути визначена з використанням єдиної первинної бінарної логічної операції, яку можна виразити через заперечення та кон'юнкцію. Цю булеву функцію названо на честь вченого штрих Шефера. 1880 року Чарльз Пірс також прийшов до подібних результатів, але його роботи не друкували до 1933 року.

До відомих студентів Шеффера належить Сюзанна Лангер.

Література

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