From qed-owner Thu Aug 12 15:45:51 1993
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

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