Timeline for Examples of "exotic" induction
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 22, 2013 at 13:58 | history | made wiki | Post Made Community Wiki by S. Carnahan♦ | ||
| Jan 21, 2013 at 21:19 | comment | added | Will Sawin | For every $(x,y)$, by symbolically applying the recursive definition of the Ackermann function enough times, one eventually reaches an integer. | |
| Jan 21, 2013 at 19:45 | history | answered | Goldstern | CC BY-SA 3.0 |