Sheinfinkel, Moisei Elevich

Moses Elyevich [1] [2] Sheinfinkel (patronymiska alternativ - Iljitj och Isajevitj , tyska  Moses Schönfinkel ; 4 september 1889 , Jekaterinoslav , Ukraina  - 1942 , Moskva ) - Rysk och sovjetisk logiker och matematiker , känd som uppfinnaren av binatorial logik com .

Livet

Moses Sheinfinkel föddes i Jekaterinoslav i familjen till en köpman i det första skrået , Ilya Girshevich Sheinfinkel, som den 22 februari 1894, tillsammans med en annan Jekaterinoslav-handlare Aron Gertsevich Lurie, grundade handelshuset Lurie och Sheinfinkel, som ägnade sig åt dagligvaror. handel [3] [4] [5] .

Han studerade vid Novorossiysk-universitetet i Odessa och studerade matematik under Samuil Osipovich Shatunovsky (1859-1929), som arbetade inom området geometri och matematikens grunder . Från 1914 till 1924 utbildade han sig vid universitetet i Göttingen under ledning av David Hilbert [6] . Den 7 december 1920 beskrev han, i ett tal till kollegor, begreppet kombinatorisk logik . Hans rapport, publicerad 1924 i bearbetning av Heinrich Behmann ( tyska:  Heinrich Behmann ), markerade början på Curry och kyrkans forskning inom området för matematikens grunder [7] . Efter att ha lämnat Göttingen, i mitten av 1920-talet, flyttade Scheinfinkel till Moskva, men han kunde inte längre ägna sig åt vetenskaplig verksamhet som tidigare [8] .

1927 förklarades han psykiskt sjuk och placerades på ett psykiatriskt sjukhus [7] [9] . Information om exakt vad forskaren var sjuk i och varför sjukdomen utvecklades har inte bevarats. Hans efterföljande liv tillbringades i fattigdom och han dog i Moskva, omkring 1942 (det exakta datumet för hans död är inte känt). Hans arbetspapper sparkades av grannar [9] .

År 1929 publicerades ett annat verk av Scheinfinkel, förberett för tryckning av Paul Bernays . I den föreslog Sheinfinkel en lösning på upplösningsproblemet för vissa specialfall av snäva predikatkalkylformler; för första gången påpekade ett system av axiom som är tillräckligt för härledning av alla identiskt sanna implikativa formler, känd som Bernays - Schönfinkel-klassen [ 10 ] . 

Proceedings

Scheinfinkel utvecklade ett formellt system för att undvika användningen av bundna variabler. Hans system var i huvudsak ekvivalent med kombinatorisk logik baserad på kombinatorerna B , C , I , K och S. Scheinfinkel lyckades visa att systemet kan reduceras till endast K och S , och att ange beviset för att en sådan variant av systemet är lika komplett som predikatens logik [7] .

Hans arbete visade också att en funktion med två eller flera argument kan ersättas med en funktion som bara tar ett argument. Denna substitutionsmekanism förenklar arbetet både vad gäller kombinatorisk logik och lambdakalkyl och kallas senare för currying , efter Haskell Curry .

Publikationer

• "Über die Bausteine ​​der mathematischen Logik", Mathematische Annalen 92 , s. 305-316, 1924. Stefan Bauer-Mengelberg översatte denna artikel som "Om matematisk logiks byggstenar" 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.

Anteckningar

1. ↑ Grossman, 2011 , sid. 126.
2. ↑ Studentkort av Moses Sheinfinkel
3. ↑ [1] Index över aktiebolag och handelshus verksamma i imperiet (s. 88)]
4. ↑ Lurie och Sheinfinkel handelshus Arkivexemplar daterad 4 mars 2016 på Wayback Machine : Lurie och Sheinfinkel livsmedelsbutik nr 2 låg på Sadovaya Street i Feinberg huset.
5. ↑ Köpmannen och filantropen I. G. Shenfinkel  (otillgänglig länk) : I listorna över det ryska imperiets markägare är han listad som Elya-Shaya Gershevich Sheinfinkel ( se här ); därav de patronymiska alternativen för hans son - Ilyich (Elya - ryska. Ilja) och Isaevich (Shaya - ryska. 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. Anteckningar om Schönfinkel  (neopr.) . - Curryarkiv, 1927. - November ( vol. 271128A (T271128A) ).  (inte tillgänglig länk)
8. ↑ Judiskt Ukraina: 10 fakta om judarna i Dnepropetrovsk . Arkiverad från originalet den 18 oktober 2016. (obestämd)
9. ↑ 1 2 Kline, GL (1951), Review of Foundations of mathematics and matematical logic av SA Yanovskaya , Journal of symbolic Logic vol 16: 46–48 , DOI 10.2307/2268665 
10. ↑ Yanovskaya, S. A (1948), Grunder för matematik och matematisk logik, matematik i USSR i trettio år. 1917-1947 

Litteratur

• Grossman Leonid. Matematisk Odessa . - Odessa: "Optimum", 2011. - 131 sid. — ISBN 978-966-344-411-6 .
• Sergei Tropanets "Moses Sheinfinkel och det kombinatoriska språket"
• Z. A. Kuzicheva, A. S. Kuzichev. Sheinfinkel  // New Philosophical Encyclopedia  : i 4 volymer  / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M .  : Tanke , 2010. - 2816 sid.

Tematiska platser	zbMATH Öppna
I bibliografiska kataloger	GND : 1069803960 VIAF : 315940059 WorldCat VIAF : 315940059