Timeline for Finite versions of Godel' s incompleteness
Current License: CC BY-SA 3.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2023 at 18:30 | comment | added | Timothy Chow | Here's a link to an old unpublished manuscript by Harvey Friedman: On the consistency, completeness, and correctness problems | |
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Feb 10, 2013 at 1:56 | history | edited | user9072 |
edited tags
|
|
| Jul 6, 2012 at 23:05 | comment | added | Mirco A. Mannucci | excellent refs, thanks Kaveh! I will have to rectify my question accordingly | |
| Jul 6, 2012 at 23:04 | comment | added | Kaveh | Harvey Friedman also has some results about finite consistency theorems. Pavel gave a few lectures on related topics last summer, I don't know if the the notes are online. Generally the question becomes more interesting when the complexity of the proof depends on the complexity of the statement (i.e. its length) so avoids the issue that David mentions in his answer. | |
| Jul 6, 2012 at 22:50 | comment | added | Kaveh | here is one: math.cas.cz/~pudlak/fin-con.pdf there are a number of other papers IIRC. | |
| Jun 29, 2012 at 22:21 | comment | added | Mirco A. Mannucci | @Kaveh : can you give me (us) the exact reference? Thank You | |
| Jun 29, 2012 at 22:03 | comment | added | Kaveh | Check Pavel Pudlak and Sam Buss's papers about finitistic Godel's theorem. | |
| Jun 29, 2012 at 21:00 | history | edited | Asaf Karagila♦ |
edited tags
|
|
| Jun 29, 2012 at 14:15 | vote | accept | Mirco A. Mannucci | ||
| Jun 29, 2012 at 6:12 | answer | added | Elemer E Rosinger | timeline score: 0 | |
| Jun 29, 2012 at 5:24 | answer | added | abo | timeline score: 1 | |
| Jun 28, 2012 at 23:50 | answer | added | Joel David Hamkins | timeline score: 18 | |
| Jun 28, 2012 at 23:41 | history | asked | Mirco A. Mannucci | CC BY-SA 3.0 |