Re: Errors in Mathematics
Richard Waldinger (waldinge@ai.sri.com)
Mon, 21 Nov 94 11:53:39 PST
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