Timeline for Is no proof based on "tertium non datur" sufficient any more after Gödel?
Current License: CC BY-SA 2.5
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 21, 2010 at 14:13 | comment | added | Thomas Riepe | Just found and not yet read, <a href="rsta.royalsocietypublishing.org/content/363/1835/…" title="abstract">here</a> an article on Skolem's thoughts on the meaning of that incompleteness. BTW, I found that incompleteness theorem (after I had learned it's precise formulation) not very surprising, but would have been shocked about a completeness theorem, as the later would show that elementary number theory were "trivial" and just like some chess game. | |
| Apr 15, 2010 at 18:48 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 3 characters in body
|
| Apr 15, 2010 at 18:23 | comment | added | Harry Gindi | So these comments make sense, I'll explain the comments I deleted: I made a comment regarding some set-theoretic nonsense because I misread the post and didn't see that Minhyong was assuming the axioms of group theory instead of set theory. | |
| Apr 15, 2010 at 18:14 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 1795 characters in body; Post Made Community Wiki
|
| Apr 15, 2010 at 10:04 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 2 characters in body
|
| Apr 15, 2010 at 8:28 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 6 characters in body; added 8 characters in body
|
| Apr 15, 2010 at 8:23 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 79 characters in body; deleted 4 characters in body
|
| Apr 15, 2010 at 8:12 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 450 characters in body; deleted 13 characters in body
|
| Apr 15, 2010 at 8:03 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 1197 characters in body
|
| Apr 14, 2010 at 22:25 | comment | added | Peter Samuelson | Isn't it pretty clear that "xy=yx" refers to multiplying group elements together? | |
| Apr 14, 2010 at 22:04 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 85 characters in body
|
| Apr 14, 2010 at 22:01 | comment | added | Minhyong Kim | I'm afraid you're far too sophisticated for me. But I'll leave it to a professional to write down the absolutely correct version of group theory and its language in a way that my assertions make good sense. | |
| Apr 14, 2010 at 21:56 | history | edited | Minhyong Kim | CC BY-SA 2.5 |
added 74 characters in body
|
| Apr 14, 2010 at 21:42 | history | answered | Minhyong Kim | CC BY-SA 2.5 |