Timeline for Proof as a Σ₁ approximation to truth: what about higher degrees?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 11, 2020 at 8:48 | comment | added | YCor | @Gro-Tsen I quoted your post in this metaMO question about tagging, where you might provide useful feedback. | |
| Aug 7, 2018 at 19:22 | answer | added | James | timeline score: 1 | |
| Aug 7, 2018 at 18:50 | comment | added | Gro-Tsen | @JoelDavidHamkins Let's say I don't see any reason why there isn't an "obviously better" candidate, so I can't rule out someone answering (at least partially) by saying "the following $\Sigma_2$ subset of $\mathscr{T}$ is an obviously better approximation"; and conversely, there may be some good reason, if not completely formalizable, why the candidate I propose is "right". But indeed, I also can't rule out the possibility that my question has no satisfactory answer. 😕 | |
| Aug 7, 2018 at 18:39 | comment | added | Joel David Hamkins | Haven't you already answered your question with your candidate? Since you haven't formalized what counts as success, it would seem difficult either to object or improve upon it. | |
| Aug 7, 2018 at 17:08 | comment | added | Morteza Azad | (+1) Enjoyed reading this nice imaginative question! Particularly the last paragraph which somehow reminded me of E. A. Abbott's novel "Flatland: A Romance of Many Dimensions"! Keep up the good work, David! :-) | |
| Aug 7, 2018 at 15:19 | comment | added | user44143 | You can also get ideas for your story from Russell Impagliazzo’s five worlds in “A Personal View of Average-Case Complexity” | |
| Aug 7, 2018 at 15:16 | comment | added | user44143 | May I suggest $P \subseteq T \subseteq P^I$ as easier to read notation for these sets? | |
| Aug 7, 2018 at 14:58 | history | asked | Gro-Tsen | CC BY-SA 4.0 |