Timeline for Why would one number theorems, propositions and lemmas separately?
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 10, 2019 at 14:05 | vote | accept | Jakub Konieczny | ||
Aug 6, 2019 at 19:45 | comment | added | Jim Stasheff | Useful for counting theorems? what's the diff between theorem and proposition? just emphasis? | |
Aug 6, 2019 at 4:57 | comment | added | Joshua Grochow | @MikeShulman: Agreed. I've also tried the "Theorem A (=Theorem 2.7)" "Theorem B (=Theorem 4.6)" approach in the past, which I still kind of like. I think changing to letters for the main results can help by not having two numbering systems, which could get confusing. (But still get the best of both worlds, as you suggest.) | |
Aug 6, 2019 at 1:01 | comment | added | Mike Shulman | Personally, I'm unconvinced that any such minor advantages would outweigh the resulting inability to find anything. However, I wonder how ugly and difficult it would be to use both numbering systems and get the best of both worlds? E.g. something like "2.7 Theorem 3" for the 3rd theorem which is also the 7th result in section 2. | |
S Aug 5, 2019 at 21:22 | history | answered | Timothy Chow | CC BY-SA 4.0 | |
S Aug 5, 2019 at 21:22 | history | made wiki | Post Made Community Wiki by Timothy Chow |