Моисей Ильич Шёнфинкель ( 29 сентября 1888 – 1942 ) был логиком и математиком , известным изобретением комбинаторной логики .
Моисей Шенфинкель родился 29 сентября 1888 года в Екатеринославе Российской империи (ныне Днепр, Украина). [1] Моисей Шёнфинкель родился в еврейской семье. Его отцом был Илья Гиршевич Шёнфинкель, купец первой гильдии, занимавшийся бакалейной торговлей, а мать, Мария «Маша» Герцовна Шенфинкель (урожденная Лурье), происходила из знатного рода Лурье . У Моисея были братья и сестры по имени Дебора, Натан, Израиль и Григорий. [2] Шенфинкель учился в Новороссийском Одесском университете , изучая математику у Самуила Осиповича Шатуновского (1859–1929), который работал в области геометрии и оснований математики . С 1914 по 1924 год Шенфинкель был членом группы Давида Гильберта в Геттингенском университете в Германии . [3] 7 декабря 1920 года он выступил перед группой с докладом под названием Elemente der Logik («Элементы логики»), в котором изложил концепцию комбинаторной логики . Генрих Беманн , член группы Гильберта, позже отредактировал текст и опубликовал его в 1924 году. [4] В 1928 году Шенфинкель опубликовал еще одну статью, посвященную особым случаям проблемы принятия решения ( Entscheidungsproblem ), подготовленную Паулем Бернейсом . [5]
Покинув Геттинген, Шенфинкель вернулся в Москву. К 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 » ( О проблема решения математической логики ).
Английский перевод: Schönfinkel (1967).
Празднование развития комбинаторов спустя сто лет после того, как их представил Шенфинкель (1924 г.).(электронная книга: ISBN 978-1-57955-044-8 )
Биографическая информация
Продолжение