Re: I was right, surrogate factoring proof

From: David Kastrup (dak_at_gnu.org)
Date: 02/13/05 

Date: Sun, 13 Feb 2005 19:28:50 +0100

"ošin" <ošin@ragnarok.com> writes:

>>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.

Oh, it would be ok for him to state what he was proving in the end, if
that fit his humor. I believe the lecture in which Wiles showed FLT
true _concluded_ with showing that FLT was true.

The problem is not that JSH does not state the theorem he intends to
prove up front. The problem is that he does not state it at all. 

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum

Relevant Pages