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:
“A cheerful intelligent face is the end of culture, and success enough. For it indicates the purpose of Nature and wisdom attained.”
—Ralph Waldo Emerson (1803–1882)
“If not against us, nature is not for us.”
—Herman Melville (1819–1891)
“Any historian of the literature of the modern age will take virtually for granted the adversary intention, the actually subversive intention, that characterizes modern writing—he will perceive its clear purpose of detaching the reader from the habits of thought and feeling that the larger culture imposes, of giving him a ground and a vantage point from which to judge and condemn, and perhaps revise, the culture that produces him.”
—Lionel Trilling (1905–1975)