Theorem Proving

Famous quotes containing the words theorem and/or proving:

“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)

“Indeed, the best books have a use, like sticks and stones, which is above or beside their design, not anticipated in the preface, not concluded in the appendix. Even Virgil’s poetry serves a very different use to me today from what it did to his contemporaries. It has often an acquired and accidental value merely, proving that man is still man in the world.”
—Henry David Thoreau (1817–1862)