Moses Schönfinkel: Difference between revisions

Source: Wikipedia, the free encyclopedia.
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Extended confirmed users, Pending changes reviewers
81,759 edits
Tidying, refs, info box
m →‎Life: Added name of lecture on Combinatory logic
Tag: Reverted
Line 38: Line 38:
| publisher=[[Elsevier]]
| publisher=[[Elsevier]]
| editor2-last=Woods | editor2-first=John
| editor2-last=Woods | editor2-first=John
}}</ref> On 7 December 1920 he delivered a talk to the group where he outlined the concept of [[combinatory logic]]. [[Heinrich Behmann]], a member of Hilbert's group, later revised the text and published it in 1924.<ref name="Archives">{{Citation | author = Curry, Haskell | title = Notes on Schönfinkel | version = 271128A (T271128A) | publisher = Curry archives | date = November 1927 | url = http://www.sadl.uleth.ca/cgi-bin/library?e=d-00000-00---off-0curry--00-0--0-10-0---0---0prompt-10---4-------0-1l--11-en-50---20-about---00-0-1-00-0-0-11-1-0utfZz-8-00&a=d&cl=CL1.8&d=T271128A | postscript = . }}{{dead link|date=December 2017 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> In 1929, Schönfinkel had one other paper published, on special cases of the decision problem (''[[Entscheidungsproblem]]''), that was prepared by [[Paul Bernays]].<ref name="Kline">{{Citation | first1=G. L. | last1=Kline | title=Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya | journal=[[Journal of Symbolic Logic]] | volume=16 | pages=46–48 | year=1951 | doi=10.2307/2268665 | jstor=2268665 | issue=1 | last2=Anovskaa | first2=S. A.}}</ref>
}}</ref> On 7 December 1920 he delivered a talk entitled ''Elemente der Logick''("Elements of Logic")<ref name="combi-wolfram">{{cite web |last1=Wolfram |first1=Steven |title=Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel |url=https://writings.stephenwolfram.com/2020/12/where-did-combinators-come-from-hunting-the-story-of-moses-schonfinkel/ |access-date=19 January 2021}}</ref> to the group where he outlined the concept of [[combinatory logic]]. [[Heinrich Behmann]], a member of Hilbert's group, later revised the text and published it in 1924.<ref name="Archives">{{Citation | author = Curry, Haskell | title = Notes on Schönfinkel | version = 271128A (T271128A) | publisher = Curry archives | date = November 1927 | url = http://www.sadl.uleth.ca/cgi-bin/library?e=d-00000-00---off-0curry--00-0--0-10-0---0---0prompt-10---4-------0-1l--11-en-50---20-about---00-0-1-00-0-0-11-1-0utfZz-8-00&a=d&cl=CL1.8&d=T271128A | postscript = . }}{{dead link|date=December 2017 |bot=InternetArchiveBot |fix-attempted=yes }}</ref> In 1929, Schönfinkel had one other paper published, on special cases of the decision problem (''[[Entscheidungsproblem]]''), that was prepared by [[Paul Bernays]].<ref name="Kline">{{Citation | first1=G. L. | last1=Kline | title=Review of Foundations of mathematics and mathematical logic by S. A. Yanovskaya | journal=[[Journal of Symbolic Logic]] | volume=16 | pages=46–48 | year=1951 | doi=10.2307/2268665 | jstor=2268665 | issue=1 | last2=Anovskaa | first2=S. A.}}</ref>


After he left Göttingen, Schönfinkel returned to Moscow. By 1927 he was reported to be mentally ill and in a sanatorium.<ref name="Archives"/><ref name="Kline"/> His later life was spent in poverty, and he died in Moscow some time in 1942. His papers were burned by his neighbors for heating.<ref name="Kline"/>
After he left Göttingen, Schönfinkel returned to Moscow. By 1927 he was reported to be mentally ill and in a sanatorium.<ref name="Archives"/><ref name="Kline"/> His later life was spent in poverty, and he died in Moscow some time in 1942. His papers were burned by his neighbors for heating.<ref name="Kline"/>

Revision as of 18:43, 19 January 2021

Moses Ilyich Schönfinkel
Novorossiysk University
Known forCombinatory logic
Technique for binding arguments
Bernays–Schönfinkel class
Scientific career
FieldsMathematics
InstitutionsUniversity of Göttingen

Moses Ilyich Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' (Russian: Моисей Исаевич Шейнфинкель; 29 September 1888 – 1942), was a

logician and mathematician, known for the invention of combinatory logic
.

Life

Schönfinkel attended the

Samuil Osipovich Shatunovskii (1859–1929), who worked in geometry and the foundations of mathematics. From 1914 to 1924, Schönfinkel was a member of David Hilbert's group at the University of Göttingen in Germany.[2] On 7 December 1920 he delivered a talk entitled Elemente der Logick("Elements of Logic")[3] to the group where he outlined the concept of combinatory logic. Heinrich Behmann, a member of Hilbert's group, later revised the text and published it in 1924.[4] In 1929, Schönfinkel had one other paper published, on special cases of the decision problem (Entscheidungsproblem), that was prepared by Paul Bernays.[5]

After he left Göttingen, Schönfinkel returned to Moscow. By 1927 he was reported to be mentally ill and in a sanatorium.[4][5] His later life was spent in poverty, and he died in Moscow some time in 1942. His papers were burned by his neighbors for heating.[5]

Work

Schönfinkel developed a formal system that avoided the use of

predicate logic.[4]

His paper also showed that functions of two or more arguments could be replaced by functions taking a single argument.[6][7][8] This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry. While Curry attributed the concept to Schönfinkel, it had already been used by Frege[9] (an example of Stigler's Law).

Publications

  • Moses Schönfinkel (1924). "Über die Bausteine der mathematischen Logik". Mathematische Annalen (in German). 92 (3–4): 305–316.
    S2CID 118507515. – Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard University Press
    , pp. 355–66.
  • S2CID 122312654
    .

See also

References

  1. ^ Wolfram, Stephen (December 7, 2020). "Where Did Combinators Come From? Hunting the Story of Moses Schônfinkel". Stephen Wolfram Writings.
  2. ^ Cardone, Felice; Hindley, J. Roger, "History of Lambda-calculus and Combinatory Logic", in Gabbay, Dov M.; Woods, John (eds.), Handbook of the History of Logic, vol. 5, Elsevier
  3. ^ Wolfram, Steven. "Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel". Retrieved 19 January 2021.
  4. ^ a b c Curry, Haskell (November 1927), Notes on Schönfinkel, 271128A (T271128A), Curry archives.[permanent dead link]
  5. ^
    JSTOR 2268665
  6. S2CID 14124601. There is a device originated by Schönfinkel, for reducing operators with several operands to the successive application of single operand operators. {{cite journal}}: Invalid |ref=harv (help
    ) (Reprinted lecture notes from 1967.)
  7. S2CID 43352033. In the last line we have used a trick called Currying (after the logician H. Curry) to solve the problem of introducing a binary operation into a language where all functions must accept a single argument. (The referee comments that although "Currying" is tastier, "Schönfinkeling" might be more accurate.) {{cite journal}}: Invalid |ref=harv (help
    )
  8. ^ Kenneth Slonneger and Barry L. Kurtz. Formal Syntax and Semantics of Programming Languages. 1995. p. 144.
  9. ^ Willard Van Orman Quine, introduction to "Bausteine der mathematischen Logik", pp. 305–316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort (1967), A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, pp. 355–66.

External links

Retrieved from "https://en.wikipedia.org/w/index.php?title=Moses_Schönfinkel&oldid=1001447816"