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

Моисей Эльевич Шёнфинкель
около 1922 г.
Рожденный	( 1888-09-29 ) 29 сентября 1888 г. Ekaterinoslav , Russian Empire ( now Dnipro , Украина )
Умер	1942 (53–54 года) Москва , Советский Союз
Гражданство	Русский
Альма-матер	Novorossiysk University
Известный	Комбинаторная логика Техника связывания аргументов Класс Бернейса – Шенфинкеля
Научная карьера
Поля	Математика
Учреждения	Геттингенский университет

Moses Ilyich Schönfinkel ( Russian : Моисей Эльевич Шейнфинкель , romanized :  Moisei El'evich Sheinfinkel ; 29 September 1888 – 1942  ( 1943 ) ) was a logician and mathematician , known for the invention of combinatory logic .

Жизнь

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

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

Работа

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

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

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

Публикации

• Шенфинкель, Моисей (1924). «О строительных блоках математической логики» (PDF) . Математические анналы (на немецком языке). 92 (3–4): 305–316. дои : 10.1007/bf01448013 . S2CID   118507515 . Английский перевод: Шёнфинкель (1967)
• Шенфинкель, Моисей (1967) [1924]. Ван Хейеноорт, Жан (ред.). строительных блоках логики О математической От Фреге до Гёделя: справочник по математической логике, 1879–1931. Перевод Бауэра-Менгельберга, Стефана. Кембридж, Массачусетс, США: Издательство Гарвардского университета . стр. 355–366. ISBN  978-0674324497 . OCLC   503886453 .
• Бернейс, Пол ; Шенфинкель, Моисей (1928). «О решении задач математической логики» (PDF) . Математические анналы (на немецком языке). 99 :342-372. дои : 10.1007/bf01459101 . S2CID   122312654 .

См. также

• Комбинаторная логика
• Класс Бернейса – Шенфинкеля
• каррирование

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

• Кардоне, Феличе; Хиндли, Дж. Роджер (2006), «История лямбда-исчисления и комбинаторной логики», в Габбае, Дов М .; Вудс, Джон (ред.), Справочник по истории логики , том. 5, Эльзевир
• Карри, Хаскелл (ноябрь 1927 г.), Заметки о Шёнфинкеле , 271128A (T271128A), Архивы Карри.
• Клайн, Г.Л.; Ановская, С.А. (1951). «Обзор «Основ математики и математической логики» С. А. Яновской». Журнал символической логики . 16 (1): 46–48. дои : 10.2307/2268665 . JSTOR   2268665 . S2CID   119004002 .
• Рейнольдс, Джон К. (1998). «Определенные интерпретаторы языков программирования высшего порядка». Вычисления высшего порядка и символьные вычисления . 11 (4): 374. doi : 10.1023/A:1010027404223 . S2CID   43352033 .
• Слоннегер, Кеннет; Курц, Барри Л. (1995), Формальный синтаксис и семантика языков программирования
• Стрейчи, Кристофер (2000). «Фундаментальные концепции языков программирования». Вычисления высшего порядка и символьные вычисления . 13 :11–49. дои : 10.1023/А:1010000313106 . S2CID   14124601 . (Перепечатанные конспекты лекций 1967 года.)
• Вольфрам, Стивен (2021a). «Откуда появились комбинаторы? Охота за историей Моисея Шёнфинкеля». Комбинаторы: взгляд на столетие . Вольфрам Исследования . стр. 213–277 (Приложение 281–294). ISBN  978-1-57955-043-1 . Праздник развития комбинаторов спустя сто лет после того, как их представил Шенфинкель (1924) (электронная книга: ISBN   978-1-57955-044-8 )

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

• СМИ, связанные с Моисеем Шенфинкелем, на Викискладе?
• Вольфрам, Стивен . Комбинаторы: празднование 100-летия . Проект Wolfram Physics на YouTube . Проверено 26 сентября 2023 г.

• Вольфрам, Стивен (7 декабря 2020 г.). «Откуда появились комбинаторы? Охота за историей Моисея Шёнфинкеля» . arXiv : 2108.08707 . Проверено 26 сентября 2023 г. Биографические сведения

• Вольфрам, Стивен (29 марта 2021 г.). «Немного ближе к выяснению того, что стало с Моисеем Шёнфинкелем, изобретателем комбинаторов» . Проверено 26 сентября 2023 г. Продолжение