Jump to content

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.
  1. ^ «Генри Морис Шеффер» . Оксфордский индекс . Издательство Оксфордского университета . Проверено 25 ноября 2017 г.
  2. ^ Джеффри Хантер, Введение в метатеорию стандартной логики первого порядка, Макмиллан, Лондон и Бейзингсток, 1971.
  3. ^ Генри Морис Шеффер. Набор из пяти независимых постулатов для булевых алгебр с приложениями к логическим константам, Труды Американского математического общества, том 14, 1913, страницы 481–488. Представлено Обществу 13 декабря 1912 г.
  4. ^ Роберт Б. Брэндом (1979). «Бинарный оператор Шеффера, выполняющий работу кванторов и промысловых связок» . Журнал формальной логики Нотр-Дама . 20 (2). Нотр-Дам Ж. Формальная логика . дои : 10.1305/ndjfl/1093882530 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 570693234930beafac1a82fed634dc64__1711402080
URL1:https://arc.ask3.ru/arc/aa/57/64/570693234930beafac1a82fed634dc64.html
Заголовок, (Title) документа по адресу, URL1:
Henry M. Sheffer - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)