Timeline for Should a theorem be numbered by where it is first stated or where it is proven?
Current License: CC BY-SA 3.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 21, 2014 at 4:26 | comment | added | Delio Mugnolo | I completely agree with Trevor Wilson. You give a theorem a number for the sake of later reference, but if a later reference is already easy and possible, why bother? | |
May 21, 2014 at 4:14 | comment | added | Mike Shulman | @TrevorWilson, as Andre pointed out in a comment on Jeff's answer, even if section 7 is long, one could instead say "the following result will be proved in section 7 on page \pageref{lemma7.2}." | |
S May 21, 2014 at 0:06 | history | suggested | CommunityBot | CC BY-SA 3.0 |
less ugly code formatting
|
May 20, 2014 at 23:54 | review | Suggested edits | |||
S May 21, 2014 at 0:06 | |||||
May 20, 2014 at 22:54 | comment | added | Trevor Wilson | I was imagining saying something right before Lemma 3.1 like "the following result will be proved in Section 7." However, I can see how what you are saying applies if Section 7 is long and the restatement of Lemma 3.1 doesn't come at the beginning of it. | |
May 20, 2014 at 22:49 | comment | added | Joe Silverman | @TrevorWilson Well, if I want someone to easily look towards the lemma and it's proof, referring to Lemma 7.2 will direct the reader to the right section, i.e., to the statement and proof. (And even if I don't do that in the paper, maybe someday someone will want to in another article.) Relabeling it as Lemma 3.1 is confusing because the numbering is out of order, and (just my preference) I don't like un-numbered statements. | |
May 20, 2014 at 22:27 | comment | added | Trevor Wilson | What's the point of giving the restatement its own number (say 7.2?) Wouldn't it be rather confusing to ever refer to "Lemma 7.2" if Lemma 7.2 is just a restatement of Lemma 3.1? Why not "\begin{lemma*}[Restatement of Lemma 3.1]" instead? | |
May 20, 2014 at 17:33 | history | edited | Evan Jenkins | CC BY-SA 3.0 |
Added code block
|
S May 20, 2014 at 17:31 | history | answered | Joe Silverman | CC BY-SA 3.0 | |
S May 20, 2014 at 17:31 | history | made wiki | Post Made Community Wiki by Joe Silverman |