Timeline for Demonstrating that rigour is important
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| May 3, 2012 at 17:35 | comment | added | Ronnie Brown | I have described my search in 1965-74 for higher order Seifert-van Kampen theorems as: "An idea for a proof in search of a theorem." It took 9 years to find the gadgets to get a theorem. I think it is quite good to look at the work we do as a search for theorems. There is an apochryphal dedication of a PhD Thesis: "I am deeply grateful to Professor X, whose wrong conjectures and fallacious proofs, led me to the theorems he had overlooked." Sounds like excellent supervision!! It also leads to the question: What is a theorem? | |
| Jan 8, 2012 at 14:15 | history | answered | Alexander Chervov | CC BY-SA 3.0 |