Шейнфинкель, Моисей Эльевич
| Моисей Эльевич Шейнфинкель | |
|---|---|
| Моисей Шейнфинкель в 1910 году | |
| Дата рождения | 29 сентября 1888[1] |
| Место рождения | |
| Дата смерти | 1942 |
| Место смерти | |
| Страна | |
| Род деятельности | учёный |
| Научная сфера | логика, математика |
| Место работы | Гёттингенский университет |
| Альма-матер | Императорский Новороссийский университет |
| Научный руководитель | Давид Гильберт |
| Известен как | изобретатель комбинаторной логики |
| Медиафайлы на Викискладе | |
Моисей Эльевич[2][3] Шейнфинкель (варианты отчества — Ильич и Исаевич, нем. Moses Schönfinkel; 29 сентября 1888[1], Екатеринослав — 1942, Москва) — русский и советский логик и математик, известный как изобретатель комбинаторной логики.
Жизнь
Родился в Екатеринославе в семье купца первой гильдии Ильи Гиршевича Шейнфинкеля, который 22 февраля 1894 года вместе с другим екатеринославским купцом Ароном Герцевичем Лурье основал торговый дом «Лурье и Шейнфинкель», занимавшийся бакалейной торговлей[4][5][6].
Учился в Новороссийском университете в Одессе, изучая математику под руководством Самуила Осиповича Шатуновского (1859—1929), работавшего в области геометрии и оснований математики. С 1914 по 1924 стажировался в Гёттингенском университете под руководством Давида Гильберта[7]. 7 декабря 1920 года он, выступая перед коллегами, изложил концепцию комбинаторной логики. Его доклад, опубликованный в 1924 году в обработке Генриха Бемана (нем. Heinrich Behmann), положил начало исследованиям Карри и Чёрча в области оснований математики[8]. Покинув Гёттинген, в середине 1920-х годов Шейнфинкель перебрался в Москву, но заниматься научной деятельностью так, как раньше, уже не мог[9].
В 1927 году он был признан психически больным и помещён в психиатрическую лечебницу[8][10]. Информации о том, чем именно болел учёный, и почему развилось заболевание, не сохранилось. Его последующая жизнь прошла в нищете, и он умер в Москве, приблизительно в 1942 году (точная дата его смерти не известна). Его рабочие бумаги были пущены соседями на растопку[10].
В 1929 году была опубликована ещё одна работа Шейнфинкеля, подготовленная к печати Паулем Бернайсом. В ней Шейнфинкель предложил вариант решения проблемы разрешения для некоторых частных случаев формул узкого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных формул, известную как класс Бернайса — Шейнфинкеля (англ. Bernays–Schönfinkel class)[11].
Труды
Шейнфинкелем разработана формальная система, позволяющая избегать использования связанных переменных. Его система была по существу эквивалентна комбинаторной логике, основанной на комбинаторах B, C, I, K и S. Шейнфинкелю удалось показать, что система может быть сокращена лишь до K и S, и изложить доказательство того, что такой вариант системы так же полон, как и логика предикатов[8].
Его работа также показала, что функции двух или более аргументов может быть заменена функцией принимающий лишь один аргумент. Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и лямбда-исчисления и позднее назван каррированием, в честь Хаскелла Карри.
Публикации
- «Über die Bausteine der mathematischen Logik», Mathematische Annalen 92, pp. 305—316, 1924. Stefan Bauer-Mengelberg перевёл эту статью как «On the building blocks of mathematical logic» в Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879—1931. Кембридж: Harvard University Press, pp. 355—366.
- «Zum Entscheidungsproblem der mathematischen Logik» (с Паулем Бернайсом), Mathematische Annalen 99: 342—372, 1929.
Примечания
- ↑ 1 2 https://writings.stephenwolfram.com/2020/12/where-did-combinators-come-from-hunting-the-story-of-moses-schonfinkel/
- ↑ Гроссман, 2011, с. 126.
- ↑ Студенческий билет Моисея Шейнфинкеля
- ↑ [1] Указатель действующих в Империи акционерных предприятий и торговых домов (стр. 88)]
- ↑ «Лурье и Шейнфинкель» торговый дом Архивная копия от 4 марта 2016 на Wayback Machine: Бакалейный магазин «Лурье и Шейнфинкель» № 2 располагался по Садовой улице в доме Файнберга.
- ↑ Купец и благотворитель И. Г. Шенфинкель (недоступная ссылка): В списках землевладельцев Российской Империи он значится как Эля-Шая Гершевич Шейнфинкель (см. здесь Архивная копия от 27 сентября 2013 на Wayback Machine); отсюда варианты отчества его сына — Ильич (Эля — русск. Илья) и Исаевич (Шая — русск. Исай).
- ↑ Cardone, Felice; Hindley, J. Roger [in английский], History of Lambda-calculus and Combinatory Logic, in Gabbay, Dov M.; Woods, John (eds.), Handbook of the History of Logic, vol. 5, Elsevier
- ↑ 1 2 3 Curry, Haskell. Notes on Schönfinkel (недоступная ссылка — история). — Curry archives, 1927. — Ноябрь (т. 271128A (T271128A)).
- ↑ Еврейская Украина: 10 фактов о евреях Днепропетровска. Архивировано 18 октября 2016 года.
- ↑ 1 2 Kline, G. L. (1951), Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya, Journal of symbolic Logic, 16: 46—48, doi:10.2307/2268665
- ↑ Яновская, С. А (1948), Основания математики и математическая логика, Математика в СССР за тридцать лет. 1917—1947
Литература
- Гроссман Леонид. Математическая Одесса. — Одесса: "Optimum", 2011. — 131 с. — ISBN 978-966-344-411-6.
- Сергей Тропанец «Моисей Шейнфинкель и Комбинаторный язык»
- Кузичева З. А., Кузичев А. С. Шейнфинкель // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.