Timeline for the choice of representing formulas and Gödel's second incompleteness theorem
Current License: CC BY-SA 3.0
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 12, 2013 at 14:23 | vote | accept | user40921 | ||
Oct 6, 2013 at 2:01 | history | edited | Suvrit | CC BY-SA 3.0 |
fixed spelling
|
Oct 6, 2013 at 1:40 | answer | added | Joel David Hamkins | timeline score: 7 | |
Oct 5, 2013 at 22:31 | history | edited | Andrés E. Caicedo | CC BY-SA 3.0 |
edited body
|
S Oct 5, 2013 at 22:31 | history | suggested | Noel Vaillant | CC BY-SA 3.0 |
correcting typo
|
Oct 5, 2013 at 22:21 | review | Suggested edits | |||
S Oct 5, 2013 at 22:31 | |||||
Oct 5, 2013 at 19:53 | review | First posts | |||
Oct 5, 2013 at 20:04 | |||||
Oct 5, 2013 at 19:48 | history | edited | user40921 | CC BY-SA 3.0 |
edited title
|
Oct 5, 2013 at 19:36 | history | asked | user40921 | CC BY-SA 3.0 |