Mojžíš Schönfinkel - Moses Schönfinkel

Mojžíš Ilyich Schönfinkel
Фотография Моисея Шейнфинкеля.png
ca. 1910
narozený(1888-09-29)29. září 1888[1]
Jekatěrinoslav, Ruská říše (Nyní Dněpr, Ukrajina )
Zemřel1942 (ve věku 53–54)
Moskva, Sovětský svaz
Národnostruština
Státní občanstvíruština
Známý jakoKombinovaná logika
Technika pro závazné argumenty
Vědecká kariéra
PoleMatematika
InstituceUniverzita v Göttingenu

Mojžíš Ilyich Schönfinkel, také známý jako Moisei Isai'evich Sheinfinkel ' (Ruština: Моисей Исаевич Шейнфинкель; 29. září 1888 - 1942), byl a ruština logik a matematik, známý pro vynález kombinační logika.

Život

Schönfinkel se zúčastnil Novorossijská univerzita z Oděsa, studium matematiky pod Samuil Osipovich Shatunovskii (1859–1929), který pracoval v geometrie a základy matematiky. V letech 1914 až 1924 byl Schönfinkel členem David Hilbert skupina u Univerzita v Göttingenu.[2] Dne 7. prosince 1920 přednesl projev ke skupině, kde nastínil koncept kombinační logika. Heinrich Behmann, člen Hilbertovy skupiny, text později revidoval a publikoval v roce 1924.[3] V roce 1929 nechal Schönfinkel zveřejnit ještě jeden dokument o zvláštních případech problému s rozhodováním (Entscheidungsproblem ), kterou připravil Paul Bernays.[4]

Poté, co opustil Göttingen, Schönfinkel se vrátil do Moskvy. V roce 1927 byl údajně duševně nemocný a byl v sanatoriu.[3][4] Jeho pozdější život strávil v chudobě a zemřel v Moskvě nějaký čas v roce 1942. Jeho doklady spálili jeho sousedé na vytápění.[4]

Práce

Schönfinkel vyvinul formální systém, který se vyhnul použití vázané proměnné. Jeho systém byl v podstatě ekvivalentní kombinační logice založené na kombinátorech B, C, Já, K., a S. Schönfinkel dokázal, že systém lze zredukovat na spravedlivý K. a S a nastínil důkaz, že verze tohoto systému měla stejnou sílu jako predikátová logika.[3]

Jeho práce také ukázala, že funkce dvou nebo více argumentů by mohly být nahrazeny funkcemi přijímajícími jeden argument.[5][6][7] Tento mechanismus nahrazení zjednodušuje práci v kombinační logice i lambda kalkul a bude později volán kari, po Haskell Curry. Zatímco Curry přisuzoval tento koncept Schönfinkelovi, ten už byl používán Frege[8] (příklad Stiglerův zákon ).

Publikace

  • Moses Schönfinkel (1924). „Über die Bausteine ​​der mathematischen Logik“. Mathematische Annalen (v němčině). 92 (3–4): 305–316. doi:10.1007 / bf01448013. S2CID  118507515. - Přeložil Stefan Bauer-Mengelberg jako „Na stavební kameny matematické logiky“ v Jean van Heijenoort, 1967. Kniha pramenů v matematické logice, 1879–1931. Harvard Univ. Tisk: 355–66.
  • Paul Bernays; Moses Schönfinkel (1929). „Zum Entscheidungsproblem der mathematischen Logik“ (PDF). Mathematische Annalen (v němčině). 99: 342–372. doi:10.1007 / bf01459101. S2CID  122312654.

Viz také

Reference

  1. ^ Wolfram, Stephen (7. prosince 2020). „Odkud pocházejí kombinátory? Lov příběhu Mojžíše Schônfinkela“. Spisy Stephena Wolframa.
  2. ^ Cardone, Felice; Hindley, J. Roger „History of Lambda-calculus and Combinatory Logic“, in Gabbay, Dov M .; Woods, John (eds.), Příručka dějin logiky, 5, Elsevier
  3. ^ A b C Curry, Haskell (listopad 1927), Poznámky k Schönfinkelu, 271128A (T271128A), Curryho archivy.[trvalý mrtvý odkaz ]
  4. ^ A b C Kline, G. L .; Anovskaa, S. A. (1951), „Recenze základů matematiky a matematické logiky S. A. Yanovskaya“, Journal of Symbolic Logic, 16 (1): 46–48, doi:10.2307/2268665, JSTOR  2268665
  5. ^ Strachey, Christophere (2000). "Základní koncepty v programovacích jazycích". Vyšší řád a symbolický výpočet. 13: 11–49. doi:10.1023 / A: 1010000313106. S2CID  14124601. Existuje zařízení od společnosti Schönfinkel, které redukuje operátory s několika operandy na postupnou aplikaci operátorů s jedním operandem.CS1 maint: ref = harv (odkaz) (Přetištěné poznámky k přednášce z roku 1967.)
  6. ^ Reynolds, John C. (1998). "Definiční tlumočníci pro programovací jazyky vyšších řádů". Vyšší řád a symbolický výpočet. 11 (4): 374. doi:10.1023 / A: 1010027404223. S2CID  43352033. V posledním řádku jsme použili trik zvaný Currying (podle logika H. Curryho) k vyřešení problému zavedení binární operace do jazyka, kde všechny funkce musí přijmout jediný argument. (Rozhodčí poznamenává, že i když je „Currying“ chutnější, „Schönfinkeling“ může být přesnější.)CS1 maint: ref = harv (odkaz)
  7. ^ Kenneth Slonneger a Barry L. Kurtz. Formální syntax a sémantika programovacích jazyků. 1995. s. 144.
  8. ^ Willard Van Orman Quine, úvod k „Bausteine ​​der mathematischen Logik“, s. 305–316. Přeložil Stefan Bauer-Mengelberg jako „Na stavebních kamenech matematické logiky“ v Jean van Heijenoort (1967), Kniha pramenů v matematické logice, 1879–1931. Harvard University Press, str. 355–66.