Nature and Purpose
There are two different conceptions of mathematical proof. The first is an informal proof, a rigorous natural-language expression that is intended to convince the audience of the truth of a theorem. Because of their use of natural language, the standards of rigor for informal proofs will depend on the audience of the proof. In order to be considered a proof, however, the argument must be rigorous enough; a vague or incomplete argument is not a proof. Informal proofs are the type of proof typically encountered in published mathematics. They are sometimes called "formal proofs" because of their rigor, but logicians use the term "formal proof" to refer to a different type of proof entirely.
In logic, a formal proof is not written in a natural language, but instead uses a formal language consisting of certain strings of symbols from a fixed alphabet. This allows the definition of a formal proof to be precisely specified without any ambiguity. The field of proof theory studies formal proofs and their properties. Although each informal proof can, in theory, be converted into a formal proof, this is rarely done in practice. The study of formal proofs is used to determine properties of provability in general, and to show that certain undecidable statements are not provable.
A classic question in philosophy asks whether mathematical proofs are analytic or synthetic. Kant, who introduced the analytic-synthetic distinction, believed mathematical proofs are synthetic.
Proofs may be viewed as aesthetic objects, admired for their mathematical beauty. The mathematician Paul Erdős was known for describing proofs he found particularly elegant as coming from "The Book", a hypothetical tome containing the most beautiful method(s) of proving each theorem. The book Proofs from THE BOOK, published in 2003, is devoted to presenting 32 proofs its editors find particularly pleasing.
Read more about this topic: Mathematical Proof
Famous quotes containing the words nature and, nature and/or purpose:
“But speak the truth, and all nature and all spirits help you with unexpected furtherance. Speak the truth, and all things alive or brute are vouchers, and the very roots of the grass underground there do seem to stir and move to bear you witness.”
—Ralph Waldo Emerson (1803–1882)
“[University students] hated the hypocrisy of adult society, the rigidity of its political institutions, the impersonality of its bureaucracies. They sought to create a society that places human values before materialistic ones, that has a little less head and a little more heart, that is dominated by self-interest and loves its neighbor more. And they were persuaded that group protest of a militant nature would advance those goals.”
—Muriel Beadle (b. 1915)
“The purpose of a work of fiction is to appeal to the lingering after-effects in the reader’s mind as differing from, say, the purpose of oratory or philosophy which respectively leave people in a fighting or thoughtful mood.”
—F. Scott Fitzgerald (1896–1940)