Re: I was right, surrogate factoring proof
From: David Kastrup (dak_at_gnu.org)
Date: 02/13/05
- Next message: Randy Howard: "Re: Thou shalt have no other gods before the ANSI C standard"
- Previous message: Hank Oredson: "Re: Thou shalt have no other gods before the ANSI C standard"
- In reply to: ošin: "Re: I was right, surrogate factoring proof"
- Next in thread: ošin: "Re: I was right, surrogate factoring proof"
- Reply: ošin: "Re: I was right, surrogate factoring proof"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
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
- Next message: Randy Howard: "Re: Thou shalt have no other gods before the ANSI C standard"
- Previous message: Hank Oredson: "Re: Thou shalt have no other gods before the ANSI C standard"
- In reply to: ošin: "Re: I was right, surrogate factoring proof"
- Next in thread: ošin: "Re: I was right, surrogate factoring proof"
- Reply: ošin: "Re: I was right, surrogate factoring proof"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Relevant Pages
|
