Timeline for What is lambda calculus related to?
Current License: CC BY-SA 2.5
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 14, 2015 at 14:27 | history | edited | user9072 |
edited tags
|
|
| Dec 3, 2010 at 3:49 | answer | added | Karl S | timeline score: 3 | |
| Sep 2, 2010 at 3:47 | answer | added | sleepless in beantown | timeline score: 2 | |
| Mar 13, 2010 at 13:55 | comment | added | kakaz | I was always amazed why such simple thing like change of interpretation may have influence on opinion about consistency of mathematical theory: en.wikipedia.org/wiki/Kleene%E2%80%93Rosser_paradox see: "An alternate solution is to re-interpret lambda calculus not as a theory of logical assertions, but rather as a means of expressing computation. In this way, the paradox can be "solved" by reinterpreting it as a recursive statement, that is, the infinite recursion implying". So how semantic and syntactic are really related? | |
| Feb 10, 2010 at 11:06 | history | edited | Charles Stewart |
edited tags
|
|
| Nov 18, 2009 at 15:16 | answer | added | Konrad Voelkel | timeline score: 10 | |
| Nov 18, 2009 at 7:14 | history | edited | Darsh Ranjan |
edited tags
|
|
| Oct 19, 2009 at 2:20 | answer | added | physis | timeline score: 8 | |
| Oct 18, 2009 at 7:04 | vote | accept | Marcus Booster | ||
| Oct 18, 2009 at 4:15 | answer | added | John Goodrick | timeline score: 7 | |
| Oct 18, 2009 at 3:39 | answer | added | Theo Johnson-Freyd | timeline score: 6 | |
| Oct 18, 2009 at 2:48 | answer | added | Tom Leinster | timeline score: 18 | |
| Oct 18, 2009 at 2:14 | history | asked | Marcus Booster | CC BY-SA 2.5 |