Re: The Fermat-Wiles Theorem

Piotr Rudnicki (
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