Sheinfinkel, Moisei Elevich

Mózes Eljevics [1] [2] Seinfinkel (atyanévi lehetőségek - Iljics és Isaevich , német  Moses Schönfinkel ; 1889. szeptember 4. , Jekatyerinoszlav , Ukrajna  - 1942 , Moszkva ) - orosz és szovjet logikus és matematikus , a kombinatorikus logika feltalálójaként ismert .

Élet

Moses Sheinfinkel Jekatyerinoszlavban született az első céh kereskedőjének , Ilja Girsevics Seinfinkelnek a családjában, aki 1894. február 22-én egy másik jekatyerinoszláv kereskedővel, Aron Gertsevich Lurie-vel együtt megalapította a Lurie és Sheinfinkel kereskedőházat, amely élelmiszerbolttal foglalkozott. kereskedelem [3] [4] [5] .

Tanulmányait az odesszai Novorosszijszk Egyetemen végezte , matematikát tanult Szamuil Oszipovics Satunovszkij (1859-1929) irányítása alatt, aki a geometria és a matematika alapjaival foglalkozott . 1914-től 1924-ig a göttingeni egyetemen képezte magát David Hilbert [6] vezetésével . 1920. december 7-én kollégáival beszélgetve felvázolta a kombinatorikus logika fogalmát . 1924-ben Heinrich Behmann ( németül Heinrich Behmann ) feldolgozásában megjelent tudósítása jelentette Curry és Church kutatásának kezdetét a matematika alapjainak témakörében [7] . Göttingen elhagyása után, az 1920-as évek közepén Scheinfinkel Moszkvába költözött, de már nem folytathatott tudományos tevékenységet, mint korábban [8] .  

1927-ben elmebetegnek nyilvánították és pszichiátriai kórházba helyezték [7] [9] . Arról, hogy pontosan mitől volt beteg a tudós, és miért alakult ki a betegség, nem őrizték meg az információkat. Későbbi életét szegénységben töltötte, 1942 körül Moszkvában halt meg (halálának pontos dátuma nem ismert). Munkapapírjait a szomszédok kirúgták [9] .

1929-ben megjelent Scheinfinkel egy másik munkája, amelyet Paul Bernays készített elő nyomtatásra . Ebben Sheinfinkel megoldást javasolt a felbontási problémára a szűk predikátumszámítási formulák néhány speciális esetére; először mutatott rá egy axiómarendszerre, amely elegendő az összes azonosan igaz implikatív képlet levezetéséhez, és amelyet Bernays -Schönfinkel osztályként ismernek [ 10 ] . 

Proceedings

Scheinfinkel formális rendszert dolgozott ki a kötött változók használatának elkerülésére. Rendszere lényegében egyenértékű volt a B , C , I , K és S kombinátorokon alapuló kombinatorikus logikával . Scheinfinkelnek sikerült megmutatnia, hogy a rendszer csak K -ra és S - re redukálható , és bizonyítja, hogy a rendszer ilyen változata olyan teljes, mint a predikátumok logikája [7] .

Munkája azt is megmutatta, hogy egy két vagy több argumentummal rendelkező függvény helyettesíthető olyan függvénnyel, amely csak egy argumentumot vesz fel. Ez a helyettesítési mechanizmus leegyszerűsíti a munkát mind a kombinatorikus logika, mind a lambda-számítás szempontjából, és később curryingnek nevezik , Haskell Curry után .

Publikációk

• "Über die Bausteine ​​​​der mathematischen Logik", Mathematische Annalen 92 , pp. 305-316, 1924. Stefan Bauer-Mengelberg ezt a cikket "A matematikai logika építőköveiről" fordította le Jean van Heijenoortban , 1967. A Source Book in Mathematical Logic, 1879-1931 . Cambridge : Harvard University Press, pp. 355-366.
• "Zum Entscheidungsproblem der mathematischen Logik" ( Paul Bernays -szal ), Mathematische Annalen 99 : 342-372, 1929.

Jegyzetek

1. ↑ Grossman, 2011 , p. 126.
2. ↑ Moses Sheinfinkel diákigazolványa
3. ↑ [1] A Birodalomban működő részvénytársaságok és kereskedőházak mutatója (88. o.)]
4. ↑ Lurie és Sheinfinkel kereskedőház 2016. március 4-i archív példány a Wayback Machine -n : A Lurie és Sheinfinkel 2. számú élelmiszerbolt a Sadovaya utcában volt, a Feinberg házban.
5. ↑ I. G. Shenfinkel kereskedő és emberbarát  (elérhetetlen link) : Az Orosz Birodalom földbirtokosainak névsoraiban Elya-Shaya Gershevich Sheinfinkel néven szerepel ( lásd itt ); ezért a patroním lehetőségek fia - Iljics (Elya - orosz. Ilya) és Isaevich (Shaya - orosz. Isai).
6. ↑ Cardone, Felice & Hindley, J. Roger , History of Lambda-calculus and Combinatory Logic, in Gabbay, Dov M., Handbook of the History of Logic , vol. 5 Elsevier 
7. ↑ 1 2 3 Curry, Haskell. Jegyzetek Schönfinkelről  (neopr.) . - Curry archívuma, 1927. - november ( 271128A (T271128A) köt. ).  (nem elérhető link)
8. ↑ Zsidó Ukrajna: 10 tény a dnyipropetrovszki zsidókról . Az eredetiből archiválva : 2016. október 18. (határozatlan)
9. ↑ 1 2 Kline, GL (1951), SA Yanovskaya áttekintése a matematika és a matematikai logika alapjairól , Journal of symbolic Logic 16. kötet, 46–48 , DOI 10.2307/2268665 
10. ↑ Yanovskaya, S. A (1948), A matematika és a matematikai logika alapjai, A matematika a Szovjetunióban harminc éve. 1917-1947 

Irodalom

• Grossman Leonyid. Matematikai Odessza . - Odessza: "Optimális", 2011. - 131 p. — ISBN 978-966-344-411-6 .
• Szergej Tropanets "Mózes Sheinfinkel és a kombinatorikus nyelv"
• Z. A. Kuzicseva, A. S. Kuzicsev. Sheinfinkel  // Új Filozófiai Enciklopédia  : 4 kötetben  / előz. tudományos-szerk. V. S. Stepin tanácsa . — 2. kiadás, javítva. és további - M .  : Gondolat , 2010. - 2816 p.

Tematikus oldalak	zbMATH Nyitva
Bibliográfiai katalógusokban	GND : 1069803960 VIAF : 315940059 WorldCat VIAF : 315940059