Re: I was right, surrogate factoring proof

From: ošin (ošin_at_ragnarok.com)
Date: 02/13/05 

Date: Sun, 13 Feb 2005 10:01:32 -0800

>It's a social convention to begin with the theorem being proven.

Yes, it is a very standard convention, which serves a purpose. It is good to
know up front where a proof is trying to get to. Would you please be kind
and follow that convention here? If you cannot provide a theorem up front, I
will make the conclusion that you have no idea what you are trying to prove.

Relevant Pages

  • Re: Proposed FAQ addition
    ... The membership is more important than ... Essentially, it is that tangentially on-topic and regularly acrimonious discussions were damaging the use of the group for its main purpose, i.e. helping people actually compose SF, and driving valued posters away. ... Originally we were just going to create a new group specifically for this purpose, but .misc seemed to have fallen into disuse, and nobody there objected. ... Part of the convention, which this thread began by being about fine-tuning for purposes of adding it to the FAQ, is that there are two ways we know a discussion is overheating enough to take into the next room: ...
    (rec.arts.sf.composition)
  • Re: Does Python really follow its philosophy of "Readability counts"?
    ... Paul Rubin wrote: ... convention is by definition unconventional. ... unconventional in a program, it could be on purpose for a reason, or ...
    (comp.lang.python)
  • Re: The Falsifiable Theory of Design/Existance
    ... >>> purpose. ... > root of x. ... But that is _just_ convention, ... > I think you are confusing the solution to the polynomial equation: ...
    (talk.origins)
  • Re: I was right, surrogate factoring proof
    ... Yes, it is a very standard convention, which serves a purpose. ...
    (sci.math)
  • Re: Does Python really follow its philosophy of "Readability counts"?
    ... convention is by definition unconventional. ... unconventional in a program, it could be on purpose for a reason, or ... it could be by accident indicating a bug. ... you do have good reason. ...
    (comp.lang.python)
Quantcast