Timeline for How many orders of infinity are there?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 26, 2016 at 23:15 | comment | added | Joel David Hamkins | There doesn't appear to be any evidence in those references supporting the claim in the answer that the resulting large-cardinal busy-beaver-like functions are cofinal in the computable functions. | |
| May 23, 2013 at 5:22 | comment | added | Eric Tressler | Scott Aaronson also mentions it in "Who Can Name the Bigger Number"(scottaaronson.com/writings/bignumbers.html) | |
| May 23, 2013 at 5:15 | comment | added | Eric Tressler | This is the busy beaver function, and has an excellent Wikipedia article at en.wikipedia.org/wiki/Busy_beaver. | |
| Jun 27, 2010 at 12:07 | comment | added | Joel David Hamkins | Could you provide any reference work that explores this idea further? | |
| Jun 26, 2010 at 18:30 | history | answered | reb | CC BY-SA 2.5 |