Timeline for Theoretically output Graham's number
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 28, 2016 at 18:22 | comment | added | cat | This challenge seems excessively simple in lambda calculus. Why? | |
| Jun 28, 2016 at 2:53 | history | edited | Anders Kaseorg | CC BY-SA 3.0 | deleted 1 character in body |
| Jun 27, 2016 at 23:33 | history | edited | Anders Kaseorg | CC BY-SA 3.0 | added 250 characters in body |
| Jun 27, 2016 at 23:26 | comment | added | Anders Kaseorg | @LeakyNun No. (n f->3 (n f)) is a function for multiplication by three in Church numerals. | |
| Jun 27, 2016 at 23:14 | comment | added | Leaky Nun | (n f->3 (n f)) shouldn't it read n-1? | |
| Jun 27, 2016 at 23:06 | history | answered | Anders Kaseorg | CC BY-SA 3.0 |