Sheinfinkel, Moisei Elevich

Moses Elyevich [1] [2] Sheinfinkel (patronymiske muligheder - Ilyich og Isaevich , tysk  Moses Schönfinkel ; 4. september 1889 , Jekaterinoslav , Ukraine  - 1942 , Moskva ) - russisk og sovjetisk logiker og matematiker , kendt som opfinderen af ​​binatorial logik com .

Livet

Moses Sheinfinkel blev født i Jekaterinoslav i familien af ​​en købmand i det første laug , Ilya Girshevich Sheinfinkel, som den 22. februar 1894 sammen med en anden Yekaterinoslav købmand Aron Gertsevich Lurie grundlagde handelshuset Lurie og Sheinfinkel, som var engageret i dagligvarer. handel [3] [4] [5] .

Han studerede ved Novorossiysk Universitet i Odessa , hvor han studerede matematik under Samuil Osipovich Shatunovsky (1859-1929), som arbejdede inden for geometri og matematikkens grundlag . Fra 1914 til 1924 uddannede han sig ved universitetet i Göttingen under vejledning af David Hilbert [6] . Den 7. december 1920 skitserede han, i et tal til sine kolleger, begrebet kombinatorisk logik . Hans rapport, der blev offentliggjort i 1924 i bearbejdning af Heinrich Behmann ( tysk :  Heinrich Behmann ), markerede begyndelsen på Curry og Churchs forskning inden for matematikkens grundlag [7] . Efter at have forladt Göttingen, i midten af ​​1920'erne, flyttede Scheinfinkel til Moskva, men han kunne ikke længere deltage i videnskabelige aktiviteter som før [8] .

I 1927 blev han erklæret psykisk syg og anbragt på et psykiatrisk hospital [7] [9] . Oplysninger om, hvad videnskabsmanden præcis var syg med, og hvorfor sygdommen udviklede sig, er ikke bevaret. Hans efterfølgende liv blev tilbragt i fattigdom, og han døde i Moskva omkring 1942 (den nøjagtige dato for hans død kendes ikke). Hans arbejdspapirer blev fyret af naboer [9] .

I 1929 blev et andet værk af Scheinfinkel udgivet, forberedt til trykning af Paul Bernays . I den foreslog Sheinfinkel en løsning på opløsningsproblemet for nogle specielle tilfælde af snævre prædikatregningsformler; for første gang påpeget et system af aksiomer, der er tilstrækkeligt til at udlede alle identisk sande implikative formler , kendt som Bernays -Schönfinkel-klassen [ 10 ] . 

Proceedings

Scheinfinkel udviklede et formelt system for at undgå brugen af ​​bundne variable. Hans system var i det væsentlige ækvivalent med kombinatorisk logik baseret på kombinatorerne B , C , I , K og S. Scheinfinkel formåede at vise, at systemet kan reduceres til kun K og S , og at fremføre beviset for, at en sådan variant af systemet er lige så komplet som prædikaternes logik [7] .

Hans arbejde viste også, at en funktion med to eller flere argumenter kan erstattes af en funktion, der kun tager ét argument. Denne substitutionsmekanisme forenkler arbejdet både med hensyn til kombinatorisk logik og lambda-regning og kaldes senere currying efter Haskell Curry .

Publikationer

• "Über die Bausteine ​​der mathematischen Logik", Mathematische Annalen 92 , pp. 305-316, 1924. Stefan Bauer-Mengelberg oversatte denne artikel som "Om matematisk logiks byggesten" i Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Cambridge : Harvard University Press, s. 355-366.
• "Zum Entscheidungsproblem der mathematischen Logik" (med Paul Bernays ), Mathematische Annalen 99 : 342-372, 1929.

Noter

1. ↑ Grossman, 2011 , s. 126.
2. ↑ Studenterkort af Moses Sheinfinkel
3. ↑ [1] Indeks over aktieselskaber og handelshuse, der opererer i imperiet (s. 88)]
4. ↑ Lurie og Sheinfinkel handelshus Arkivkopi dateret 4. marts 2016 på Wayback Machine : Lurie og Sheinfinkel købmandsbutik nr. 2 var placeret på Sadovaya Street i Feinberg-huset.
5. ↑ Købmand og filantrop I. G. Shenfinkel  (utilgængeligt link) : I listerne over godsejere af det russiske imperium er han opført som Elya-Shaya Gershevich Sheinfinkel ( se her ); derfor de patronymiske muligheder for hans søn - Ilyich (Elya - russisk. Ilya) og Isaevich (Shaya - russisk. Isai).
6. ↑ Cardone, Felice & Hindley, J. Roger , History of Lambda-calculus and Combinatory Logic, i Gabbay, Dov M., Handbook of the History of Logic , vol. 5 Elsevier 
7. ↑ 1 2 3 Curry, Haskell. Noter om Schönfinkel  (neopr.) . - Curry arkiver, 1927. - November ( vol. 271128A (T271128A) ).  (utilgængeligt link)
8. ↑ Jødisk Ukraine: 10 fakta om jøderne i Dnepropetrovsk . Arkiveret fra originalen den 18. oktober 2016. (ubestemt)
9. ↑ 1 2 Kline, GL (1951), Review of Foundations of mathematics and mathematical logic af SA Yanovskaya , Journal of symbolic Logic bind 16: 46–48 , DOI 10.2307/2268665 
10. ↑ Yanovskaya, S. A (1948), Matematik og matematisk logiks grundlag, matematik i USSR i tredive år. 1917-1947 

Litteratur

• Grossman Leonid. Matematisk Odessa . - Odessa: "Optimum", 2011. - 131 s. — ISBN 978-966-344-411-6 .
• Sergei Tropanets "Moses Sheinfinkel og det kombinatoriske sprog"
• Z. A. Kuzicheva, A. S. Kuzichev. Sheinfinkel  // New Philosophical Encyclopedia  : i 4 bind  / prev. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M .  : Tanke , 2010. - 2816 s.

Tematiske steder	zbMATH Åbn
I bibliografiske kataloger	GND : 1069803960 VIAF : 315940059 WorldCat VIAF : 315940059