Sheinfinkel, Moisei Elevich

Moses Eljevitš [1] [2] Sheinfinkel (isännimivaihtoehdot - Iljitš ja Isaevich , saksalainen  Moses Schönfinkel ; 4. syyskuuta 1889 , Jekaterinoslav , Ukraina  - 1942 , Moskova ) - Venäjän ja Neuvostoliiton logiikka ja matemaatikko , joka tunnetaan kombinatorisen logiikan keksijänä .

Elämä

Moses Sheinfinkel syntyi Jekaterinoslavissa ensimmäisen killan kauppiaan Ilja Girshevitš Sheinfinkelin perheeseen, joka 22. helmikuuta 1894 perusti yhdessä toisen Jekaterinoslav-kauppiaan Aron Gertsevich Lurien kanssa kauppakeskuksen Lurie and Sheinfinkel, joka harjoitti ruokakauppaa. kauppa [3] [4] [5] .

Hän opiskeli Novorossiyskin yliopistossa Odessassa matematiikkaa Samuil Osipovich Shatunovskyn ( 1859-1929) johdolla, joka työskenteli geometrian ja matematiikan perusteiden parissa . Vuodesta 1914 vuoteen 1924 hän harjoitteli Göttingenin yliopistossa David Hilbertin johdolla [6] . 7. joulukuuta 1920 hän hahmotteli kombinatorisen logiikan käsitteen kollegoilleen puhuessaan . Hänen raporttinsa, joka julkaistiin vuonna 1924 Heinrich Behmannin ( saksa: Heinrich Behmann ) prosessoinnissa, merkitsi alkua Curryn ja Churchin tutkimukselle matematiikan perusteiden alalla [7] . Lähdettyään Göttingenistä 1920-luvun puolivälissä Scheinfinkel muutti Moskovaan, mutta hän ei enää voinut harjoittaa tieteellistä toimintaa kuten ennen [8] .  

Vuonna 1927 hänet julistettiin mielisairaaksi ja hänet vietiin psykiatriseen sairaalaan [7] [9] . Tietoja siitä, mitä tiedemies tarkalleen ottaen sairasti ja miksi tauti kehittyi, ei ole säilytetty. Hänen myöhempi elämänsä vietti köyhyydessä, ja hän kuoli Moskovassa noin 1942 (tarkka kuolinpäivä ei ole tiedossa). Naapurit ampuivat hänen työpaperinsa [9] .

Vuonna 1929 julkaistiin toinen Scheinfinkelin teos, jonka Paul Bernays valmisteli painatukseen . Siinä Sheinfinkel ehdotti ratkaisua resoluutioongelmaan joihinkin kapeiden predikaattilaskennan kaavojen erityistapauksiin; osoitti ensimmäistä kertaa aksioomijärjestelmän, joka on riittävä kaikkien identtisten implikatiivisten kaavojen johtamiseen ja joka tunnetaan nimellä Bernays -Schönfinkel-luokka [ 10 ] . 

Proceedings

Scheinfinkel kehitti muodollisen järjestelmän sidottujen muuttujien käytön välttämiseksi. Hänen järjestelmänsä vastasi oleellisesti kombinatorista logiikkaa, joka perustui kombinaattoreihin B , C , I , K ja S. Scheinfinkel onnistui osoittamaan, että järjestelmä voidaan pelkistää vain K :ksi ja S :ksi , ja todistaa, että tällainen järjestelmän variantti on yhtä täydellinen kuin predikaattien logiikka [7] .

Hänen työnsä osoitti myös, että funktio, jossa on kaksi tai useampi argumentti, voidaan korvata funktiolla, joka ottaa vain yhden argumentin. Tämä korvausmekanismi yksinkertaistaa työtä sekä kombinatorisen logiikan että lambdalaskennan kannalta ja sitä kutsutaan myöhemmin curryukseksi Haskell Curryn mukaan .

Julkaisut

• "Über die Bausteine ​​​​der mathematischen Logik", Mathematische Annalen 92 , s. 305-316, 1924. Stefan Bauer-Mengelberg käänsi tämän artikkelin "Matemaattisen logiikan rakennuspalikoista" julkaisussa Jean van Heijenoort , 1967. A Source Book in Mathematical Logic, 1879-1931 . Cambridge : Harvard University Press, s. 355-366.
• "Zum Entscheidungsproblem der mathematischen Logik" (yhdessä Paul Bernaysin kanssa ), Mathematische Annalen 99 : 342-372, 1929.

Muistiinpanot

1. ↑ Grossman, 2011 , s. 126.
2. ↑ Moses Sheinfinkelin opiskelijakortti
3. ↑ [1] Imperiumissa toimivien osakeyhtiöiden ja kauppahuoneiden indeksi (s. 88)]
4. ↑ Lurie ja Sheinfinkel kauppatalo Arkistokopio 4. maaliskuuta 2016 Wayback Machinessa : Lurie ja Sheinfinkelin ruokakauppa nro 2 sijaitsi Sadovaya-kadulla Feinbergin talossa.
5. ↑ Kauppias ja hyväntekijä I. G. Shenfinkel  (pääsemätön linkki) : Venäjän valtakunnan maanomistajien luetteloissa hänet mainitaan nimellä Elya-Shaya Gershevich Sheinfinkel ( katso tästä ); tästä syystä hänen poikansa sukunimivaihtoehdot - Iljitš (Elja - venäjä. Ilja) ja Isaevich (Shaya - venäjä. Isai).
6. ↑ Cardone, Felice & Hindley, J. Roger , History of Lambda-calculus and Combinatory Logic, julkaisussa Gabbay, Dov M., Handbook of the History of Logic , voi. 5 Elsevier 
7. ↑ 1 2 3 Curry, Haskell. Huomautuksia Schönfinkelistä  (uus.) . - Curry-arkisto, 1927. - marraskuu ( nide 271128A (T271128A) ).  (linkki ei saatavilla)
8. ↑ Juutalainen Ukraina: 10 faktaa Dnepropetrovskin juutalaisista . Arkistoitu alkuperäisestä 18. lokakuuta 2016. (määrätön)
9. ↑ 1 2 Kline, GL (1951), SA Yanovskayan matematiikan ja matemaattisen logiikan perusteiden katsaus , Journal of symbolic Logic , osa 16: 46–48 , DOI 10.2307/2268665 
10. ↑ Yanovskaya, S. A (1948), Matematiikan ja matemaattisen logiikan perusteet, Matematiikka Neuvostoliitossa kolmekymmentä vuotta. 1917-1947 

Kirjallisuus

• Grossman Leonid. Matemaattinen Odessa . - Odessa: "Optimum", 2011. - 131 s. — ISBN 978-966-344-411-6 .
• Sergei Tropanets "Moses Sheinfinkel ja kombinatorinen kieli"
• Z.A. Kuzicheva, A.S. Kuzichev. Sheinfinkel  // New Philosophical Encyclopedia  : 4 osassa / esi  . tieteellinen toim. V. S. Stepinin neuvo . — 2. painos, korjattu. ja ylimääräisiä - M .  : Ajatus , 2010. - 2816 s.

Temaattiset sivustot	zbMATH Avoinna
Bibliografisissa luetteloissa	GND : 1069803960 VIAF : 315940059 WorldCat VIAF : 315940059