Моисей Шёнфинкель - Moses Schönfinkel

Моисей Ильич Шёнфинкель
Фотография Моисея Шейнфинкеля.png
ок. 1910 г.
Родившийся(1888-09-29)29 сентября 1888 г.[1]
Екатеринослав, Российская империя (сейчас же Днепр, Украина )
Умер1942 (53–54 лет)
Москва, Советский союз
Национальностьрусский
Гражданстворусский
ИзвестенКомбинаторная логика
Техника обязательных аргументов
Научная карьера
ПоляМатематика
УчрежденияГеттингенский университет

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

Жизнь

Шенфинкель посетил Новороссийский университет из Одесса, изучаю математику в Самуил Осипович Шатуновский (1859–1929), работавшие в геометрия и основы математики. С 1914 по 1924 год Шенфинкель был членом Дэвид Гильберт группа в Геттингенский университет.[2] 7 декабря 1920 г. он выступил перед группой с докладом, в котором изложил концепцию комбинаторная логика. Генрих Беманн, член группы Гильберта, позже отредактировал текст и опубликовал его в 1924 году.[3] В 1929 году Шенфинкель опубликовал еще одну статью, посвященную частным случаям проблемы принятия решений (Entscheidungsproblem ), подготовленный Пол Бернейс.[4]

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

Работа

Шенфинкель разработал формальную систему, в которой не использовались связанные переменные. Его система была по существу эквивалентна комбинаторной логике, основанной на комбинаторах B, C, я, K, и S. Шенфинкель смог показать, что систему можно свести к K и S и изложил доказательство того, что версия этой системы имеет такую ​​же мощность, как логика предикатов.[3]

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

Публикации

  • Моисей Шенфинкель (1924). "Über die Bausteine ​​der Mathematischen Logik". Mathematische Annalen (на немецком). 92 (3–4): 305–316. Дои:10.1007 / bf01448013. S2CID  118507515. - Перевод Стефана Бауэра-Менгельберга как «О строительных блоках математической логики» в Жан ван Хейеноорт, 1967. Справочник по математической логике, 1879–1931 гг.. Harvard Univ. Пресс: 355–66.
  • Пол Бернейс; Моисей Шенфинкель (1929). "Zum Entscheidungsproblem der Mathematischen Logik" (PDF). Mathematische Annalen (на немецком). 99: 342–372. Дои:10.1007 / bf01459101. S2CID  122312654.

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

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

  1. ^ Вольфрам, Стивен (7 декабря 2020 г.). «Откуда появились комбинаторы? Охота на историю Моисея Шонфинкеля». Стивен Вольфрам сочинения.
  2. ^ Кардоне, Феличе; Хиндли, Дж. Роджер, "История лямбда-исчисления и комбинаторной логики", Габбай, Дов М .; Вудс, Джон (ред.), Справочник по истории логики, 5, Эльзевьер
  3. ^ а б c Карри, Хаскелл (ноябрь 1927 г.), Заметки о Шенфинкеле, 271128A (T271128A), архивы Карри.[постоянная мертвая ссылка ]
  4. ^ а б c Kline, G.L .; Ановская, С. А. (1951), "Обзор основ математики и математической логики С. А. Яновской", Журнал символической логики, 16 (1): 46–48, Дои:10.2307/2268665, JSTOR  2268665
  5. ^ Стрейчи, Кристофер (2000). «Основные понятия языков программирования». Вычисление высшего порядка и символическое вычисление. 13: 11–49. Дои:10.1023 / А: 1010000313106. S2CID  14124601. Существует устройство, разработанное Шенфинкелем, для сведения операторов с несколькими операндами к последовательному применению операторов с одним операндом.CS1 maint: ref = harv (связь) (Перепечатанные конспекты лекций 1967 г.)
  6. ^ Рейнольдс, Джон С. (1998). "Определительные интерпретаторы языков программирования высшего порядка". Вычисление высшего порядка и символическое вычисление. 11 (4): 374. Дои:10.1023 / А: 1010027404223. S2CID  43352033. В последней строке мы использовали уловку под названием Currying (в честь логика Х. Карри), чтобы решить проблему введения двоичной операции в язык, где все функции должны принимать один аргумент. (Рефери отмечает, что, хотя «Карриинг» вкуснее, «Шенфинкелинг» может быть более точным.)CS1 maint: ref = harv (связь)
  7. ^ Кеннет Слоннегер и Барри Л. Курц. Формальный синтаксис и семантика языков программирования. 1995. стр. 144.
  8. ^ Уиллард Ван Орман Куайн, введение в "Bausteine ​​der Mathematischen Logik", стр. 305–316. Перевод Стефана Бауэра-Менгельберга как «О строительных блоках математической логики» в Жан ван Хейеноорт (1967), Справочник по математической логике, 1879–1931 гг.. Издательство Гарвардского университета, стр. 355–66.