WikiDer > Генри М. Шеффер

Henry M. Sheffer

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

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

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

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

Шеффер доказал в 1913 году, что Булева алгебра может быть определено с помощью одной примитивной бинарной операции, "не одновременно ... и ...", теперь сокращенно NAND, или его двойное НИ, (в смысле «ни ... ни»).[2] Точно так же пропозициональное исчисление можно сформулировать с помощью одной связки, имеющей таблица истинности любой из логическая NAND, обычно обозначается вертикальной линией, называемой Инсульт Шеффера, или его двойное логическое ИЛИ (обычно обозначается вертикальной стрелкой или кинжал символ). Чарльз Пирс также открыл эти факты в 1880 году, но соответствующая статья не была опубликована до 1933 года. Шеффер также предложил аксиомы, сформулированные исключительно в терминах его удара.[3]

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

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

Шеффер был преданным учителем математической логики. Он любил небольшие классы и не любил одиторов. Когда в его классе появлялись незнакомцы, Шеффер приказывал им уйти, даже своим коллегам или выдающимся гостям, посещавшим Гарвард. Шеффер был едва ли ростом пяти футов; он отличался остроумием и энергией, а также нервозностью и раздражительностью. Несмотря на всеобщую симпатию, он был довольно одинок. Он известен остротой, которую он произнес на выходе на пенсию: «Старые профессора никогда не умирают, они просто становятся заслуженными». Шефферу также приписывают создание термина «булева алгебра». Шеффер был недолго женат и большую часть своей дальнейшей жизни прожил в маленьких комнатах в отеле, набитых его книгами по логике и огромными папками с листами бумаги, которые он использовал, чтобы записывать свои идеи. К сожалению, последние два десятилетия своей жизни Шеффер страдал от тяжелой депрессии.

Примечания

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

Рекомендации

  1. ^ "Генри Морис Шеффер". Оксфордский индекс. Oxford University Press. Получено 25 ноября 2017.
  2. ^ Джеффри Хантер, Введение в метатеорию стандартной логики первого порядка, MacMillan, London and Basingstoke, 1971.
  3. ^ Генри Морис Шеффер. Набор из пяти независимых постулатов для булевых алгебр с приложениями к логическим константам, «Транзакции американского математического общества», том 14, 1913 г., страницы 481-488. Представлен обществу 13 декабря 1912 г.
  4. ^ Стивен Вольфрам (6 ноября 2018 г.). «Логика, объяснимость и будущее понимания». Получено 4 декабря, 2020.
  5. ^ Роберт Б. Брэндом. «Бинарный оператор Шеффера, который выполняет работу квантификаторов и сентенциальных связок». Нотр-Дам Дж. Формальная логика. Получено 1 марта, 2013.