Timeline for Why did Alonzo Church choose the letter $\lambda$ as the "binding operator"?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| May 11, 2016 at 21:24 | history | edited | Alexey Muranov | CC BY-SA 3.0 |
add more detailed references to Principia Mathematica
|
| May 11, 2016 at 14:46 | comment | added | Andreas Blass | In his book "A Theory of Sets",A. P. Morse proposed that the abstraction operator $\lambda$ be read as "Lonzo". (But of course Alonzo Church had nothing to do with that idea.) | |
| May 11, 2016 at 8:40 | history | edited | Alexey Muranov | CC BY-SA 3.0 |
fix a link
|
| Dec 23, 2013 at 12:46 | vote | accept | Alexey Muranov | ||
| Dec 20, 2013 at 0:23 | history | answered | Alexey Muranov | CC BY-SA 3.0 |