Шейнфінкель Мойсей Ейлєвич (Ілліч, Ісаєвич) (нім. Moses Schönfinkel; нар. 4 вересня 1889, Катеринослав, Російська імперія — пом. 1942, Москва, СРСР) — український та радянський логік та математик єврейського походження, відомий як винахідник комбінаторної логіки.
Шейнфінкель Мойсей Ейлєвич | |
---|---|
![]() | |
Народився | 29 вересня 1888[1] Катеринослав, Російська імперія |
Помер | 1942 Москва, СРСР |
Країна | ![]() ![]() |
Діяльність | математик, логік |
Alma mater | ОНУ ім. І. І. Мечникова |
Галузь | математична логіка |
Заклад | Геттінгенський університет[1] |
Вчителі | Давид Гільберт |
Відомий завдяки: | Каррінг (інформатика), комбінаторна логіка. |
![image](https://www.wikidata.uk-ua.nina.az/image/aHR0cHM6Ly93d3cud2lraWRhdGEudWstdWEubmluYS5hei9pbWFnZS9hSFIwY0hNNkx5OTFjR3h2WVdRdWQybHJhVzFsWkdsaExtOXlaeTkzYVd0cGNHVmthV0V2WTI5dGJXOXVjeTkwYUhWdFlpOHlMekpqTHlWRU1DVkJNU1ZFTVNVNE1pVkVNU1U0TXlWRU1DVkNOQ1ZFTUNWQ05TVkVNQ1ZDUkNWRU1TVTROeVZFTUNWQ05TVkVNU1U0TVNWRU1DVkNRU1ZFTUNWQ09DVkVNQ1ZDT1Y4bFJEQWxRakVsUkRBbFFqZ2xSREFsUWtJbFJEQWxRalVsUkRFbE9ESmZKVVF3SlRsREpVUXdKVUpGSlVRd0pVSTRKVVF4SlRneEpVUXdKVUkxSlVReEpUaEdYeVZFTUNWQk9DVkVNQ1ZDTlNWRU1DVkNPU1ZFTUNWQ1JDVkVNU1U0TkNWRU1DVkNPQ1ZFTUNWQ1JDVkVNQ1ZDUVNWRU1DVkNOU1ZFTUNWQ1FpVkVNU1U0Umk1d2JtY3ZNemd3Y0hndEpVUXdKVUV4SlVReEpUZ3lKVVF4SlRnekpVUXdKVUkwSlVRd0pVSTFKVVF3SlVKRUpVUXhKVGczSlVRd0pVSTFKVVF4SlRneEpVUXdKVUpCSlVRd0pVSTRKVVF3SlVJNVh5VkVNQ1ZDTVNWRU1DVkNPQ1ZFTUNWQ1FpVkVNQ1ZDTlNWRU1TVTRNbDhsUkRBbE9VTWxSREFsUWtVbFJEQWxRamdsUkRFbE9ERWxSREFsUWpVbFJERWxPRVpmSlVRd0pVRTRKVVF3SlVJMUpVUXdKVUk1SlVRd0pVSkVKVVF4SlRnMEpVUXdKVUk0SlVRd0pVSkVKVVF3SlVKQkpVUXdKVUkxSlVRd0pVSkNKVVF4SlRoR0xuQnVadz09LnBuZw==.png)
Життєпис
Мойсей Шейнфінкель народився в Катеринославі в сім'ї купця першої гільдії Іллі Гіршевича Шейнфінкеля, який 22 лютого 1894 року разом з іншим катеринославським купцем Ароном Герцевічем Лур'є заснував торговий будинок «Лур'є та Шейнфінкель», який займався бакалійною торгівлею. Навчався в Новоросійському університеті в Одесі, вивчаючи математику під керівництвом Самуїла Йосиповича Шатуновського (1859—1929), який працював в області геометрії та основ математики. З 1914 по 1924 роки стажувався в Геттінгенському університеті під керівництвом Давида Гільберта. 7 грудня 1920 року, виступаючи перед колегами, виклав концепцію комбінаторної логіки. Його доповідь, опублікована у 1924 році в обробці Генріха Бемана, започаткувала дослідження Каррі і Черча в області основ математики. У 1929 році була опублікована ще одна робота Шейнфінкель, підготовлена до друку Паулем Бернайсом. У ній Шейнфінкель запропонував варіант вирішення проблеми розв'язання для деяких окремих випадків формул вузького числення предикатів, вперше вказав систему аксіом, достатню для виведення всіх тотожно істинних імплікативних формул, відому як клас Бернайса — Шейнфінкеля.
Покинувши Геттінген, Шейнфінкель повернувся в Москву. У 1927 році він був визнаний психічно хворим та поміщений в психіатричну лікарню. Його подальше життя пройшло в злиднях, помер він у Москві, приблизно в 1942 році. Його папери були пущені сусідами на розпалювання вогню.
Праця
Шейнфінкелем розроблена формальна система, що дозволяє уникати використання пов'язаних змінних. Його система була по суті еквівалентна комбінаторній логіці, заснованої на комбінаторах B, C, I, K та S. Шейнфінкелю вдалося показати, що система може бути скорочена лише до K і S, та викласти доказ того, що такий варіант системи так само повний, як і логіка предикатів..
Його робота також показала, що функції двох або більше аргументів можуть бути замінені функцією яка приймає лише один аргумент. Механізм такої заміни спрощує роботу, як в термінах комбінаторної логіки, так і у лямбда-численні, і пізніше був названий каррінгом, в честь Гаскелла Каррі.
Публікації
- «Ü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.
Примітки
- 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 розташовувався по Садовій вулиці в будинку Файнберга .
- Купець та благодійник І. Г. Шенфінкель[недоступне посилання з травня 2019]: У списках землевласників Російської Імперії він значиться як Еля — Шая Гершевіч Шейнфінкель див. тут [ 27 вересня 2013 у Wayback Machine.]); звідси варіанти по батькові його сина — Ілліч (Еля) та Ісаєвич (Шая).
- ; , History of Lambda-calculus and Combinatory Logic, у Gabbay, Dov M.; Woods, John (ред.), Handbook of the History of Logic, т. 5, Elsevier
- Curry, Haskell. Notes on Schönfinkel. — Curry archives, 2024. — 8 листопада.
- Яновская, С. А (1948), Основи математики та математична логіка, Математика в СССР за тридцять років. 1917—1947
- 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
Література та джерела
- Гроссман Леонид. Математическая Одесса. — Одесса, 2011. — 131 с. — . (рос.)
- Сергій Тропанец «Мойсей Шейнфінкель та комбінаторна мова» (рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Shejnfinkel Mojsej Ejlyevich Illich Isayevich nim Moses Schonfinkel nar 4 veresnya 1889 Katerinoslav Rosijska imperiya pom 1942 Moskva SRSR ukrayinskij ta radyanskij logik ta matematik yevrejskogo pohodzhennya vidomij yak vinahidnik kombinatornoyi logiki Shejnfinkel Mojsej EjlyevichNarodivsya29 veresnya 1888 1888 09 29 1 Katerinoslav Rosijska imperiyaPomer1942 Moskva SRSRKrayina Rosijska imperiya SRSRDiyalnistmatematik logikAlma materONU im I I MechnikovaGaluzmatematichna logikaZakladGettingenskij universitet 1 VchiteliDavid GilbertVidomij zavdyaki Karring informatika kombinatorna logika Shejnfinkel Mojsej Ejlyevich u VikishovishiStudentskij kvitok M E Shejnfinkelya 1910 roku ZhittyepisMojsej Shejnfinkel narodivsya v Katerinoslavi v sim yi kupcya pershoyi gildiyi Illi Girshevicha Shejnfinkelya yakij 22 lyutogo 1894 roku razom z inshim katerinoslavskim kupcem Aronom Gercevichem Lur ye zasnuvav torgovij budinok Lur ye ta Shejnfinkel yakij zajmavsya bakalijnoyu torgivleyu Navchavsya v Novorosijskomu universiteti v Odesi vivchayuchi matematiku pid kerivnictvom Samuyila Josipovicha Shatunovskogo 1859 1929 yakij pracyuvav v oblasti geometriyi ta osnov matematiki Z 1914 po 1924 roki stazhuvavsya v Gettingenskomu universiteti pid kerivnictvom Davida Gilberta 7 grudnya 1920 roku vistupayuchi pered kolegami viklav koncepciyu kombinatornoyi logiki Jogo dopovid opublikovana u 1924 roci v obrobci Genriha Bemana zapochatkuvala doslidzhennya Karri i Chercha v oblasti osnov matematiki U 1929 roci bula opublikovana she odna robota Shejnfinkel pidgotovlena do druku Paulem Bernajsom U nij Shejnfinkel zaproponuvav variant virishennya problemi rozv yazannya dlya deyakih okremih vipadkiv formul vuzkogo chislennya predikativ vpershe vkazav sistemu aksiom dostatnyu dlya vivedennya vsih totozhno istinnih implikativnih formul vidomu yak klas Bernajsa Shejnfinkelya Pokinuvshi Gettingen Shejnfinkel povernuvsya v Moskvu U 1927 roci vin buv viznanij psihichno hvorim ta pomishenij v psihiatrichnu likarnyu Jogo podalshe zhittya projshlo v zlidnyah pomer vin u Moskvi priblizno v 1942 roci Jogo paperi buli pusheni susidami na rozpalyuvannya vognyu PracyaShejnfinkelem rozroblena formalna sistema sho dozvolyaye unikati vikoristannya pov yazanih zminnih Jogo sistema bula po suti ekvivalentna kombinatornij logici zasnovanoyi na kombinatorah B C I K ta S Shejnfinkelyu vdalosya pokazati sho sistema mozhe buti skorochena lishe do K i S ta viklasti dokaz togo sho takij variant sistemi tak samo povnij yak i logika predikativ Jogo robota takozh pokazala sho funkciyi dvoh abo bilshe argumentiv mozhut buti zamineni funkciyeyu yaka prijmaye lishe odin argument Mehanizm takoyi zamini sproshuye robotu yak v terminah kombinatornoyi logiki tak i u lyambda chislenni i piznishe buv nazvanij karringom v chest Gaskella Karri Publikaciyi Uber die Bausteine der mathematischen Logik Mathematische Annalen 92 pp 305 316 1924 Stefan Bauer Mengelberg pereklav cyu stattyu yak On the building blocks of mathematical logic u knizi Jean van Heijenoort 1967 A Source Book in Mathematical Logic 1879 1931 Kembridzh Harvard University Press pp 355 366 Zum Entscheidungsproblem der mathematischen Logik z Mathematische Annalen 99 342 372 1929 Primitkihttps writings stephenwolfram com 2020 12 where did combinators come from hunting the story of moses schonfinkel Grossman 2011 s 126 Studentskij kvitok Mojseya Shejnfinkelya 1 Pokazhchik diyuchih v Imperiyi akcionernih pidpriyemstv i torgovih domiv stor 88 Lur ye ta Shejnfinkel torgovelnij budinok 4 bereznya 2016 u Wayback Machine Bakalijnij magazin Lur ye ta Shejnfinkel 2 roztashovuvavsya po Sadovij vulici v budinku Fajnberga Kupec ta blagodijnik I G Shenfinkel nedostupne posilannya z travnya 2019 U spiskah zemlevlasnikiv Rosijskoyi Imperiyi vin znachitsya yak Elya Shaya Gershevich Shejnfinkel div tut 27 veresnya 2013 u Wayback Machine zvidsi varianti po batkovi jogo sina Illich Elya ta Isayevich Shaya History of Lambda calculus and Combinatory Logic u Gabbay Dov M Woods John red Handbook of the History of Logic t 5 Elsevier Curry Haskell Notes on Schonfinkel Curry archives 2024 8 listopada Yanovskaya S A 1948 Osnovi matematiki ta matematichna logika Matematika v SSSR za tridcyat rokiv 1917 1947 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 2268665Literatura ta dzherelaGrossman Leonid Matematicheskaya Odessa Odessa 2011 131 s ISBN 978 966 344 411 6 ros Sergij Tropanec Mojsej Shejnfinkel ta kombinatorna mova ros