Wiles' proof of the Fermat Theorem

Zdzislaw Meglicki (Zdzislaw.Meglicki@cisr.anu.edu.au)
Mon, 14 Nov 1994 16:06:44 +1100 (EST)

In the last issue of the New Scientist, I've found a brief note that
Andrew Wiles has fixed the problem in his proof of the last Fermat
Theorem, which should really be renamed to "Fermat-Wiles" theorem, if
the proof is correct. Chatting about it with John Slaney, we came to the
conclusion that the verification of that proof would be an ideal Holy
Grail for QED. In other words, if you could use the QED system in order
to verify a proof as complex and convoluted as Wiles' proof, you'd
demonstrate to all mathematicians enormous usefulness of such a system.

Greetings to all,

Zdzislaw Meglicki, Zdzislaw.Meglicki@cisr.anu.edu.au,
Parallel Computing Research Facility, CISR && Plasma Theory Group, RSPhysSE
The Australian National University, Canberra, A.C.T., 0200,
Australia, fax: +61-6-249-0747, tel: +61-6-249-0158