stringtranslate.com

Моисей Шенфинкель

Моисей Ильич Шёнфинкель ( 29 сентября 1888 – 1942 ) был логиком  и математиком , известным изобретением комбинаторной логики . ( 1943 )

Жизнь

Моисей Шенфинкель родился 29 сентября 1888 года в Екатеринославе Российской империи (ныне Днепр, Украина). [1] Моисей Шёнфинкель родился в еврейской семье. Его отцом был Илья Гиршевич Шёнфинкель, купец первой гильдии, занимавшийся бакалейной торговлей, а мать, Мария «Маша» Герцовна Шенфинкель (урожденная Лурье), происходила из знатного рода Лурье . У Моисея были братья и сестры по имени Дебора, Натан, Израиль и Григорий. [2] Шенфинкель учился в Новороссийском Одесском университете , изучая математику у Самуила Осиповича Шатуновского (1859–1929), который работал в области геометрии и оснований математики . С 1914 по 1924 год Шенфинкель был членом группы Давида Гильберта в Геттингенском университете в Германии . [3] 7 декабря 1920 года он выступил перед группой с докладом под названием Elemente der Logik («Элементы логики»), в котором изложил концепцию комбинаторной логики . Генрих Беманн , член группы Гильберта, позже отредактировал текст и опубликовал его в 1924 году. [4] В 1928 году Шенфинкель опубликовал еще одну статью, посвященную особым случаям проблемы принятия решения ( Entscheidungsproblem ), подготовленную Паулем Бернейсом . [5]( 1888-09-29 )

Покинув Геттинген, Шенфинкель вернулся в Москву. К 1927 году сообщалось, что он был психически болен и находился в санатории. [4] [5] Его дальнейшая жизнь прошла в бедности, и он умер в Москве где-то в 1942 году (в возрасте 53–54 лет). Его бумаги сожгли соседи для отопления. [5]

Работа

Шенфинкель разработал формальную систему, которая избегала использования связанных переменных . Его система была по существу эквивалентна комбинаторной логике, основанной на комбинаторах B , C , I , K , S и комбинаторе для универсально квантифицированной функции NAND , которую он назвал U. Шёнфинкель заявил, что систему можно свести только к K , S и U (коллега заявил, что U можно факторизовать до конца любого выражения и, следовательно, не всегда записать явно) и изложил доказательство того, что версия этой системы имела та же сила, что и логика предикатов . [4]

Его статья также показала, что функции с двумя или более аргументами можно заменить функциями, принимающими один аргумент. [6] [7] [8] Этот механизм замены упрощает работу как в комбинаторной логике, так и в лямбда-исчислении и позже будет называться каррированием , в честь Haskell Curry . Хотя Карри приписывал эту концепцию Шёнфинкелю, она уже использовалась Фреге [9] (пример закона Стиглера ).

Полная известная опубликованная работа Шенфинкеля состоит всего из двух статей: его работы « О строительных блоках математической логики» 1924 года и еще одной 31-страничной статьи, написанной в 1927 году и опубликованной в 1928 году в соавторстве с Паулем Бернейсом, под названием « Zum Entscheidungsproblem der mathematischen Logik » ( О проблема решения математической логики ).

Публикации

Смотрите также

дальнейшее чтение

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

  1. ^ Вольфрам 2020.
  2. ^ Вольфрам 2021a.
  3. ^ Кардоне и Хиндли 2006.
  4. ^ abc Карри 1927.
  5. ^ abc Клайн и Ановскаа 1951.
  6. ^ Стрейчи 2000, Шенфинкелем существует устройство, позволяющее свести операторы с несколькими операндами к последовательному применению операторов с одним операндом.
  7. ^ Рейнольдс 1998. В последней строке мы использовали трюк под названием Карринг (в честь логика Х. Карри) для решения проблемы введения бинарной операции в язык, где все функции должны принимать один аргумент. (Рефери отмечает, что, хотя «Карри» вкуснее, «Шенфинкелинг» может быть более точным.).
  8. ^ Слоннегер и Курц 1995, с. 144.
  9. ^ Уиллард Ван Орман Куайн : Введение в «Bausteine ​​der mathematischen Logik» (Schönfinkel (1967))

Внешние ссылки