Генри Морис Шеффер (1 сентября 1882–1964) [1] был американским логиком .
Жизнь и карьера [ править ]
Шеффер был польским евреем, родившимся на Западной Украине , который иммигрировал в США в 1892 году со своими родителями и шестью братьями и сестрами. Перед поступлением в Гарвардский университет он учился в Бостонской латинской школе , изучая логику у Джозайи Ройса и получив степень бакалавра в 1905 году, степень магистра в 1907 году и докторскую степень. в философии в 1908 г.
Шеффер был докторантом в Гарварде, а затем преподавал в Вашингтонском университете , Корнельском университете , Университете Миннесоты , Университете Миссури и Городском колледже Нью-Йорка в течение одного года каждый. В 1916 году он был нанят Гарвардом профессором философии, где он оставался до выхода на пенсию в 1952 году. Scanlan (2000) - исследование жизни и работы Шеффера.
В 1913 году Шеффер доказал, что булеву алгебру можно определить с помощью одной примитивной бинарной операции, «не одновременно ... и ...», теперь сокращенно И-НЕ , или его двойственного ИЛИ-НЕ (в смысле «ни ... ни». ). [2] Аналогичным образом, исчисление высказываний может быть сформулировано с использованием единственной связки, имеющей таблицу истинности либо логического И-НЕ , обычно обозначаемого вертикальной линией, называемой штрихом Шеффера , либо его двойного логического ИЛИ (обычно обозначаемого вертикальной стрелкой или с символом кинжала ). Чарльз Пирстакже открыл эти факты в 1880 году, но соответствующая статья не была опубликована до 1933 года. Шеффер также предложил аксиомы, сформулированные исключительно в терминах его мазка. [3]
Шеффер представил то, что сейчас известно как удар Шеффера в 1913 году; он стал широко известен только после того, как был использован в книге Уайтхеда и Рассела « Principia Mathematica» 1925 года . Открытие Шеффера получило высокую оценку Бертрана Рассела, который широко использовал его для упрощения собственной логики во втором издании своих Principia Mathematica . Из-за этого комментария Шеффер был чем-то вроде загадочного человека для логиков, особенно потому, что Шеффер, который мало публиковал в своей карьере, никогда не публиковал детали этого метода, только описывая его в мимеографических заметках и в кратком опубликованном резюме. « Математическая логика» У. В. Куайна также во многом опиралась на ход Шеффера.
Шеффера соединительно , впоследствии, является любой соединительной в логическую систему , которая функционирует аналогично: один в терминах которых могут быть выражены все другие возможные связками в языке. Например, они были разработаны также для количественной и модальной логики. [4]
Заметки [ править ]
- Сканлан, Майкл, 2000, «Известный и неизвестный Х. М. Шеффер», « Труды Общества К. С. Пирса» 36 : 193–224.
- Розен, Кеннет, 2005 г., "Дискретная математика и ее приложения" Основы: логика и доказательства 1:28 .
Ссылки [ править ]
- ^ "Генри Морис Шеффер" . Оксфордский индекс . Издательство Оксфордского университета . Проверено 25 ноября 2017 года .
- ^ Джеффри Хантер, Введение в метатеорию стандартной логики первого порядка, MacMillan, London and Basingstoke, 1971.
- ^ Генри Морис Шеффер. Набор из пяти независимых постулатов для булевых алгебр с приложениями к логическим константам, «Транзакции Американского математического общества», том 14, 1913 г., страницы 481-488. Представлено Обществу 13 декабря 1912 г.
- ^ Роберт Б. Брэндом. «Бинарный оператор Шеффера, который выполняет работу квантификаторов и сентенциальных связок» . Нотр-Дам Дж. Формальная логика . Проверено 1 марта 2013 года .
