Генри М. Шеффер - Henry M. Sheffer

Генри Морис Шеффер (1 сентября 1882 - 17 марта 1964) был американским логиком .

Жизнь и карьера

Шеффер был польским евреем, родившимся на Западной Украине , который иммигрировал в США в 1892 году со своими родителями и шестью братьями и сестрами. Он учился в Бостонской латинской школе, прежде чем поступить в Гарвардский университет , изучая логику у Джозайи Ройса и получив степень бакалавра в 1905 году, степень магистра в 1907 году и степень доктора философии. в философии в 1908 г.

Шеффер был докторантом в Гарварде, а затем преподавал в Вашингтонском университете , Корнельском университете , Университете Миннесоты , Университете Миссури и Городском колледже Нью-Йорка в течение одного года каждый. В 1916 году он был нанят Гарвардом профессором философии, где он оставался до выхода на пенсию в 1952 году. Scanlan (2000) - исследование жизни и работы Шеффера.

В 1913 году Шеффер доказал, что булеву алгебру можно определить с помощью одной примитивной бинарной операции, «не то и другое… и…», теперь сокращенно И-НЕ , или двойственного ИЛИ-ИЛИ (в смысле «ни ... ни». ). Точно так же исчисление высказываний может быть сформулировано с использованием единственной связки, имеющей таблицу истинности либо логического И-НЕ , обычно обозначаемого вертикальной линией, называемой штрихом Шеффера , либо его двойного логического ИЛИ (обычно обозначаемого вертикальной стрелкой или кинжалом). условное обозначение). Чарльз Пирс также обнаружил эти факты в 1880 году, но соответствующая статья не была опубликована до 1933 года. Шеффер также предложил аксиомы, сформулированные исключительно в терминах его мазка.

Шеффер представил то, что сейчас известно как удар Шеффера в 1913 году; он стал широко известен только после того, как был использован в книге Уайтхеда и Рассела « Principia Mathematica» в издании 1925 года . Открытие Шеффера получило высокую оценку Бертрана Рассела, который широко использовал его для упрощения собственной логики во втором издании своих Principia Mathematica . Из-за этого комментария Шеффер был чем-то вроде загадочного человека для логиков, особенно потому, что Шеффер, который мало публиковал в своей карьере, никогда не публиковал детали этого метода, только описывая его в мимеографических заметках и в кратком опубликованном резюме. « Математическая логика» У. В. Куайна также во многом опиралась на ход Шеффера.

Шеффера соединительно , впоследствии, является любой соединительной в логическую систему , которая функционирует аналогично: один в терминах которых могут быть выражены все другие возможные связками в языке. Например, они были разработаны также для количественной и модальной логики.

Примечания

  • Сканлан, Майкл, 2000, «Известный и неизвестный Х. М. Шеффер», « Сделки общества К. С. Пирса» 36 : 193–224.
  • Розен, Кеннет, 2005 г., "Дискретная математика и ее приложения" Основы: логика и доказательства 1:28 .

использованная литература