Timeline for What is the history of the Y-combinator?
Current License: CC BY-SA 2.5
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Mar 24, 2011 at 13:30 | answer | added | Andreas Blass | timeline score: 12 | |
| Mar 24, 2011 at 8:16 | answer | added | Chris Stephenson | timeline score: 6 | |
| Jul 28, 2010 at 21:40 | vote | accept | Dan Ramras | ||
| Jul 28, 2010 at 21:40 | comment | added | Dan Ramras | Well, not surprisingly, the history seems muddled at best. I can't see anything that supports the attribution (on en.wikipedia.org/wiki/Fixed_point_combinator) of the combinator Y = λf·(λx·f (x x)) (λx·f (x x)) to Curry. The book of Curry, Feys and Craig refers to a 1929 letter from Curry to Hilbert (in Section 5S), but it doesn't really sound like fixed point combinators were explicit in that letter. | |
| Jul 15, 2010 at 12:00 | history | edited | Charles Stewart |
edited tags
|
|
| Jul 14, 2010 at 19:56 | comment | added | Antonio E. Porreca | Dan, according to the paper by Cardone and Hindley I posted in my answer, that doesn’t seem to be the case. | |
| Jul 14, 2010 at 19:54 | answer | added | Antonio E. Porreca | timeline score: 10 | |
| Jul 14, 2010 at 19:15 | comment | added | Dan Ramras | I guess I should point out that Wikipedia attributes the Y combinator to Haskel Curry, but doesn't give a reference. | |
| Jul 14, 2010 at 19:08 | history | asked | Dan Ramras | CC BY-SA 2.5 |