Перейти до вмісту

Шейнфінкель Мойсей Ейлєвич

Матеріал з Вікіпедії — вільної енциклопедії.
(Перенаправлено з Шейнфінкель Мойсей Ельєвич)
Шейнфінкель Мойсей Ейлєвич
Народився29 вересня 1888(1888-09-29)[1]
Катеринослав, Російська імперія
Помер1942
Москва, СРСР
Країна Російська імперія
 СРСР
Діяльністьматематик, логік
Alma materОНУ ім. І. І. Мечникова
Галузьматематична логіка
ЗакладГеттінгенський університет[1]
ВчителіДавид Гільберт
Відомий завдяки:Каррінг (інформатика), комбінаторна логіка.
CMNS: Шейнфінкель Мойсей Ейлєвич у Вікісховищі
Студентський квиток М. Е. Шейнфінкеля 1910 року.

Шейнфінкель[2][3] Мойсей Ейлєвич (Ілліч, Ісаєвич) (нім. Moses Schönfinkel; нар. 4 вересня 1889, Катеринослав, Російська імперія — пом. 1942, Москва, СРСР) — український та радянський логік та математик єврейського походження, відомий як винахідник комбінаторної логіки.

Життєпис

[ред. | ред. код]

Мойсей Шейнфінкель народився в Катеринославі в сім'ї купця першої гільдії Іллі Гіршевича Шейнфінкеля, який 22 лютого 1894 року разом з іншим катеринославським купцем Ароном Герцевічем Лур'є заснував торговий будинок «Лур'є та Шейнфінкель», який займався бакалійною торгівлею.[4][5][6] Навчався в Новоросійському університеті в Одесі, вивчаючи математику під керівництвом Самуїла Йосиповича Шатуновського (1859—1929), який працював в області геометрії та основ математики. З 1914 по 1924 роки стажувався в Геттінгенському університеті під керівництвом Давида Гільберта.[7] 7 грудня 1920 року, виступаючи перед колегами, виклав концепцію комбінаторної логіки. Його доповідь, опублікована у 1924 році в обробці Генріха Бемана, започаткувала дослідження Каррі і Черча в області основ математики.[8] У 1929 році була опублікована ще одна робота Шейнфінкель, підготовлена ​​до друку Паулем Бернайсом. У ній Шейнфінкель запропонував варіант вирішення проблеми розв'язання для деяких окремих випадків формул вузького числення предикатів, вперше вказав систему аксіом, достатню для виведення всіх тотожно істинних імплікативних формул, відому як клас Бернайса — Шейнфінкеля.[9]

Покинувши Геттінген, Шейнфінкель повернувся в Москву. У 1927 році він був визнаний психічно хворим та поміщений в психіатричну лікарню.[8][10] Його подальше життя пройшло в злиднях, помер він у Москві, приблизно в 1942 році. Його папери були пущені сусідами на розпалювання вогню.[10]

Праця

[ред. | ред. код]

Шейнфінкелем розроблена формальна система, що дозволяє уникати використання пов'язаних змінних. Його система була по суті еквівалентна комбінаторній логіці, заснованої на комбінаторах 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. ↑ а б https://writings.stephenwolfram.com/2020/12/where-did-combinators-come-from-hunting-the-story-of-moses-schonfinkel/
  2. ↑ Гроссман, 2011, с. 126.
  3. ↑ Студентський квиток Мойсея Шейнфінкеля
  4. ↑ [1] Покажчик діючих в Імперії акціонерних підприємств і торгових домів (стор. 88)]
  5. ↑ «Лур'є та Шейнфінкель» торговельний будинок [Архівовано 4 березня 2016 у Wayback Machine.]: Бакалійний магазин «Лур'є та Шейнфінкель» № 2 розташовувався по Садовій вулиці в будинку Файнберга .
  6. ↑ Купець та благодійник І. Г. Шенфінкель[недоступне посилання з травня 2019]: У списках землевласників Російської Імперії він значиться як Еля — Шая Гершевіч Шейнфінкель див. тут [Архівовано 27 вересня 2013 у Wayback Machine.]); звідси варіанти по батькові його сина — Ілліч (Еля) та Ісаєвич (Шая).
  7. ↑ Cardone, Felice; Hindley, J. Roger, History of Lambda-calculus and Combinatory Logic, у Gabbay, Dov M.; Woods, John (ред.), Handbook of the History of Logic, т. 5, Elsevier
  8. ↑ а б в Curry, Haskell. Notes on Schönfinkel. — Curry archives, 2024. — 27 листопада.
  9. ↑ Яновская, С. А (1948), Основи математики та математична логіка, Математика в СССР за тридцять років. 1917—1947
  10. ↑ а б 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

Література та джерела

[ред. | ред. код]
Отримано з https://uk.wikipedia.org/w/index.php?title=Шейнфінкель_Мойсей_Ейлєвич&oldid=35251539