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 ); 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" 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