Proof by intimidation

Last updated

Proof by intimidation (or argumentum verbosum) is a jocular phrase used mainly in mathematics to refer to a specific form of hand-waving, whereby one attempts to advance an argument by marking it as obvious or trivial, or by giving an argument loaded with jargon and obscure results. [1] It attempts to intimidate the audience into simply accepting the result without evidence, by appealing to their ignorance and lack of understanding. [2]

The phrase is often used when the author is an authority in their field, presenting their proof to people who respect a priori the author's insistence of the validity of the proof, while in other cases, the author might simply claim that their statement is true because it is trivial or because they say so. Usage of this phrase is for the most part in good humour, though it can also appear in serious criticism. [3] A proof by intimidation is often associated with phrases such as:

Outside mathematics, "proof by intimidation" is also cited by critics of junk science, to describe cases in which scientific evidence is thrown aside in favour of dubious arguments—such as those presented to the public by articulate advocates who pose as experts in their field. [4]

Proof by intimidation may also back valid assertions. Ronald A. Fisher claimed in the book credited with the new evolutionary synthesis, "...by the analogy of compound interest the present value of the future offspring of persons aged x is easily seen to be...", thence presenting a novel integral-laden definition of reproductive value. [5] At this, Hal Caswell remarked, "With all due respect to Fisher, I have yet to meet anyone who finds this equation 'easily seen.'" [6] Valid proofs were provided by subsequent researchers such as Leo A. Goodman (1968). [7]

In a memoir, Gian-Carlo Rota claimed that the expression "proof by intimidation" was coined by Mark Kac, to describe a technique used by William Feller in his lectures:

He took umbrage when someone interrupted his lecturing by pointing out some glaring mistake. He became red in the face and raised his voice, often to full shouting range. It was reported that on occasion he had asked the objector to leave the classroom. The expression "proof by intimidation" was coined after Feller's lectures (by Mark Kac). During a Feller lecture, the hearer was made to feel privy to some wondrous secret, one that often vanished by magic as he walked out of the classroom at the end of the period. Like many great teachers, Feller was a bit of a con man.

— Rota, Gian-Carlo, 1932–1999. (1997). Indiscrete thoughts . Palombi, Fabrizio, 1965–. Boston: Birkhäuser. ISBN   0-8176-3866-0. OCLC   34029702.{{cite book}}: CS1 maint: multiple names: authors list (link)

See also

Related Research Articles

In the philosophy of mathematics, constructivism asserts that it is necessary to find a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove the existence of a mathematical object without "finding" that object explicitly, by assuming its non-existence and then deriving a contradiction from that assumption. Such a proof by contradiction might be called non-constructive, and a constructivist might reject it. The constructive viewpoint involves a verificational interpretation of the existential quantifier, which is at odds with its classical interpretation.

Q.E.D. or QED is an initialism of the Latin phrase quod erat demonstrandum, meaning "which was to be demonstrated". Literally it states "what was to be shown". 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.

<span class="mw-page-title-main">Theorem</span> In mathematics, a statement that has been proved

In mathematics, a theorem is a statement that has been proved, or can be proved. 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.

<span class="mw-page-title-main">Mathematical proof</span> Reasoning for mathematical statements

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.

All horses are the same color is a falsidical paradox that arises from a flawed use of mathematical induction to prove the statement All horses are the same color. There is no actual contradiction, as these arguments have a crucial flaw that makes them incorrect. This example was originally raised by George Pólya in a 1954 book in different terms: "Are any n numbers equal?" or "Any n girls have eyes of the same color", as an exercise in mathematical induction. It has also been restated as "All cows have the same color".

In mathematics, the adjective trivial is often used to refer to a claim or a case which can be readily obtained from context, or an object which possesses a simple structure. The noun triviality usually refers to a simple technical aspect of some proof or definition. The origin of the term in mathematical language comes from the medieval trivium curriculum, which distinguishes from the more difficult quadrivium curriculum. The opposite of trivial is nontrivial, which is commonly used to indicate that an example or a solution is not simple, or that a statement or a theorem is not easy to prove.

In mathematics, certain kinds of mistaken proof are often exhibited, and sometimes collected, as illustrations of a concept called mathematical fallacy. There is a distinction between a simple mistake and a mathematical fallacy in a proof, in that a mistake in a proof leads to an invalid proof while in the best-known examples of mathematical fallacies there is some element of concealment or deception in the presentation of the proof.

Hand-waving is a pejorative label for attempting to be seen as effective – in word, reasoning, or deed – while actually doing nothing effective or substantial. It is often applied to debating techniques that involve fallacies, misdirection and the glossing over of details. It is also used academically to indicate unproven claims and skipped steps in proofs, with some specific meanings in particular fields, including literary criticism, speculative fiction, mathematics, logic, science and engineering.

Without loss of generality is a frequently used expression in mathematics. The term is used to indicate the assumption that follows is chosen arbitrarily, narrowing the premise to a particular case, but does not affect the validity of the proof in general. The other cases are sufficiently similar to the one presented that proving them follows by essentially the same logic. As a result, once a proof is given for the particular case, it is trivial to adapt it to prove the conclusion in all other cases.

<span class="mw-page-title-main">Mark Kac</span>

Mark Kac was a Polish American mathematician. His main interest was probability theory. His question, "Can one hear the shape of a drum?" set off research into spectral theory, the idea of understanding the extent to which the spectrum allows one to read back the geometry.

<span class="mw-page-title-main">Jacob T. Schwartz</span> American mathematician

Jacob Theodore "Jack" Schwartz was an American mathematician, computer scientist, and professor of computer science at the New York University Courant Institute of Mathematical Sciences. He was the designer of the SETL programming language and started the NYU Ultracomputer project. He founded the New York University Department of Computer Science, chairing it from 1964 to 1980.

Owing to its origin in ancient Greece and Rome, English rhetorical theory frequently employs Greek and Latin words as terms of art. This page explains commonly used rhetorical terms in alphabetical order. The brief definitions here are intended to serve as a quick reference rather than an in-depth discussion. For more information, click the terms.

Reproductive value is a concept in demography and population genetics that represents the discounted number of future female children that will be born to a female of a specific age. Ronald Fisher first defined reproductive value in his 1930 book The Genetical Theory of Natural Selection where he proposed that future offspring be discounted at the rate of growth of the population; this implies that sexually reproductive value measures the contribution of an individual of a given age to the future growth of the population.

Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.

An argument is a statement or group of statements called premises intended to determine or show the degree of truth or acceptability of another statement called a conclusion. Arguments can be studied from three main perspectives: the logical, the dialectical and the rhetorical perspective.

In mathematics, the Eilenberg–Mazur swindle, named after Samuel Eilenberg and Barry Mazur, is a method of proof that involves paradoxical properties of infinite sums. In geometric topology it was introduced by Mazur and is often called the Mazur swindle. In algebra it was introduced by Samuel Eilenberg and is known as the Eilenberg swindle or Eilenberg telescope.

<span class="mw-page-title-main">Mathematical beauty</span> Aesthetic value of mathematics

Mathematical beauty is the aesthetic pleasure derived from the abstractness, purity, simplicity, depth or orderliness of mathematics. Mathematicians may express this pleasure by describing mathematics as beautiful or describe mathematics as an art form, or, at a minimum, as a creative activity. Comparisons are made with music and poetry.

<span class="mw-page-title-main">Logic</span> Study of correct reasoning

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

Combinatorics: The Rota Way is a mathematics textbook on algebraic combinatorics, based on the lectures and lecture notes of Gian-Carlo Rota in his courses at the Massachusetts Institute of Technology. It was put into book form by Joseph P. S. Kung and Catherine Yan, two of Rota's students, and published in 2009 by the Cambridge University Press in their Cambridge Mathematical Library book series, listing Kung, Rota, and Yan as its authors. The Basic Library List Committee of the Mathematical Association of America has suggested its inclusion in undergraduate mathematics libraries.

References

  1. ↑ "Proof by Intimidation". logicallyfallacious.com. Retrieved 2019-12-01.
  2. ↑ Michael H. F. Wilkinson. "Cogno-Intellectualism, Rhetorical Logic, and the Craske-Trump Theorem" (PDF). Annals of Improbable Research . 6 (5): 15–16. Retrieved 2008-02-22.
  3. ↑ Tony Hey (1999). "Richard Feynman and computation" (PDF). Contemporary Physics. 40 (4): 257–265. Bibcode:1999ConPh..40..257H. doi:10.1080/001075199181459 . Retrieved 2008-02-22.
  4. ↑ Marjorie K. Jeffcoat (July 2003). "Junk science: Appearances can be deceiving". Journal of the American Dental Association . 134 (7): 802–803. doi:10.14219/jada.archive.2003.0268. PMID   12892436.
  5. ↑ Fisher, Ronald Aylmer (1930). The genetical theory of natural selection. Oxford: The Clarendon Press. p. 27. OCLC   18500548.
  6. ↑ Caswell, Hal (2001). Matrix Population Models. Sinauer Associates, Incorporated. p. 92. ISBN   0-87893-096-5.
  7. ↑ Goodman, Leo A. (1968-03-01). "An elementary approach to the population projection-matrix, to the population reproductive value, and to related topics in the mathematical theory of population growth". Demography. Duke University Press. 5 (1): 382–409. doi:10.1007/bf03208583. ISSN   0070-3370. S2CID   46970216.
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.