When he was a child, Blaise Pascal once locked himself in his room for several days and would not allow anyone to enter. When he emerged, he had figured out all of Euclid’s geometrical propositions totally on his own.
Tags » Euclid
What is a mathematical proof? Way back when I was a college freshman, I could give you a precise answer: A proof of a statement S is a finite sequence of assertions S(1), S(2), … S(n) such that S(n) = S and each S(i) is either an axiom or else follows from one or more of the preceding statements S(1), …,S(i-1) by a direct application of a valid rule of inference. 1,115 more words