Timeline for What are good ways to present proofs of theorems requiring auxiliary lemmas?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 6, 2013 at 17:58 | vote | accept | I Like to Code | ||
| Aug 2, 2013 at 12:10 | comment | added | M.G. | In the introduction/statement of the main results, one can always state the most important theorems in any order one sees fit. So, there is hardly a single reason why to break the logical flow of things later when all the lemmas and theorems are presented rigorously with their proofs. If anything, it makes following the rigor only more difficult. Putting lemmas and their proofs inside other proofs is just bad style. | |
| Aug 2, 2013 at 0:28 | history | answered | MTS | CC BY-SA 3.0 |