Timeline for What is the history of the Y-combinator?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jan 10, 2015 at 18:00 | history | suggested | Mark Dominus | CC BY-SA 3.0 |
repair broken link
|
| Jan 10, 2015 at 17:45 | review | Suggested edits | |||
| S Jan 10, 2015 at 18:00 | |||||
| S Dec 22, 2013 at 12:39 | history | suggested | Alexey Muranov | CC BY-SA 3.0 |
provide a new web link instead of the obsolete one
|
| Dec 22, 2013 at 12:35 | review | Suggested edits | |||
| S Dec 22, 2013 at 12:39 | |||||
| Jul 28, 2010 at 21:40 | vote | accept | Dan Ramras | ||
| Jul 14, 2010 at 22:12 | comment | added | Dan Ramras | In Safari, those lambdas show up as subscripts... Weird. | |
| Jul 14, 2010 at 21:20 | comment | added | Dan Ramras |
Thanks for this link! Looks very interesting. It seems the history is a bit muddled, which I guess is not surprising. The discussion on p. 8 gives Turing credit for the earliest published fixed point combinator, and attributes the Y combinator, usually written $\lambda f.(\lambda x. f(xx))(\lambda x.f(xx))$, to Rosenbloom in 1950! But the earliest reference it suggests is a 1929 letter from Curry to Hilbert. I'll stop by the library later to see what Curry's book says about this letter (sadly, the book isn't in Google Books).
|
|
| Jul 14, 2010 at 19:54 | history | answered | Antonio E. Porreca | CC BY-SA 2.5 |