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

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

Життєпис ред.

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

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

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

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

Праці ред.

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

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

Примітки ред.

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

Література ред.

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