From owner-qed Mon Nov 21 13:55:53 1994
Received: from localhost (listserv@localhost) by antares.mcs.anl.gov (8.6.4/8.6.4) id NAA24135 for qed-out; Mon, 21 Nov 1994 13:55:08 -0600
Received: from Sunset.AI.SRI.COM (Sunset.AI.sri.com [128.18.61.76]) by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id NAA24119 for <qed@mcs.anl.gov>; Mon, 21 Nov 1994 13:54:57 -0600
Received: by Sunset.AI.SRI.COM (4.1/SMI-4.1)
	id AA16012 for qed@mcs.anl.gov; Mon, 21 Nov 94 11:53:40 PST
Date: Mon, 21 Nov 94 11:53:39 PST
From: Richard Waldinger <waldinge@ai.sri.com>
To: yodaiken@sphinx.nmt.edu (Victor Yodaiken)
Cc: Lyle Burkhead <LYBRHED@delphi.com>, qed@mcs.anl.gov
Subject: Re: Errors in Mathematics
In-Reply-To: Your message of Mon, 21 Nov 1994 03:00:01 -0700
Message-Id: <CMM.0.90.2.785447619.waldinge@Sunset.AI.SRI.COM>
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

I seem to remember that Abraham found a lot of bugs in Whitehead and Russell
when he ran it though a prrof-checker quite early on.  Many were trivial but
I seem to remember that they neglected to state the substitutiviy of
equivalence even though they used it freely.  ---Richard Waldinger