To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

From Wikipedia, the free encyclopedia

In mathematics and logic, a corollary (/ˈkɒrəˌlɛri/ KORR-ə-lerr-ee, UK: /kɒˈrɒləri/ korr-OL-ər-ee) is a statement which can be readily deduced from a previous, more notable statement, but whose importance tends to be secondary in nature.[1] A corollary could for instance be a proposition which is incidentally proved while proving another proposition,[2] while it could also be used more casually to refer to something which naturally or incidentally accompanies something else (e.g., violence as a corollary of revolutionary social changes).[3][4]

Overview

In mathematics, a corollary is a theorem connected by a short proof to an existing theorem.[5] The use of the term corollary, rather than proposition or theorem, is intrinsically subjective. More formally, proposition B is a corollary of proposition A, if B can be readily deduced from A or is self-evident from its proof.

In many cases, a corollary corresponds to a special case of a larger theorem,[6] which makes the theorem easier to use and apply,[7] even though its importance is generally considered to be secondary to that of the theorem. In particular, B is unlikely to be termed a corollary if its mathematical consequences are as significant as those of A. A corollary might have a proof that explains its derivation, even though such a derivation might be considered rather self-evident in some occasions[8] (e.g., the Pythagorean theorem as a corollary of law of cosines[9]).

Peirce's theory of deductive reasoning

Charles Sanders Peirce held that the most important division of kinds of deductive reasoning is that between corollarial and theorematic. He argued that while all deduction ultimately depends in one way or another on mental experimentation on schemata or diagrams,[10] in corollarial deduction:

"it is only necessary to imagine any case in which the premises are true in order to perceive immediately that the conclusion holds in that case"

while in theorematic deduction:

"It is necessary to experiment in the imagination upon the image of the premise in order from the result of such experiment to make corollarial deductions to the truth of the conclusion."[11]

Peirce also held that corollarial deduction matches Aristotle's conception of direct demonstration, which Aristotle regarded as the only thoroughly satisfactory demonstration, while theorematic deduction is:

  1. The kind more prized by mathematicians
  2. Peculiar to mathematics[10]
  3. Involves in its course the introduction of a lemma or at least a definition uncontemplated in the thesis (the proposition that is to be proved), in remarkable cases that definition is of an abstraction that "ought to be supported by a proper postulate."[12]

See also

References

  1. ^ "The Definitive Glossary of Higher Mathematical Jargon — Corollary". Math Vault. 2019-08-01. Retrieved 2019-11-27.
  2. ^ "Definition of corollary | Dictionary.com". www.dictionary.com. Retrieved 2019-11-27.
  3. ^ "Definition of COROLLARY". www.merriam-webster.com. Retrieved 2019-11-27.
  4. ^ "COROLLARY | meaning in the Cambridge English Dictionary". dictionary.cambridge.org. Retrieved 2019-11-27.
  5. ^ Wolfram, Stephen (2002). A New Kind of Science. Wolfram Media, Inc. p. 1176. ISBN 1-57955-008-8.
  6. ^ "Mathwords: Corollary". www.mathwords.com. Retrieved 2019-11-27.
  7. ^ Weisstein, Eric W. "Corollary". mathworld.wolfram.com. Retrieved 2019-11-27.
  8. ^ Chambers's Encyclopaedia. 3. Appleton. 1864. p. 260.
  9. ^ "Mathwords: Corollary". www.mathwords.com. Retrieved 2019-11-27.
  10. ^ a b Peirce, C. S., from section dated 1902 by editors in the "Minute Logic" manuscript, Collected Papers v. 4, paragraph 233, quoted in part in "Corollarial Reasoning" in the Commons Dictionary of Peirce's Terms, 2003–present, Mats Bergman and Sami Paavola, editors, University of Helsinki.
  11. ^ Peirce, C. S., the 1902 Carnegie Application, published in The New Elements of Mathematics, Carolyn Eisele, editor, also transcribed by Joseph M. Ransdell, see "From Draft A – MS L75.35–39" in Memoir 19 (once there, scroll down).
  12. ^ Peirce, C. S., 1901 manuscript "On the Logic of Drawing History from Ancient Documents, Especially from Testimonies', The Essential Peirce v. 2, see p. 96. See quote in "Corollarial Reasoning" in the Commens Dictionary of Peirce's Terms.

Further reading

This page was last edited on 31 May 2020, at 09:23
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.