Q.E.D.: Difference between revisions
Line 31: | Line 31: | ||
<!-- Please do not add any more foreign versions, as it clutters the page and adds nothing but a list of indiscriminate information which duplicates (relevant) information already contained in the language Wikis linked to this page. Please do not add any claim concerning the joke "Quite Easily Done", which is unworthy of inclusion./--> |
<!-- Please do not add any more foreign versions, as it clutters the page and adds nothing but a list of indiscriminate information which duplicates (relevant) information already contained in the language Wikis linked to this page. Please do not add any claim concerning the joke "Quite Easily Done", which is unworthy of inclusion./--> |
||
As mathematics has come to be written in languages other than Latin, Q.E.D. has acquired many translations; in French and German (two languages a mathematician might see often) it is respectively C.Q.F.D, for "ce qu'il fallait démontrer" (or sometimes "ce qui finit la démonstration"), and W.Z.B.W, for "was zu beweisen war". There does not appear to be a common formal English equivalent, though the end of a proof may be announced with a simple statement such as "this completes the proof" or a similar locution. The equivalent in [[Ancient Greek]] was "ὅπερ ἔδει δεῖξαι" and could be translated as " |
As mathematics has come to be written in languages other than Latin, Q.E.D. has acquired many translations; in French and German (two languages a mathematician might see often) it is respectively C.Q.F.D, for "ce qu'il fallait démontrer" (or sometimes "ce qui finit la démonstration"), and W.Z.B.W, for "was zu beweisen war". There does not appear to be a common formal English equivalent, though the end of a proof may be announced with a simple statement such as "this completes the proof" or a similar locution. The equivalent in [[Ancient Greek]] was "ὅπερ ἔδει δεῖξαι" and could be translated as "which had to be proven". In modern greek texts sometimes the "ο.ε.δ." initials are used at the end of a mathematical proof. |
||
== Electronic forms == |
== Electronic forms == |
Revision as of 16:37, 18 March 2008
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/40px-Wiktionary-logo-en-v2.svg.png)
Q.E.D. is an abbreviation of the Latin phrase "quod erat demonstrandum" (literally, "that which was to be demonstrated"). The phrase is written in its abbreviated form at the end of a mathematical proof or philosophical argument, to signify that the last statement deduced was the one to be demonstrated, so the proof is complete.
Etymology and early use
The phrase is a translation into Latin of the original Greek ὅπερ ἔδει δειξαι. ([hoper edei deixai] Error: {{Lang}}: text has italic markup (help)) which was used by many early mathematicians including Euclid[1] and Archimedes. These mathematicians, in particular Euclid, are credited with founding axiomatic mathematics with its emphasis on establishing truths by logical deduction (rather than experimentation or assertion); their use of this phrase symbolizes this emphasis, as well as marking this important step in the development of mathematical philosophy.
Modern philosophy
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a0/Philippe_van_Lansberge_1604_QED.png/400px-Philippe_van_Lansberge_1604_QED.png)
In the European renaissance, mathematical books were typically written in Latin, and phrases such as "quod erat demonstrandum" were often used to conclude proofs.
Perhaps the most famous use of Q.E.D. in a philosophical argument is found in the Ethics of Baruch Spinoza, published posthumously in 1677. Written in Latin, it is considered his magnum opus.
The style and system of the book is, as Spinoza says, "demonstrated in geometrical order", with axioms and definitions followed by propositions. For Spinoza, this is a considerable improvement over René Descartes's writing style in the Meditations, which follows the form of a diary.[2]
Current usage
Currently, it has become so symbolic of irrefutable logic that "Q.E.D." is occasionally used in non-mathematical contexts as well to intensify assertions; in this context it has little connection with rigorous deduction, however, and is more tongue-in-cheek.
Q.E.F.
There is another Latin phrase with a slightly different meaning, and less common in usage. Quod erat faciendum is translated as "which was to be done." This is usually shortened to Q.E.F.. As with Q.E.D., Q.E.F. is a translation of the Greek geometers' closing ὅπερ ἔδει ποιῆσαι ([hoper edei poiēsai] Error: {{Lang}}: text has italic markup (help)). Euclid used this phrase to close propositions which were not precisely "proofs", but rather exemplar constructions. The distinction between Q.E.D. and Q.E.F. is roughly equivalent to the distinction between a proof and an illustration of the proof.
Q.E.D. in languages other than Latin
As mathematics has come to be written in languages other than Latin, Q.E.D. has acquired many translations; in French and German (two languages a mathematician might see often) it is respectively C.Q.F.D, for "ce qu'il fallait démontrer" (or sometimes "ce qui finit la démonstration"), and W.Z.B.W, for "was zu beweisen war". There does not appear to be a common formal English equivalent, though the end of a proof may be announced with a simple statement such as "this completes the proof" or a similar locution. The equivalent in Ancient Greek was "ὅπερ ἔδει δεῖξαι" and could be translated as "which had to be proven". In modern greek texts sometimes the "ο.ε.δ." initials are used at the end of a mathematical proof.
Electronic forms
With computers frequently being used to "write" proofs (see LaTeX), there are several symbolic alternatives in use. The most popular symbol is ■ (solid black square), also called tombstone or Halmos symbol (after Paul Halmos, who pioneered its use). The tombstone is sometimes open: □ (hollow black square). Unicode explicitly provides the "End of Proof" character U+220E (∎), but also offers ▮ (U+25AE, black vertical rectangle) and ‣ (U+2023, triangular bullet) as alternatives. Some authors have adopted variants of this notation with other symbols, such as two forward slashes (//), or simply some vertical white space. Professor Paul Sally at the University of Chicago is known for ending proofs with a pirate face symbol.[3]
Notes
- ^ Elements 2.5 by Euclid (ed. J. L. Heiberg), retrieved 16 July 2005
- ^ The Chief Works of Benedict De Spinoza, translated by R. H. M. Elwes, 1951 (available online - links found on the Wikipedia page Ethics (book)).
- ^ Sally, Paul. "Foundations of Mathematical Analysis." Textbook for Math 199. University of Chicago Department of Mathematics. Chicago, IL.