Timeline for Theorems that are 'obvious' but hard to prove
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10, 2011 at 14:04 | history | edited | Jim Conant | CC BY-SA 2.5 |
added 45 characters in body
|
| Jan 10, 2011 at 13:40 | comment | added | Daniel Moskovich | I stand corrected. It didn't make it into the original edition of Knotentheorie, but was proved 6 years earlier by Reidemeister (1926), and independently by Alexander and Briggs (1927), as I found by nosing around in the math library this morning. All details are there, including general position arguments. Wikipedia, to my surprise, is entirely accurate: en.wikipedia.org/wiki/Reidemeister_move | |
| Jan 10, 2011 at 1:20 | comment | added | Jim Conant | Actually, Reidemeister's "Knotentheorie" is my source for this, but it is somewhat dimly recalled. | |
| Jan 10, 2011 at 0:52 | comment | added | Daniel Moskovich | Are you sure? I think Reidemeister did prove it in Knottentheorie (1932), entirely combinatorially. There is a "general position" issue, which is an issue for all of PL topology- but it's no harder for the Reidemeister Theorem than anywhere else. See mathoverflow.net/questions/15217/… | |
| Jan 9, 2011 at 22:57 | history | answered | Jim Conant | CC BY-SA 2.5 |