Re: The Fermat-Wiles Theorem
Piotr Rudnicki (piotr@cs.ualberta.ca)
Mon, 14 Nov 1994 12:09:33 -0700 (MST)
>
> On Nov 14, 10:36am, Ken Kunen wrote:
> Subject: The Fermat-Wiles Theorem
>
> This appears to be a case of the contagious C.S. disease first
> exhibited by Babbage who applied for a grant for the
> more ambitious project after the modest project failed.
> When we can verify the theorems in Graham/Knuth/Pashniak
> or those in, say, an introductory calc or graph theory
> book, it might be reasonable to speak of Wiles theorem.
>
How about a qed for highschool mathematics?
Which of the existing proof-checking/finding systems makes doing
highschool mathematics painless?
I am afraid that even if such a system existed, it would not make it to NYT.
--
Piotr (Peter) Rudnicki