"The history of mathematics is full of philosophically and ethically troubling reports about bad proofs of theorems. For example, the states that every polynomial of degree n with complex coefficients has exactly n complex roots. D'Alembert published a proof in 1746, and the theorem became known as "D'Alembert's theorem," but the proof was wrong. Gauss published his first proof... in 1799, but this, too, had gaps. Gauss's subsequent proofs, in 1816 and 1849, were okay. It seems to have been difficult to determine if a proof... was correct. Why?"