Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! qed-owner@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Thu, 12 Aug 1993 21:45:48 +0100
Received: by antares.mcs.anl.gov id AA15281 (5.65c/IDA-1.4.4 for qed-outgoing);
          Thu, 12 Aug 1993 15:36:11 -0500
Received: from optima.CS.Arizona.EDU by antares.mcs.anl.gov with SMTP 
          id AA15274 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Thu, 12 Aug 1993 15:36:08 -0500
Received: from leibniz.CS.Arizona.EDU by optima.CS.Arizona.EDU (5.65c/15) 
          via SMTP id AA20623; Thu, 12 Aug 1993 13:36:05 MST
Date: Thu, 12 Aug 1993 13:36:05 MST
From: Richard Schroeppel <rcs@cs.arizona.edu>
Message-Id: <199308122036.AA07242@leibniz.cs.arizona.edu>
Received: by leibniz.cs.arizona.edu; Thu, 12 Aug 1993 13:36:05 MST
To: qed@mcs.anl.gov
Subject: False Theorems
Sender: qed-owner@mcs.anl.gov

I believe that Les Earnest has reported on finding bad proofs in the
published math literature.  Perhaps we should ask him for details.

Rich Schroeppel   rcs@cs.arizona.edu