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: RfD: memory access words - v 20100620 (long)
    ... altogether from the naming convention. ... A sacrifice should have a good purpose to be worth it. ... M. Anton Ertl http://www.complang.tuwien.ac.at/anton/home.html ... New standard: http://www.forth200x.org/forth200x.html ...
    (comp.lang.forth)
  • 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)
  • convention for documenting function parameters in doc strings
    ... Is there an equivalent convention I ould be using in my Python ... I saw that Python 3 has function annotations, ... purpose within the language itself, ...
    (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)