Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: FLT Discussion: Simplifying
Replies: 65   Last Post: Mar 17, 2001 11:59 PM

 Messages: [ Previous | Next ]
 hale@mailhost.tcs.tulane.edu Posts: 229 Registered: 12/8/04
Re: FLT Discussion: Simplifying
Posted: Jan 16, 2001 9:33 PM

In article <942k1a\$i6f\$1@nnrp1.deja.com>,
jstevh@my-deja.com wrote:
> I think I should mention that there's also a question of trueness.
>
> Granted, there's the issue of whether or not a given person can prove
> this or that statement, but there's also the question of truth.
>
> Are those statements true, or not?

Since you are doing a proof by contradiction and you are assuming
at the start that you have integers x, y, and z that are solutions
of the Fermat equation, then even false statements will be true

We could make a distinction between "derivable" and "true".
Thus, we could say that all of your statements in your proof of
FLT might be derivable, some of which are true, and others false.

This gets back to what several people have requested that you do.
If a statement is true independent of the Fermat counterexample,
then you should separate out such statements as lemmas or
propositions. This would make analysis of your proof easier.

> But, hey, if they're true (ignoring the question of whether or not
> I've proven them for the moment) then a simple proof of Fermat's
> Last Theorem quickly follows.

This does not follow at all. There are many true statements in
mathematics that do not have simple proofs.

> However, you have seen people arguing for months that I haven't
> proven those statements, and the insinuation is that the
> statements are false.

There is no insinuation that your statements are false. In fact,
David Libert has already proved they are true by invoking Wiles
theorem.

> I doubt that many of you would believe that such simple math isn't
> provably true or not; therefore, I submit that it is reasonable to
> conclude that these people are claiming the statements are false.

It might be reasonable to you, but we are not claiming the statements
are false. We are claiming that you have not derived them.

--
Bill Hale

Sent via Deja.com
http://www.deja.com/

Date Subject Author
1/15/01 jstevh@my-deja.com
1/15/01 Dik T. Winter
1/16/01 Charles H. Giffen
1/16/01 jstevh@my-deja.com
1/16/01 Randy Poe
1/18/01 jstevh@my-deja.com
1/18/01 Michael Hochster
1/18/01 Peter Johnston
1/18/01 Randy Poe
1/18/01 Doug Norris
1/16/01 Doug Norris
1/16/01 Randy Poe
1/16/01 Dik T. Winter
1/18/01 jstevh@my-deja.com
1/19/01 Dik T. Winter
1/19/01 Randy Poe
1/20/01 jstevh@my-deja.com
1/20/01 oooF
1/21/01 hale@mailhost.tcs.tulane.edu
1/21/01 Peter Percival
1/21/01 Randy Poe
1/26/01 Franz Fritsche
1/19/01 gus gassmann
1/20/01 jstevh@my-deja.com
1/20/01 Doug Norris
1/26/01 Franz Fritsche
1/16/01 hale@mailhost.tcs.tulane.edu
1/16/01 Randy Poe
1/17/01 hale@mailhost.tcs.tulane.edu
1/18/01 jstevh@my-deja.com
1/19/01 hale@mailhost.tcs.tulane.edu
1/20/01 jstevh@my-deja.com
1/21/01 hale@mailhost.tcs.tulane.edu
1/18/01 Peter Percival
1/19/01 hale@mailhost.tcs.tulane.edu
3/17/01 Ross A. Finlayson
1/16/01 hale@mailhost.tcs.tulane.edu
1/18/01 jstevh@my-deja.com
1/19/01 hale@mailhost.tcs.tulane.edu
1/29/01 jstevh@my-deja.com
1/19/01 Dik T. Winter
1/21/01 Dennis Eriksson
1/15/01 Michael Hochster
1/16/01 jstevh@my-deja.com
1/16/01 Michael Hochster
1/18/01 jstevh@my-deja.com
1/18/01 Peter Percival
1/18/01 Randy Poe
1/19/01 oooF
1/21/01 Dik T. Winter
1/21/01 oooF
1/18/01 Edward Carter
1/19/01 W. Dale Hall
1/19/01 Michael Hochster
1/16/01 Randy Poe
1/16/01 Randy Poe
1/17/01 W. Dale Hall
1/17/01 W. Dale Hall
1/19/01 oooF
1/16/01 Charles H. Giffen
1/16/01 David Bernier
1/16/01 jstevh@my-deja.com
1/18/01 Arthur
1/30/01 plofap@my-deja.com
1/30/01 plofap@my-deja.com
1/30/01 plofap@my-deja.com