Timeline for Godel on recursion-theoretic hierarchies
Current License: CC BY-SA 3.0
20 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 2, 2021 at 1:39 | vote | accept | Noah Schweber | ||
| Apr 12, 2017 at 17:13 | answer | added | cmn1 | timeline score: 10 | |
| S Nov 13, 2013 at 15:16 | history | bounty ended | CommunityBot | ||
| S Nov 13, 2013 at 15:16 | history | notice removed | CommunityBot | ||
| Nov 5, 2013 at 20:07 | comment | added | Steven Stadnicki | It seems as though as soon as one gets away from primitive recursion the details start to become deeply entangled with the specific formal system being used - as you note, it tangles around questions of provable totality, predicativity, etc. | |
| S Nov 5, 2013 at 14:05 | history | bounty started | Victor | ||
| S Nov 5, 2013 at 14:05 | history | notice added | Victor | Reward existing answer | |
| S Jul 19, 2013 at 15:31 | history | bounty ended | CommunityBot | ||
| S Jul 19, 2013 at 15:31 | history | notice removed | CommunityBot | ||
| Jul 16, 2013 at 9:06 | comment | added | Noah Schweber | (I don't mind, but: would whoever downvoted please explain?) | |
| Jul 11, 2013 at 18:47 | comment | added | Noah Schweber | Also, thanks for bountying this, Frank! | |
| Jul 11, 2013 at 18:46 | comment | added | Noah Schweber | That's an interesting article, but I don't think it's relevant: it doesn't have anything to do with Goedel's interactions with recursion/computability theory. I'm specifically asking if Goedel ever investigated whether a sensible linear hierarchy on the computable sets, and separately, what is known today about the existence of such a hierarchy. The linked paper doesn't seem to address these questions. (It is a nice paper, though!) | |
| Jul 11, 2013 at 15:57 | comment | added | Carlo Beenakker | this later article by Kanamori might be helpful: ams.org/notices/200604/fea-kanamori.pdf | |
| S Jul 11, 2013 at 13:35 | history | bounty started | CommunityBot | ||
| S Jul 11, 2013 at 13:35 | history | notice added | user10891 | Canonical answer required | |
| Apr 2, 2013 at 19:19 | comment | added | Noah Schweber | No, I haven't; I'm hesitant to ask for a citation for a claim made in an article now almost 20 years old, but I admit I don't know the etiquette here. Would this be appropriate? | |
| Apr 2, 2013 at 9:35 | comment | added | user10891 | Have you emailed the author about the first question? | |
| Mar 26, 2013 at 6:16 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 303 characters in body
|
| Mar 26, 2013 at 5:48 | comment | added | Andrés E. Caicedo | Nice question!$ $ | |
| Mar 26, 2013 at 4:52 | history | asked | Noah Schweber | CC BY-SA 3.0 |