|
Pseudomathematics
Pseudomathematics, or mathematical crankery, is a mathematics-like activity that does not adhere to the framework of rigor of formal mathematical practice. Common areas of pseudomathematics are solutions of problems proved to be unsolvable or recognized as extremely hard by experts, as well as attempts to apply mathematics to non-quantifiable areas. A person engaging in pseudomathematics is called a pseudomathematician or a pseudomath. Pseudomathematics has equivalents in other scientific fields, and may overlap with other topics characterized as pseudoscience. Pseudomathematics often contains mathematical fallacies whose executions are tied to elements of deceit rather than genuine, unsuccessful attempts at tackling a problem. Excessive pursuit of pseudomathematics can result in the practitioner being labelled a crank. Because it is based on non-mathematical principles, pseudomathematics is not related to attempts at genuine proofs that contain mistakes. Indeed, such mistakes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Squaring The Circle
Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square with the area of a circle by using only a finite number of steps with a compass and straightedge. The difficulty of the problem raised the question of whether specified axioms of Euclidean geometry concerning the existence of lines and circles implied the existence of such a square. In 1882, the task was proven to be impossible, as a consequence of the Lindemann–Weierstrass theorem, which proves that pi (\pi) is a transcendental number. That is, \pi is not the root of any polynomial with rational coefficients. It had been known for decades that the construction would be impossible if \pi were transcendental, but that fact was not proven until 1882. Approximate constructions with any given non-perfect accuracy exist, and many such constructions have been found. Despite the proof that it is impossible, attempts to square the circle have been common ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List Of Topics Characterized As Pseudoscience
This is a list of topics that have, either currently or in the past, been characterized as pseudoscience by academics or researchers. Detailed discussion of these topics may be found on their main pages. These characterizations were made in the context of educating the public about questionable or potentially fraudulent or dangerous claims and practices—efforts to define the nature of science, or humorous parodies of poor scientific reasoning. Criticism of pseudoscience, generally by the scientific community or skeptical organizations, involves critiques of the logical, methodological, or rhetorical bases of the topic in question. Though some of the listed topics continue to be investigated scientifically, others were only subject to scientific research in the past and today are considered refuted, but resurrected in a pseudoscientific fashion. Other ideas presented here are entirely non-scientific, but have in one way or another impinged on scientific domains or practices. M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Angle Trisection
Angle trisection is a classical problem of straightedge and compass construction of ancient Greek mathematics. It concerns construction of an angle equal to one third of a given arbitrary angle, using only two tools: an unmarked straightedge and a compass. Pierre Wantzel proved in 1837 that the problem, as stated, is impossible to solve for arbitrary angles. However, although there is no way to trisect an angle ''in general'' with just a compass and a straightedge, some special angles can be trisected. For example, it is relatively straightforward to trisect a right angle (that is, to construct an angle of measure 30 degrees). It is possible to trisect an arbitrary angle by using tools other than straightedge and compass. For example, neusis construction, also known to ancient Greeks, involves simultaneous sliding and rotation of a marked straightedge, which cannot be achieved with the original tools. Other techniques were developed by mathematicians over the centuries. Becaus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doubling The Cube
Doubling the cube, also known as the Delian problem, is an ancient geometric problem. Given the edge of a cube, the problem requires the construction of the edge of a second cube whose volume is double that of the first. As with the related problems of squaring the circle and trisecting the angle, doubling the cube is now known to be impossible to construct by using only a compass and straightedge, but even in ancient times solutions were known that employed other tools. The Egyptians, Indians, and particularly the Greeks were aware of the problem and made many futile attempts at solving what they saw as an obstinate but soluble problem. However, the nonexistence of a compass-and-straightedge solution was finally proven by Pierre Wantzel in 1837. In algebraic terms, doubling a unit cube requires the construction of a line segment of length , where ; in other words, , the cube root of two. This is because a cube of side length 1 has a volume of , and a cube of twice that volu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal System
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined abstraction, system of abstract thought. The term ''formalism'' is sometimes a rough synonym for ''formal system'', but it also refers to a given style of notation, for example, Paul Dirac's bra–ket notation. Background Each formal system is described by primitive Symbol (formal), symbols (which collectively form an Alphabet (computer science), alphabet) to finitely construct a formal language from a set of axioms through inferential rules of formation. The system thus consists of valid formulas built up through finite combinations of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rigour
Rigour (British English) or rigor (American English; American and British English spelling differences#-our, -or, see spelling differences) describes a condition of stiffness or strictness. These constraints may be environmentally imposed, such as "the rigours of famine"; logically imposed, such as mathematical proofs which must maintain Consistency, consistent answers; or socially imposed, such as the process of defining ethics and law. Etymology "Rigour" comes to English language, English through old French (13th c., Modern French language, French ''Wiktionary:fr:rigueur, rigueur'') meaning "stiffness", which itself is based on the Latin ''rigorem'' (nominative ''rigor'') "numbness, stiffness, hardness, firmness; roughness, rudeness", from the verb ''rigere'' "to be stiff". The noun was frequently used to describe a condition of strictness or stiffness, which arises from a situation or constraint either chosen or experienced passively. For example, the title of the book '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Creationism
Creationism is the religious belief that nature, and aspects such as the universe, Earth, life, and humans, originated with supernatural acts of divine creation. Gunn 2004, p. 9, "The ''Concise Oxford Dictionary'' says that creationism is 'the belief that the universe and living organisms originated from specific acts of divine creation.'" In its broadest sense, creationism includes a continuum of religious views, Haarsma 2010, p. 168, "Some Christians, often called 'Young Earth creationists,' reject evolution in order to maintain a semi-literal interpretation of certain biblical passages. Other Christians, called 'progressive creationists,' accept the scientific evidence for some evolution over a long history of the earth, but also insist that God must have performed some miracles during that history to create new life-forms. Intelligent design, as it is promoted in North America is a form of progressive creation. Still other Christians, called theistic evolutionists' or 'ev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Scientific Monthly
''The Scientific Monthly'' was a science magazine published from 1915 to 1957. Psychologist James McKeen Cattell, the former publisher and editor of ''The Popular Science Monthly'', was the original founder and editor. In 1958, ''The Scientific Monthly'' was absorbed by ''Science''. References External links Archived The Scientific Monthlyon the Internet Archive The Internet Archive is an American digital library with the stated mission of "universal access to all knowledge". It provides free public access to collections of digitized materials, including websites, software applications/games, music, ... * Hathi Trust records - https://catalog.hathitrust.org/Record/000519252 American Association for the Advancement of Science academic journals Monthly magazines published in the United States Science and technology magazines published in the United States Defunct magazines published in the United States Magazines established in 1915 Magazines disestablished in 1957 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tobias Dantzig
Tobias Dantzig (; February 19, 1884 – August 9, 1956) was an American mathematician, the father of George Dantzig, and the author of '' Number: The Language of Science (A critical survey written for the cultured non-mathematician)'' (1930) and ''Aspects of Science'' (New York, Macmillan, 1937). Biography Born in Shavli (then Imperial Russia, now Lithuania) into the family of Shmuel Dantzig (?-1940) and Guta Dimant (1863–1917), he grew up in Lodz and studied mathematics with Henri Poincaré in Paris.. His brother Jacob (1891-1942) was murdered by the Nazis during the Holocaust; he also had a brother Naftali (who lived in Moscow) and sister Emma. Tobias married a fellow Sorbonne University student, Anja Ourisson, and the couple emigrated to the United States in 1910. He worked for a time as a lumberjack, road worker, and house painter in Oregon, until returning to academia at the encouragement of Reed College mathematician Frank Griffin. Dantzig received his Ph.D. in mathematics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Morgan's Laws
In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation. The rules can be expressed in English as: * The negation of a disjunction is the conjunction of the negations * The negation of a conjunction is the disjunction of the negations or * The complement of the union of two sets is the same as the intersection of their complements * The complement of the intersection of two sets is the same as the union of their complements or * not (A or B) = (not A) and (not B) * not (A and B) = (not A) or (not B) where "A or B" is an "inclusive or" meaning ''at least'' one of A or B rather than an "exclusive or" that means ''exactly'' one of A or B. In set theory and Boolean algebra, these ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gödel's Incompleteness Theorems
Gödel's incompleteness theorems are two theorems of mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ... that are concerned with the limits of in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The theorems are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible. The first incompleteness theorem states that no consistency, consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
