Re: Errors in Mathematics

Richard Waldinger (
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