Sheinfinkel, Moisei Elevich

Moses Elyevich [1] [2] Sheinfinkel (patronymické možnosti - Iljič a Isajevič , německy  Moses Schönfinkel ; 4. září 1889 , Jekatěrinoslav , Ukrajina  - 1942 , Moskva ) - ruský a sovětský logik a matematik , známý jako vynálezce kombinatorických

Život

Moses Sheinfinkel se narodil v Jekatěrinoslavi v rodině obchodníka prvního cechu Ilji Girsheviche Sheinfinkela, který 22. února 1894 spolu s dalším jekatěrinoslavským obchodníkem Aronem Gertsevičem Luriem založil obchodní dům Lurie and Sheinfinkel, zabývající se obchodem s potravinami. obchod [3] [4] [5] .

Studoval na Novorossijské univerzitě v Oděse , kde studoval matematiku u Samuila Osipoviče Šatunovského (1859-1929), který pracoval v oblasti geometrie a základů matematiky . V letech 1914 až 1924 trénoval na univerzitě v Göttingenu pod vedením Davida Hilberta [6] . 7. prosince 1920, když hovořil s kolegy, nastínil koncept kombinatorické logiky . Jeho zpráva, publikovaná v roce 1924 ve zpracování Heinricha Behmanna ( německy  Heinrich Behmann ), znamenala začátek Curryho a Churchova výzkumu v oblasti základů matematiky [7] . Po odchodu z Göttingenu se v polovině 20. let Scheinfinkel přestěhoval do Moskvy, ale už se nemohl věnovat vědecké činnosti jako dříve [8] .

V roce 1927 byl prohlášen za duševně nemocného a umístěn do psychiatrické léčebny [7] [9] . Informace o tom, čím přesně byl vědec nemocný a proč se nemoc vyvinula, se nedochovaly. Jeho další život byl stráven v chudobě a zemřel v Moskvě kolem roku 1942 (přesné datum jeho smrti není známo). Jeho pracovní doklady byly vypalovány sousedy [9] .

V roce 1929 vyšlo další Scheinfinkelovo dílo, které pro tisk připravil Paul Bernays . Sheinfinkel v něm navrhl řešení problému rozlišení pro některé speciální případy úzkých formulí predikátového počtu; poprvé poukázal na systém axiomů postačujících k odvození všech shodně pravdivých implikativních formulí, známý jako třída Bernays -Schönfinkel [ 10 ] . 

Sborník

Scheinfinkel vyvinul formální systém, aby se vyhnul použití vázaných proměnných. Jeho systém byl v podstatě ekvivalentní kombinatorické logice založené na kombinátorech B , C , I , K a S. Scheinfinkelovi se podařilo ukázat, že systém lze redukovat pouze na K a S , a prokázat, že taková varianta systému je stejně úplná jako logika predikátů [7] .

Jeho práce také ukázala, že funkce se dvěma nebo více argumenty může být nahrazena funkcí, která má pouze jeden argument. Tento substituční mechanismus zjednodušuje práci jak z hlediska kombinatorické logiky, tak lambda kalkulu a později se nazývá currying , po Haskell Curry .

Publikace

• "Über die Bausteine ​​​​der mathematischen Logik", Mathematische Annalen 92 , pp. 305-316, 1924. Stefan Bauer-Mengelberg přeložil tento článek jako „O stavebních blocích matematické logiky“ v Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Cambridge : Harvard University Press, pp. 355-366.
• "Zum Entscheidungsproblem der mathematischen Logik" (s Paulem Bernaysem ), Mathematische Annalen 99 : 342-372, 1929.

Poznámky

1. ↑ Grossman, 2011 , str. 126.
2. ↑ Studentská karta Mojžíše Sheinfinkela
3. ↑ [1] Index akciových společností a obchodních domů působících v Říši (str. 88)]
4. ↑ Obchodní dům Lurie a Sheinfinkel Archivní kopie ze 4. března 2016 na Wayback Machine : Obchod s potravinami č. 2 Lurie a Sheinfinkel se nacházel na ulici Sadovaya v domě Feinberg.
5. ↑ Obchodník a filantrop I. G. Shenfinkel  (nepřístupný odkaz) : V seznamech vlastníků půdy Ruské říše je veden jako Elja-Šaya Gerševič Šeinfinkel ( viz zde ); odtud jsou patronymické možnosti pro jeho syna - Iljiče (Elya - Rus. Ilja) a Isajeviče (Shaya - Rus. Isai).
6. ↑ Cardone, Felice & Hindley, J. Roger , Historie lambda-kalkulu a kombinační logiky, in Gabbay, Dov M., Handbook of the History of Logic , sv. 5 Elsevier 
7. ↑ 1 2 3 Kari, Haskell. Poznámky k Schönfinkelovi  (neopr.) . - Archiv kari, 1927. - Listopad ( sv. 271128A (T271128A) ).  (nedostupný odkaz)
8. ↑ Židovská Ukrajina: 10 faktů o Židech z Dněpropetrovsku . Archivováno z originálu 18. října 2016. (neurčitý)
9. ↑ 1 2 Kline, GL (1951), Přehled základů matematiky a matematické logiky SA Yanovskaya , Journal of symbolic Logic vol . 16: 46–48 , DOI 10.2307/2268665 
10. ↑ Yanovskaya, S. A (1948), Základy matematiky a matematické logiky, Matematika v SSSR třicet let. 1917-1947 

Literatura

• Grossman Leonid. Matematická Oděsa . - Odessa: "Optimum", 2011. - 131 s. — ISBN 978-966-344-411-6 .
• Sergei Tropanets "Moses Sheinfinkel a kombinační jazyk"
• Z. A. Kuzicheva, A. S. Kuzichev. Sheinfinkel  // Nová filozofická encyklopedie  : ve 4 svazcích  / předchozí. vědecky vyd. rada V. S. Stepina . — 2. vyd., opraveno. a doplňkové - M .  : Myšlenka , 2010. - 2816 s.

Tematické stránky	zbMATH Otevřeno
V bibliografických katalozích	GND : 1069803960 VIAF : 315940059 WorldCat VIAF : 315940059