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

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.