|
Corollary
In mathematics and logic, a corollary ( , ) is a theorem of less importance which can be readily deduced from a previous, more notable statement. A corollary could, for instance, be a proposition which is incidentally proved while proving another proposition; it might 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). Overview In mathematics, a corollary is a theorem connected by a short proof to an existing theorem. 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, which makes the theorem easier to use and apply, even though its importance is generally considered to be secondary t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Roosevelt Corollary
In the history of United States foreign policy, the Roosevelt Corollary was an addition to the Monroe Doctrine articulated by President Theodore Roosevelt in his State of the Union address in 1904 after the Venezuelan crisis of 1902–1903. The corollary states that the United States could intervene in the internal affairs of Latin American countries if they committed flagrant and chronic wrongdoings. Roosevelt tied his policy to the Monroe Doctrine, and it was also consistent with his foreign policy included in his Big Stick Diplomacy. Roosevelt stated that in keeping with the Monroe Doctrine, the United States was justified in exercising "international police power" to put an end to chronic unrest or wrongdoing in the Western Hemisphere. President Herbert Hoover in 1930 endorsed the Clark Memorandum that repudiated the Roosevelt Corollary in favor of what was later called the Good Neighbor policy. Background The Roosevelt Corollary was articulated in the aftermath o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monroe Doctrine
The Monroe Doctrine was a United States foreign policy position that opposed European colonialism in the Western Hemisphere. It held that any intervention in the political affairs of the Americas by foreign powers was a potentially hostile act against the United States. The doctrine was central to American foreign policy for much of the 19th and early 20th centuries. President James Monroe first articulated the doctrine on December 2, 1823, during his seventh annual State of the Union Address to Congress (though it would not be named after him until 1850). At the time, nearly all Spanish colonies in the Americas had either achieved or were close to independence. Monroe asserted that the New World and the Old World were to remain distinctly separate spheres of influence, and thus further efforts by European powers to control or influence sovereign states in the region would be viewed as a threat to U.S. security. In turn, the United States would recognize and not interfere with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pythagorean Theorem
In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite the right angle) is equal to the sum of the areas of the squares on the other two sides. This theorem can be written as an equation relating the lengths of the sides ''a'', ''b'' and the hypotenuse ''c'', often called the Pythagorean equation: :a^2 + b^2 = c^2 , The theorem is named for the Greek philosopher Pythagoras, born around 570 BC. The theorem has been proven numerous times by many different methods – possibly the most for any mathematical theorem. The proofs are diverse, including both geometric proofs and algebraic proofs, with some dating back thousands of years. When Euclidean space is represented by a Cartesian coordinate system in analytic geometry, Euclidean distance satisfies the Pythagorean relation: the squared dis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lodge Corollary
The Lodge Corollary was a corollary to the Monroe Doctrine. Proposed by Henry Cabot Lodge and ratified by the United States Senate, U.S. Senate in 1912, it forbade any foreign power or foreign interest of any kind from acquiring sufficient territory in the Western Hemisphere as to put that government in "practical power of control." As Lodge argued, the corollary reaffirmed the basic right of nations to provide for their safety and extended the principles behind the Monroe Doctrine beyond colonialism to include corporate territorial acquisitions as well. The proposal was a reaction to negotiations between a Japan, Japanese syndicate and Mexico for the purchase of a considerable portion of Baja California including a harbor considered to be of strategic value, Magdalena Bay. After the ratification of the Lodge Corollary, Japan disavowed any connection to the syndicate, and the deal was never completed. External links Lodge's defense of the corollary before the 62nd Congress M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lemma (mathematics)
In mathematics, informal logic and argument mapping, a lemma (plural lemmas or lemmata) is a generally minor, proven proposition which is used as a stepping stone to a larger result. For that reason, it is also known as a "helping theorem" or an "auxiliary theorem". In many cases, a lemma derives its importance from the theorem it aims to prove; however, a lemma can also turn out to be more important than originally thought. The word "lemma" derives from the Ancient Greek ("anything which is received", such as a gift, profit, or a bribe). Comparison with theorem There is no formal distinction between a lemma and a theorem, only one of intention (see Theorem terminology). However, a lemma can be considered a minor result whose sole purpose is to help prove a more substantial theorem – a step in the direction of proof. Well-known lemmas A good stepping stone can lead to many others. Some powerful results in mathematics are known as lemmas, first named for their originally min ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, " meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false. While the term "proposition" may sometimes be used in everyday language to refer to a linguistic statement which can be either true or false, the technical philosophical term, which differs from the mathematical usage, refers exclusively to the non-linguistic meaning behind the statement. The term is often used very broadly and can also refer to various related concepts, both in the history of philosophy and in contemporary analytic philosophy. It can generally be used to refer to some or all of the following: The primary bearers of truth values (such as "true" and "false"); the objects of belief and other propositional attitudes (i. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism". Educated as a chemist and employed as a scientist for thirty years, Peirce made major contributions to logic, a subject that, for him, encompassed much of what is now called epistemology and the philosophy of science. He saw logic as the formal branch of semiotics, of which he is a founder, which foreshadowed the debate among logical positivists and proponents of philosophy of language that dominated 20th-century Western philosophy. Additionally, he defined the concept of abductive reasoning, as well as rigorously formulated mathematical induction and deductive reasoning. As early as 1886, he saw that logic gate, logical operations could be carried out by electrical switching circuits. The same idea was used decades later to produce digital computers. See Also In 1934, the philosopher Paul W ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, " meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false. While the term "proposition" may sometimes be used in everyday language to refer to a linguistic statement which can be either true or false, the technical philosophical term, which differs from the mathematical usage, refers exclusively to the non-linguistic meaning behind the statement. The term is often used very broadly and can also refer to various related concepts, both in the history of philosophy and in contemporary analytic philosophy. It can generally be used to refer to some or all of the following: The primary bearers of truth values (such as "true" and "false"); the objects of belief and other propositional attitudes (i. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Terminology
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Morton Ransdell
Joseph Morton Ransdell (1931–2010) was an associate professor of philosophy from 1974 to 2000 at Texas Tech University in Lubbock, Texas. A native of Oklahoma City, Oklahoma, Ransdell in 1961 received his Bachelor of Arts degree in philosophy from San Francisco State University in San Francisco, California. He subsequently obtained his Ph.D. in philosophy from Columbia University in New York City, where he wrote his dissertation on Peirce. Before coming to Texas Tech, Ransdell taught philosophy at the University of California, Santa Barbara in Santa Barbara and then spent a year in San Luis Potosí, Mexico, to write his book ''Pursuit of Wisdom.'' He wrote chiefly about Charles Sanders Peirce and his theory of representation. He was also interested in Socrates and the Socratic Plato. He was president of the Charles S. Peirce Society in 1999 and has been published in journals such as ''The Journal of Philosophy ''The Journal of Philosophy'' is a monthly peer-reviewed academic j ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Porism
A porism is a mathematical proposition or corollary. It has been used to refer to a direct consequence of a proof, analogous to how a corollary refers to a direct consequence of a theorem. In modern usage, it is a relationship that holds for an infinite range of values but only if a certain condition is assumed, such as Steiner's porism. The term originates from three books of Euclid that have been lost. A proposition may not have been proven, so a porism may not be a theorem or true. Origins The book that talks about porisms first is Euclid's ''Porisms''. What is known of it is in Pappus of Alexandria's ''Collection'', who mentions it along with other geometrical treatises, and gives several lemmas necessary for understanding it. Pappus states: :The porisms of all classes are neither theorems nor problems, but occupy a position intermediate between the two, so that their enunciations can be stated either as theorems or problems, and consequently some geometers think that they ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Mathematical Terminology")