I believe the published mathematics literature contains a significant
number of errors. Most are at the typo level, but there are some
number of missing terms, missing hypotheses, and important wrong words.
Long calculations, and tables, frequently have errors. Many journals
have a section for Errata & Corrections. If QED could fix these prior
to publication, we would be better off.
> It is an illusion to think that QED is needed to "verify" a proof,
such as the Wiles proof, that has received the intense scrutiny of
many competent mathematicians.
How many mathematicians are competent to check the Wiles-Taylor-Ribet-...
Theorem in every important detail? Twenty? How many *will* do it?
Two?
Rich Schroeppel rcs@cs.arizona.edu