Шейнфинкель, Моисей Эльевич

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Моисей Эльевич Шейнфинкель
Фотография Моисея Шейнфинкеля.png
Моисей Шейнфинкель в 1910 году
Дата рождения:

1887 или 1889

Место рождения:

Екатеринослав, Российская империя

Дата смерти:

1942({{padleft:1942|4|0}})

Место смерти:

Москва, СССР

Страна:

Российская империяFlag of Russia.svg Российская империя →
СССРFlag of the Soviet Union.svg СССР

Научная сфера:

Математика

Место работы:

Гёттингенский университет

Альма-матер:

Императорский Новороссийский университет

Научный руководитель:

Давид Гильберт

Известен как:

Комбинаторная логика

Студенческий билет М. Э. Шейнфинкеля 1910 г.

Моисей Эльевич[1][2] Шейнфинкель (варианты отчества — Ильич и Исаевич, нем. Moses Schönfinkel; 4 сентября 1889, Екатеринослав (ныне Днепропетровск, Украина) — 1942, Москва) — русский и советский логик и математик, известный как изобретатель комбинаторной логики.

Жизнь[править | править исходный текст]

Моисей Шейнфинкель родился в Екатеринославе в семье купца первой гильдии Ильи Гиршевича Шейнфинкеля, который 22 февраля 1894 года вместе с другим екатеринославским купцом Ароном Герцевичем Лурье основал торговый дом «Лурье и Шейнфинкель», занимавшийся бакалейной торговлей.[3][4][5] Учился в Новороссийском университете в Одессе, изучая математику под руководством Самуила Осиповича Шатуновского (1859—1929), работавшего в области геометрии и оснований математики. С 1914 по 1924 стажировался в Гёттингенском университете под руководством Давида Гильберта.[6] 7 декабря 1920 года он, выступая перед коллегами, изложил концепцию комбинаторной логики. Его доклад, опубликованный в 1924 году в обработке Генриха Бемана (нем. Heinrich Behmann), положил начало исследованиям Карри и Чёрча в области оснований математики.[7] В 1929 году Шейнфинкель предложил вариант решения проблемы разрешения для некоторых частных случаев формул узкого исчисления предикатов; впервые указал систему аксиом, достаточную для вывода всех тождественно истинных импликативных формул, известную как класс Бернайса — Шейнфинкеля (англ. Bernays–Schönfinkel class).[8]

Покинув Гёттинген, Шейнфинкель вернулся в Москву. В 1927 году он был признан психически больным и помещён в психиатрическую лечебницу.[7][9] Его последующая жизнь прошла в нищете, и он умер в Москве, где-то в 1942 году. Его бумаги были пущены соседями на растопку.[9]

Труды[править | править исходный текст]

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

Его работа также показала, что функции двух или более аргументов может быть заменена функцией принимающий лишь один аргумент. Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и лямбда-исчисления и позднее назван каррированием, в честь Хаскелла Карри.

Публикации[править | править исходный текст]

  • «Ü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. Гроссман, 2011, с. 126
  2. Студенческий билет Моисея Шейнфинкеля
  3. [1] Указатель действующих в Империи акционерных предприятий и торговых домов (стр. 88)]
  4. «Лурье и Шейнфинкель» торговый дом: Бакалейный магазин «Лурье и Шейнфинкель» № 2 располагался по Садовой улице в доме Файнберга.
  5. Купец и благотворитель И. Г. Шенфинкель: В списках землевладельцев Российской Империи он значится как Эля-Шая Гершевич Шейнфинкель (см. здесь); отсюда варианты отчества его сына — Ильич (Эля — русск. Илья) и Исаевич (Шая — русск. Исай).
  6. Cardone, Felice & Hindley, J. Roger, "History of Lambda-calculus and Combinatory Logic", in Gabbay, Dov M., «Handbook of the History of Logic», vol. 5, Elsevier 
  7. 1 2 3 Curry, Haskell (November, 1927). «Notes on Schönfinkel» (Curry archives).
  8. Яновская, С. А (1948), "«Основания математики и математическая логика»", Математика в СССР за тридцать лет. 1917—1947 
  9. 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