WikiMili
For other uses, see QED.
Q.E.D. or QED is an initialism of the Latin phrase quod erat demonstrandum, meaning "that which was to be demonstrated". Literally it states "what was to be shown". [1] Traditionally, the abbreviation is placed at the end of mathematical proofs and philosophical arguments in print publications, to indicate that the proof or the argument is complete.
Contents
- Etymology and early use
- Modern philosophy
- Difference from Q.E.F.
- Equivalent forms
- Typographical forms used symbolically
- Modern humorous use
- See also
- References
- External links
Etymology and early use
The phrase quod erat demonstrandum is a translation into Latin from the Greek ὅπερ ἔδει δεῖξαι (hoper edei deixai; abbreviated as ΟΕΔ). Translating from the Latin phrase into English yields "that was to be demonstrated". However, translating the Greek phrase ὅπερ ἔδει δεῖξαι can produce a slightly different meaning. In particular, since the verb "δείκνυμι" also means to show or to prove, [2] a different translation from the Greek phrase would read "The very thing it was required to have shown." [3]
The Greek phrase was used by many early Greek mathematicians, including Euclid [4] and Archimedes.
The Latin phrase is attested in a 1501 Euclid translation of Giorgio Valla. [5] Its abbreviation q.e.d. is used once in 1598 by Johannes Praetorius, [6] more in 1643 by Anton Deusing, [7] extensively in 1655 by Isaac Barrow in the form Q.E.D., [8] and subsequently by many post-Renaissance mathematicians and philosophers. [9]
Modern philosophy
![Q.E.D. - WikiMili, The Best Wikipedia Reader (1) Q.E.D. - WikiMili, The Best Wikipedia Reader (1)](https://i0.wp.com/upload.wikimedia.org/wikipedia/commons/thumb/a/a0/Philippe_van_Lansberge_1604_QED.png/418px-Philippe_van_Lansberge_1604_QED.png)
During the European Renaissance, scholars often wrote in Latin, and phrases such as Q.E.D. were often used to conclude proofs.
![Q.E.D. - WikiMili, The Best Wikipedia Reader (2) Q.E.D. - WikiMili, The Best Wikipedia Reader (2)](https://i0.wp.com/upload.wikimedia.org/wikipedia/commons/thumb/0/07/Spinoza_Ethica_Pars1_Prop1.jpg/400px-Spinoza_Ethica_Pars1_Prop1.jpg)
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. [11] Written in Latin, it is considered by many to be Spinoza's magnum opus . The style and system of the book are, 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. [12]
Difference from Q.E.F.
There is another Latin phrase with a slightly different meaning, usually shortened similarly, but being less common in use. Quod erat faciendum, originating from the Greek geometers' closing ὅπερ ἔδει ποιῆσαι (hoper edei poiēsai), meaning "which had to be done". [13] Because of the difference in meaning, the two phrases should not be confused.
Euclid used the Greek original of Quod Erat Faciendum (Q.E.F.) to close propositions that were not proofs of theorems, but constructions of geometric objects. [14] For example, Euclid's first proposition showing how to construct an equilateral triangle, given one side, is concluded this way. [15]
Equivalent forms
![Q.E.D. - WikiMili, The Best Wikipedia Reader (3) Q.E.D. - WikiMili, The Best Wikipedia Reader (3)](https://i0.wp.com/upload.wikimedia.org/wikipedia/commons/thumb/c/ce/Ihaveproveditmyself.jpg/220px-Ihaveproveditmyself.jpg)
There is no common formal English equivalent, although the end of a proof may be announced with a simple statement such as "thus it is proved", "this completes the proof", "as required", "as desired", "as expected", "hence proved", "ergo", "so correct", or other similar phrases.
Typographical forms used symbolically
Main article: Tombstone (typography)
Due to the paramount importance of proofs in mathematics, mathematicians since the time of Euclid have developed conventions to demarcate the beginning and end of proofs. In printed English language texts, the formal statements of theorems, lemmas, and propositions are set in italics by tradition. The beginning of a proof usually follows immediately thereafter, and is indicated by the word "proof" in boldface or italics. On the other hand, several symbolic conventions exist to indicate the end of a proof.
While some authors still use the classical abbreviation, Q.E.D., it is relatively uncommon in modern mathematical texts. Paul Halmos claims to have pioneered the use of a solid black square (or rectangle) at the end of a proof as a Q.E.D. symbol, [16] a practice which has become standard, although not universal. Halmos noted that he adopted this use of a symbol from magazine typography customs in which simple geometric shapes had been used to indicate the end of an article, so-called end marks . [17] [18] This symbol was later called the tombstone , the Halmos symbol, or even a halmos by mathematicians. Often the Halmos symbol is drawn on chalkboard to signal the end of a proof during a lecture, although this practice is not so common as its use in printed text.
The tombstone symbol appears in TeX as the character (filled square, \blacksquare) and sometimes, as a
(hollow square, \square or \Box). [19] In the AMS Theorem Environment for LaTeX, the hollow square is the default end-of-proof symbol. Unicode explicitly provides the "end of proof" character, U+220E (∎). Some authors use other Unicode symbols to note the end of a proof, including, ▮ (U+25AE, a black vertical rectangle), and ‣ (U+2023, a triangular bullet). Other authors have adopted two forward slashes (//,
) or four forward slashes (////,
). [20] In other cases, authors have elected to segregate proofs typographically—by displaying them as indented blocks. [21]
Modern humorous use
In Joseph Heller's 1961 book Catch-22 , the Chaplain, having been told to examine a forged letter allegedly signed by him (which he knew he didn't sign), verified that his name was in fact there. His investigator replied, "Then you wrote it. Q.E.D." The chaplain said he did not write it and that it was not his handwriting, to which the investigator replied, "Then you signed your name in somebody else's handwriting again." [22]
In the 1978 science-fiction radio comedy, and later in the television, novel, and film adaptations of The Hitchhiker's Guide to the Galaxy , "Q.E.D." is referred to in the Guide's entry for the babel fish, when it is claimed that the babel fish – which serves the "mind-bogglingly" useful purpose of being able to translate any spoken language when inserted into a person's ear – is used as evidence for existence and non-existence of God. The exchange from the novel is as follows: "'I refuse to prove I exist,' says God, 'for proof denies faith, and without faith I am nothing.' 'But,' says Man, 'The babel fish is a dead giveaway, isn't it? It could not have evolved by chance. It proves you exist, and so therefore, by your own arguments, you don't. QED.' 'Oh dear,' says God, 'I hadn't thought of that,' and promptly vanishes in a puff of logic." [23]
In Neal Stephenson's 1999 novel Cryptonomicon , Q.E.D. is used as a punchline to several humorous anecdotes, in which characters go to great lengths to prove something non-mathematical. [24]
Singer-songwriter Thomas Dolby's 1988 song "Airhead" includes the lyric, "Quod erat demonstrandum, baby," referring to the self-evident vacuousness of the eponymous subject; and in response, a female voice delightedly squeals, "Oooh... you speak French!" [25]
In the Television series House M.D. [Series 4, Ep. 12 "Don't Ever Change"]; House says "And I call you Cutthroat Bitch, ...well - quod erat demonstratum." to justify that he is justified in calling the other character by that name due to her having proven herself worthy of it.
See also
- List of Latin abbreviations
- A priori and a posteriori
- Bob's your uncle
- Ipso facto
- Q.E.A.
- List of Latin phrases (E) §ergo
Related Research Articles
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word ἀξίωμα (axíōma), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'.
Euclid was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the Elements treatise, which established the foundations of geometry that largely dominated the field until the early 19th century. His system, now referred to as Euclidean geometry, involved new innovations in combination with a synthesis of theories from earlier Greek mathematicians, including Eudoxus of Cnidus, Hippocrates of Chios, Thales and Theaetetus. With Archimedes and Apollonius of Perga, Euclid is generally considered among the greatest mathematicians of antiquity, and one of the most influential in the history of mathematics.
Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry, Elements. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. Although many of Euclid's results had been stated earlier, Euclid was the first to organize these propositions into a logical system in which each result is proved from axioms and previously proved theorems.
QED may refer to:
In logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid.
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems.
A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in all possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for further mathematical work.
The QED manifesto was a proposal for a computer-based database of all mathematical knowledge, strictly formalized and with all proofs having been checked automatically.
The Elements is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid c. 300 BC. It is a collection of definitions, postulates, propositions, and mathematical proofs of the propositions. The books cover plane and solid Euclidean geometry, elementary number theory, and incommensurable lines. Elements is the oldest extant large-scale deductive treatment of mathematics. It has proven instrumental in the development of logic and modern science, and its logical rigor was not surpassed until the 19th century.
Apollonius of Perga was an ancient Greek geometer and astronomer known for his work on conic sections. Beginning from the earlier contributions of Euclid and Archimedes on the topic, he brought them to the state prior to the invention of analytic geometry. His definitions of the terms ellipse, parabola, and hyperbola are the ones in use today. With his predecessors Euclid and Archimedes, Apollonius is generally considered among the greatest mathematicians of antiquity.
Quod may refer to:
Paul Richard Halmos was a Hungarian-born American mathematician and statistician who made fundamental advances in the areas of mathematical logic, probability theory, statistics, operator theory, ergodic theory, and functional analysis. He was also recognized as a great mathematical expositor. He has been described as one of The Martians.
In mathematics, the tombstone, halmos, end-of-proof, or Q.E.D. symbol "∎" is a symbol used to denote the end of a proof, in place of the traditional abbreviation "Q.E.D." for the Latin phrase "quod erat demonstrandum". It is inspired by the typographic practice of end marks, an element that marks the end of an article.
The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in lectures, and sometimes in print, as informal shorthand for rigorous arguments or precise ideas. Much of this is common English, but with a specific non-obvious meaning when used in a mathematical sense.
In Latin grammar, a gerundive is a verb form that functions as a verbal adjective.
The following table lists many specialized symbols commonly used in modern mathematics, ordered by their introduction date. The table can also be ordered alphabetically by clicking on the relevant header title.
QED is a play by American playwright Peter Parnell that chronicles significant events in the life of Nobel Prize-winning physicist Richard Feynman. It presents scenes from a fictional day in Feynman's life, less than two years before his death, interweaving many strands from his biography, from the Manhattan project to the Challenger disaster inquiry to more personal topics such as the death of Feynman's wife and his own fight with cancer. The play, which grew out of a collaboration between Parnell, actor Alan Alda, and director Gordon Davidson, premiered in 2001. The original production, directed by Davidson and starring Alda as Feynman, was performed first at the Mark Taper Forum in Los Angeles and, from late 2001 to mid-2002, on Broadway.
In logic, reductio ad absurdum, also known as argumentum ad absurdum or apagogical arguments, is the form of argument that attempts to establish a claim by showing that the opposite scenario would lead to absurdity or contradiction.
Q.E.D. is the second widely available studio album by American blues rock musician and computer scientist Jim Allchin. It was released on September 10, 2013 by Sandy Key Music. The title of the album is a reference to quod erat demonstrandum or Q.E.D which is sometimes used to denote the completion of a mathematical proof.
References
- ↑ "Definition of QUOD ERAT DEMONSTRANDUM". www.merriam-webster.com. Retrieved 2017-09-03.
- ↑ Entry δείκνυμι at LSJ.
- ↑ Euclid's Elements translated from Greek by Thomas L. Heath. 2003 Green Lion Press pg. xxiv
- ↑ Elements 2.5 by Euclid (ed. J. L. Heiberg), retrieved 16 July 2005
- ↑ Valla, Giorgio. "Georgii Vallae Placentini viri clariss. De expetendis, et fugiendis rebus opus. 1".
- ↑ Praetorius, Johannes. "Ioannis Praetorii Ioachimici Problema, quod iubet ex Quatuor rectis lineis datis quadrilaterum fieri, quod sit in Circulo".
- ↑ Deusing, Anton. "Antonii Deusingii Med. ac Philos. De Vero Systemate Mundi Dissertatio Mathematica: Quâ Copernici Systema Mundi reformatur: Sublatis interim infinitis penè orbibus, quibus in Systemate Ptolemaico humana mens distrahitur".
- ↑ Barrow, Isaac. "Elementa geometrie: libri XV".
- ↑ "Earliest Known Uses of some of the Words of Mathematics (Q)". jeff560.tripod.com. Retrieved 2019-11-04.
- ↑ Philippe van Lansberge (1604). Triangulorum Geometriæ. Apud Zachariam Roman. pp. 1–5.
quod-erat-demonstrandum 0-1700.
- ↑ "Baruch Spinoza (1632–1677) – Modern Philosophy". opentextbc.ca. Retrieved 2019-11-04.
- ↑ The Chief Works of Benedict De Spinoza, translated by R. H. M. Elwes, 1951. ISBN 0-486-20250-X.
- ↑ Gauss, Carl Friedrich; Waterhouse, William C. (7 February 2018). Disquisitiones Arithmeticae. ISBN 9781493975600.
- ↑ Weisstein, Eric W. "Q.E.F." mathworld.wolfram.com. Retrieved 2019-11-04.
- ↑ "Euclid's Elements, Book I, Proposition 1". mathcs.clarku.edu. Retrieved 2019-11-04.
- ↑ This (generally accepted) claim was made in Halmos's autobiography, I Want to Be a Mathematician. The first usage of the solid black rectangle as an end-of-proof symbol appears to be in Halmos's Measure Theory (1950). The intended meaning of the symbol is explicitly given in the preface.
- ↑ Halmos, Paul R. (1985). I Want to Be a Mathematician: An Automathography. p.403. ISBN 9781461210849.
- ↑ Felici, James (2003). "The complete manual of typography: a guide to setting perfect type". Berkeley, CA: Peachpit Press.
- ↑ See, for example, list of mathematical symbols for more.
- ↑ Rudin, Walter (1987). Real and Complex Analysis. McGraw-Hill. ISBN 0-07-100276-6.
- ↑ Rudin, Walter (1976). Principles of Mathematical Analysis. New York: McGraw-Hill. ISBN 0-07-054235-X.
- ↑ Heller, Joseph (1971). Catch-22. ISBN 978-0-573-60685-4 . Retrieved 15 July 2011.
- ↑ Adams, Douglas (2005). The Hitchhiker's Guide to the Galaxy . The Hitchhiker's Guide to the Galaxy (Film tie-ined.). Basingstoke and Oxford: Pan Macmillan. pp.62–64. ISBN 0-330-43798-4.
- ↑ Stephenson, Neal (1999). Cryptonomicon. New York, NY: Avon Books. ISBN 978-0-06-051280-4.
- ↑ "Airhead – Thomas Dolby". play.google.com. Retrieved 2016-09-15.
External links
Look up quod erat demonstrandum or QED in Wiktionary, the free dictionary.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.