Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Mon, 14 Nov 1994 16:59:34 +0000
Received: from localhost (listserv@localhost) 
          by antares.mcs.anl.gov (8.6.4/8.6.4) id KAA29234 for qed-out;
          Mon, 14 Nov 1994 10:51:51 -0600
Received: from chelm.nmt.edu (chelm.nmt.edu [129.138.6.50]) 
          by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id KAA29229 
          for <qed@mcs.anl.gov>; Mon, 14 Nov 1994 10:51:43 -0600
Received: (from yodaiken@localhost) by chelm.nmt.edu (8.6.8.1/8.6.6) 
          id JAA06851; Mon, 14 Nov 1994 09:55:12 -0700
Message-Id: <199411141655.JAA06851@chelm.nmt.edu>
From: yodaiken@sphinx.nmt.edu (Victor Yodaiken)
Date: Mon, 14 Nov 1994 09:55:11 -0700
In-Reply-To: kunen@cs.wisc.edu (Ken Kunen) "The Fermat-Wiles Theorem" (Nov 14, 10:36am)
reply_to: yodaiken@chelm.nmt.edu
X-Mailer: Mail User's Shell (7.2.5 10/14/92)
To: kunen@cs.wisc.edu (Ken Kunen), qed@mcs.anl.gov
Subject: Re: The Fermat-Wiles Theorem
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

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.