Генрі Шеффер

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

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

Життєпис

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

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

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

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

Праці

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

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

Примітки

1. Deutsche Nationalbibliothek Record #102024710X // Gemeinsame Normdatei — 2012—2016.
   d:Track:Q27302d:Track:Q36578
2. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984

Література

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