The book Out of Their Minds quotes Leslie Lamport on proofs:
The proofs have been carried out to an excruciating level of detail … The reader may feel that we have given long, tedious proofs of obvious assertions. However, what he has not seen are the many equally obvious assertions that we discovered to be wrong only by trying to write similarly long, tedious proofs.
See Lamport’s paper How to Write a Proof. See also Complementary validation.
{ 0 comments… add one now }