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