Timeline for Why do stacked quantifiers in PA correspond to ordinals up to $\epsilon_0$?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Aug 21, 2013 at 2:47 | history | bounty ended | Qiaochu Yuan | ||
| S Aug 21, 2013 at 2:47 | history | notice removed | Qiaochu Yuan | ||
| Aug 21, 2013 at 0:54 | vote | accept | Eliezer Yudkowsky | ||
| S Aug 14, 2013 at 5:42 | history | bounty started | Qiaochu Yuan | ||
| S Aug 14, 2013 at 5:42 | history | notice added | Qiaochu Yuan | Draw attention | |
| Aug 14, 2013 at 5:26 | comment | added | Eliezer Yudkowsky | I don't know if a full understanding of the side issue would cause me to understand the full problem. I might still not understand how to show in detail that cut elimination blows up at hydra-game rates. Also I might not be able to understand why PA's ordinal was no greater than $\epsilon_0$. | |
| Aug 11, 2013 at 2:05 | answer | added | Henry Towsner | timeline score: 22 | |
| Aug 9, 2013 at 14:58 | answer | added | David E Speyer | timeline score: 14 | |
| Aug 8, 2013 at 3:30 | comment | added | Will Sawin | Wouldn't understanding the side issue be sufficient to understand the full problem, because it would give an explicit example of a proof which needs a big ordinal? | |
| Aug 8, 2013 at 3:06 | answer | added | none | timeline score: 8 | |
| Aug 8, 2013 at 2:51 | review | First posts | |||
| Aug 8, 2013 at 3:29 | |||||
| Aug 8, 2013 at 2:31 | history | asked | Eliezer Yudkowsky | CC BY-SA 3.0 |