Timeline for Are any natural examples of Gödel speed-up known?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 21, 2011 at 9:36 | vote | accept | John Stillwell | ||
| May 19, 2011 at 7:04 | comment | added | Justin Hilburn | There is always estatis.coders.fm/falso | |
| May 19, 2011 at 5:27 | history | edited | John Stillwell | CC BY-SA 3.0 |
Added "Update and clarification".
|
| May 18, 2011 at 20:58 | comment | added | Ali Enayat | I doubt that the Goodstein statements of the form $T_{k}$ specified in Stillwell's Question satisfy Gödel-type speed-up. This is based on the observation that such statements are $\Sigma_1$, whereas the statements $T_{k}$ of Gödel's are $\Pi _{2}$ [also, in the paper cited by Stillwell, Buss's improved version of Gödel's theorem produces $\Pi _{1}$ statements]. | |
| May 18, 2011 at 11:11 | answer | added | Lucas K. | timeline score: 4 | |
| May 18, 2011 at 4:16 | answer | added | Richard Borcherds | timeline score: 18 | |
| May 18, 2011 at 0:53 | history | asked | John Stillwell | CC BY-SA 3.0 |