Pseudomathematics

{{silver}}{{pseudosciencenav}}{{mathematics}}'''Pseudomathematics''' involves any work, study, or activity which claims to be [[mathematics|mathematical]], but refuses to work within the standards of [[proof]] and rigour to which mathematics is subject. Much like other [[pseudoscience]], pseudomathematics often relies on [[willful ignorance|ignoring facts and methods]], making unsubstantiated claims of fact and ignorance, and rejection of the work of experts. Unfortunately for practitioners of pseudomathematics, mathematics is an absolute science of black and white &mdash; everything is right or wrong (but sometimes [[Fuzzy logic|fuzzy]]). There is not often scope for debate or discussion, as only mathematical proof is relevant.

Pseudomathematics takes multiple forms, often focusing on disproving accepted facts or proving things which have been proven impossible. While conventional mathematicians are welcome to reject and attempt to disprove theories or prove something, they must work within the rigour and framework of mathematics. To attempt to refute a theorem, one must prove it to be false or find an error in the existing proof. Simply making an argument against a theorem does not invalidate it. Likewise, modern mathematics has proven various things to be impossible, and so to attempt to prove such matters without addressing the proven impossibility is folly.

Common claims among pseudo-mathematicians often involve refutations of the works of Kurt Friedrich Gödel and Georg Cantor; attempts to solve compass-and-straightedge problems which were proven to be impossible in the 1800s; or attempts to change the values of mathematical constants or to question the accepted nature of irrational, transcendent, or complex numbers. Like many woo-meisters, Pseudo-mathematicians may use convincing and sophisticated mathematical vocabulary; however, their theories using such terms tend to be [[not even wrong]] due to the highly specific nature of the terms.

==Compass and straightedge constructions==
A common feature of pseudomathematics, and pseudoscience in general, is attempted solutions to problems that the layperson can easily understand but actually involves very complicated science. Problems that anybody can understand, but only advanced mathematicians can provide true insight into, attract a whole range of [[cranks]] offering different theories.

There is perhaps no greater example of this than certain [[ruler and compass constructions|compass and straightedge construction problems]]. These problems involve setting a task, to be completed with only a straightedge (a marked or unmarked ruler, depending on the problem) and a compass. The most common problem is 'squaring the circle' — given a circle of radius '1 unit', construct a square of equal area. Obviously, this problem seems easy to understand. Celebrated mathematicians including Archimedes, Pythagoras and Euclid were obsessed with this problem. Unfortunately, it was proven to be impossible in the 1800s due to the transcendentalness of [[pi]].<ref>[http://www.geom.uiuc.edu/docs/forum/square_circle/ Geometry forums &mdash; Squaring the Circle]</ref><ref>[http://www.uwgb.edu/dutchs/pseudosc/trisect.htm Steve Dutch &mdash; Why Trisecting the Angle is Impossible]</ref>

To this day, attempts to 'square the circle,' as well as attempts to 'trisect the angle' and 'double the cube' are still attempted by amateur mathematicians. Because you and I can understand these problems, but perhaps cannot understand [[ruler and compass constructions|why they are impossible]], they seem within the reach of the layperson, if the person tries hard enough. Not a single credible mathematician would doubt the proof of the impossibility of these problems, and American Professor {{wpl|Underwood Dudley}} has published books documenting and refuting these claims.<ref>''Mathematical Cranks'' by Underwood Dudley (1982) The Mathematical Association of America. ISBN 0883855070.</ref>

==Areas attracting crank ideas==
===Elementary proof===
Elementary proof refers to the use of only basic mathematics, and has different meanings in different fields. In number theory, an elementary proof is a proof without complex analysis. It is important to remember that no proof in mathematics is "less [[valid]]" than another — it is correct or incorrect. Despite that, many crank mathematicians and [[Salem hypothesis|fringe engineers]] will reject or denigrate a proof that isn't 'elementary,' probably because they can't understand it. The use of complex numbers or even proof by contradiction (''[[reductio ad absurdum]]'') have been called into question, despite their complete acceptance by modern mathematicians. Opposing proofs by contradiction is usually based on appealing to a trend in mathematics called {{wpl|intuitionism||,}} but while intuitionism does not allow proofs by contradiction, its proponents do not consider it "unmathematical". They are just interested to find out what could be proven by explicit constructions, for such proofs often have more applications. Nevertheless, no respected mathematician denies that proving by contradiction is an important mathematical tool, which has been accepted since at least the time of [[Plato]].

===Complex numbers===
{{cquote|''Die ganzen Zahlen hat der liebe Gott gemacht, alles andere ist Menschenwerk.''<br>(God made the integers, all else is the work of man.)|||{{wpl|Leopold Kronecker}}}}
Complex numbers rely on the imaginary unit. The imaginary unit, when squared, equals -1. While not being inherently any less "real" than real numbers or even negative numbers, the poor choice of name for the imaginary part of a complex number has made them a popular target for math [[denialists]]. Any sort of number other than positive integers are abstractions of quantitative properties that less directly correspond to uneducated human intuition, but make more types of mathematical reasoning much more tractable. Specifically, the complex number field admits a lot of convenient (and beautiful) properties that make it a natural choice to represent a lot of abstractions. Despite this, 'Complex number denial' seems to exist across the Internet. Even some of those that do accept that imaginary numbers "exist", question their validity outside of mathematics, completely ignoring their main use in [[physics]],<ref>See the Swedish Wikipedia article {{wplang|sv|jω-metoden}}.</ref> and particularly in [[quantum physics]].<ref>[https://www.sciencenews.org/article/quantum-physics-imaginary-numbers-math-reality Quantum physics requires imaginary numbers to explain reality: Theories based only on real numbers fail to explain the results of two new experiments] by Emily Conover (December 15, 2021 at 11:00 am) ''Science News''.</ref>

===Fermat's Last Theorem===
{{main|Fermat's last theorem}}
The quest to solve 'Fermat's Last Theorem' (no three positive integers a, b, and c can satisfy the equation a<sup>n</sup> + b<sup>n</sup> = c<sup>n</sup> for any integer value of n greater than two.) famously began when Pierre de Fermat claimed that he could prove it, but that he lacked the space to write the proof in a margin. It took until the 1990s and significant mathematical advancements to prove Fermat's Last Theorem; in the intervening period, this being a problem that can be understood by the layman and a proof that is very advanced, cranks have often popped up claiming to be able to prove the theorem using elementary mathematics. The likeliness of there being an easy proof for such a well-known and old problem that has just been overlooked for centuries is of course minuscule, not least because Fermat's wording indicated a handsome, elegant, simple proof and not what was ultimately found.

===The value of &pi; and the usage of &tau;===
The value of &pi; (pi), which was proven to be irrational in 1761 and transcendental in 1873, has attracted hundreds of claims of an exact value from pseudomathematicians, cranks and laymen. [[Indiana pi bill|Bill number 246]] of the 1897 sitting of the Indiana State Legislature actually tried to (indirectly) set the value of &pi;. The bill would have stated, as law, a correct method of [[squaring the circle]].<ref>[http://www.agecon.purdue.edu/crd/localgov/second%20level%20pages/indiana_pi_bill.htm The Indiana Pi Bill, 1897]</ref> This method was in fact true, as long as &pi; is held to be 3.2. Sadly, &pi; is not 3.2.<ref group=note>This appears to be a fundamental arithmetical error of rounding, as ''3.1'' would be a grotesquely imprecise approximation to &pi;. They couldn't even get ''rounding'' right.</ref> This should not be confused with an assertion that some legitimate mathematicians make that "&pi; is wrong" and that people should use &tau; (tau) instead. That argument doesn't contest the value of &pi; or its importance, but simply argues that &tau; (which is equal to 2&pi;) is more comprehensible for teaching mathematics and simplifies trigonometry. The tau vs. pi argument is not a mathematical debate, but a notational one (and it actually makes some interesting points).

===The Golden Ratio===
{{Main|Golden ratio}}

Mathematically, the golden ratio <math>\varphi=\frac{1+\sqrt5}{2}\approx1.6180339\ldots</math> is a solution of the equation <math>x^2 - x - 1 = 0</math>. It represents the ratio of two quantities <math>x</math> and <math>y</math>, such that <math>x</math> is less than <math>y</math>, where the ratio between <math>x</math> and <math>y</math> is equal to that of the ratio of <math>y</math> and the sum of both values, <math>\frac{x + y}{y} = \frac{y}{x}</math>. The number also takes on the property of the ratio of two successive numbers in the Fibonacci sequence approaches <math>\varphi</math>.

Because of this number's fascinating properties, and likely because of the value representing the ratio between two lengths, some have decided to go the extra mile in trying to claim that the golden ratio can be found in much of nature, such as in nautilus shells and faces, often ignoring that <math>\varphi</math>, much like <math>\pi</math>, is irrational, and therefore can only be approximated in real-world examples with enough hand-waving.

==Attempts to refute accepted theories==
Being critical of accepted theories or attempting to disprove them is not intrinsically pseudoscientific; that sort of [[scepticism]] plays an important role in the scientific process. However, many crank mathematicians will attempt to refute accepted theories through verbal arguments, through visual "proofs" or alleged "proofs" which neither deal with the complexity of the issue nor point out the error in the accepted proof. While these crank approaches seem to turn up in many areas of mathematics, particular theorems and theories tend to attract the ire of cranks through the centuries. Once again, this commonly occurs with theories whose premise can be understood by the layperson, but whose complexities cannot. The works of Gödel and Cantor seem to attract a lot of internet cranks.

===Gödel's incompleteness theorems===
{{main|Gödel's incompleteness theorems}}
Gödel's two incompleteness theorems establish limitations that are inherent in any [[axiom]]atic system except for the most trivial.{{efn|Any system with enough axioms to prove useful things is covered, really.}} This means that however complete our axiomatic system (the basis of mathematics) becomes, there will always be statements that are independent in the sense that they could be either true or false without being inconsistent with the rest of the axioms. Gödel's theorems were very controversial when first published in 1931; the mathematical establishment at that time was inclined to the belief that [[Logical positivism|everything that was true could be proven]]. This position was most famously enunciated by David Hilbert when he said, "''Wir müssen wissen. Wir werden wissen.''" (German for: "We must know. We will know."). Despite this, Gödel's enormous upheaval of man's understanding of mathematics settled down relatively quickly as no serious mathematicians made attempts to disprove his work, accepting the proof.<ref>[http://www.springerlink.com/content/q16044h81q0188l7/ John W. Dawson &mdash; ''The Reception of Gödel’s Incompleteness Theorems'']</ref> Today, the professional mathematicians have fully accepted the incompleteness theorems, but a certain breed of crank seems attracted to disproving them.<ref>[http://phillipabatz.wikia.com/wiki/Godel_Unknotted?oldid=6215 Godel Unknotted] by TheLastWordSword (Revision as of 20:09, April 6, 2015) ''Phillip A. Batz Wiki''.</ref>

===Cantor, set theory and infinity===
The work of Georg Cantor (1845-1918) on set theory and [[infinity]] (∞) now forms an important part of the basis of mathematics. Cantor's insights were revolutionary, redefining how we view infinity. Through his study of one-to-one correspondence, it became clear that there are different kinds of infinity. In layman's terms, two things could both be infinite, and yet there could be more of one than the other. For example, ∞ is the same as ∞+∞, but ∞ is not the same as ∞<sup>∞</sup>. The idea that there are different kinds of infinity doesn't seem to rest well with some people. Disproof offers of his theories range from barely mathematical to [[not even wrong]]. These attempts have come from amateur<ref>[http://scienceforums.com/topic/20099-cantors-diagonal-slash-disproved/ Science Forums &mdash; Cantor's Diagonal Slash Disproved] (October 31, 2009) ''Science Forums''.</ref> and professional<ref>[http://books.google.co.uk/books?id=HqeoWPsIH6EC&lpg=PP1&dq=underwood%20dudley&pg=PA42#v=onepage&q&f=false Underwood Dudley &mdash; ''Mathematical cranks'']</ref> mathematicians alike.

===The fucking 0.999… shit===
{{main|0.999...}}
[[File:999 Perspective.svg|thumb|center|Number nine…&nbsp;number nine…&nbsp;number nine…]]
Under the standard definition and notation for the real numbers, it has been well established that 0.999… (9 repeating) = 1.<ref>{{wpa|0.999...#Infinite series and sequences}}</ref> Many, many heated internet arguments have taken place over this.

==Millennium Problems==
In 2000, the Clay Mathematics Institute offered $1,000,000 to anybody who could solve one of seven open questions in mathematics.<ref>[http://www.claymath.org/millennium/ Clay Mathematics Institute &mdash; First Clay Mathematics Institute Millennium Prize Announced]</ref> Six remain unproven.<ref>The {{wpl|Poincaré Conjecture}} was proven by Grigoriy Perelman in 2002/3. He declined the prize.</ref> In the decade since 2000, well-intentioned amateurs have attempted a whole host of attempts to solve these problems, especially the Riemann Hypothesis.<ref name="Riemann">[http://empslocal.ex.ac.uk/people/staff/mrwatkin/zeta/RHproofs.htm Proposed (dis)proofs of the Riemann Hypothesis]</ref> The fact is that these problems are incredibly difficult to understand without university-level mathematical education.

===Riemann Hypothesis===
Often described as the most important open problem in mathematics, the Riemann Hypothesis relates to the behaviour of the Riemann zeta (ζ) function. It has been proven that, if the Riemann Hypothesis is true, then certain statements about prime numbers are also true. Because of this, it is of huge importance to mathematicians. Because the problem (or at least the consequences for our understanding of prime numbers) can be understood fairly easily, dozens of 'proofs' of the hypothesis are published to the Internet regularly, normally not dealing with any of the depth of the actual problem. A British academic has collected many such attempted proofs.<ref name="Riemann" />

===P vs. NP problem===
The P vs. NP problem deals with the minimum complexity (i.e. relation between input size and running time) of optimal algorithms solving certain kinds of computational problems.

In [[computer]] science, the complexity of an algorithm is referred to as its "order", abbreviated with a capital O. Say, for example, your problem is sorting a list of n items, and you write an algorithm that takes any list of n items and sorts them. If the computation time is directly proportional to the number of items that have to be tested (i.e. doubling the number of items doubles the computation time), we say the algorithm is O(n). If the computation time is proportional to the number of items squared (i.e. doubling the number of items quadruples the computation time), we say the algorithm is O(n<sup>2</sup>). In the case of sorting an arbitrary list, the fastest algorithms tend to be O(n log n). In the case of searching through an ordered list to see if a specific item is there or not, the fastest algorithm is O(log n).

"P" stands for Polynomial. A computational problem is considered "in P" if an algorithm exists that can solve the problem in "polynomial time" &mdash; that is, it's O(n), or O(n<sup>2</sup>), or O(n<sup>3</sup>), or any order where the n is raised to some fixed power. If, however, the fastest algorithm is something like O(2<sup>n</sup>), where the n appears as an exponent, then the problem isn't being solved in polynomial time and isn't "in P".

"NP" stands for Non-deterministically Polynomial. A computational problem is "in NP" if an algorithm exists that can solve the problem in polynomial time ''on an unlimited number of computers running in parallel.'' A very special subset of NP problems are those considered "NP-complete." These are problems which can all be transformed into one another; the fastest algorithm for solving any one of them can be used to solve them all. Examples of NP-complete problems include the decision version of the Traveling Salesman Problem ("is there a route shorter than ''n'' length along this interconnected network of nodes in which the salesman visits each node exactly once?"), and the Binomial Expansion Problem ("for an equation of n variables, is there an exponent for each one such that we arrive at a given set of results?").

P vs. NP is the question of whether these two sets of problems are equal, that is, if there exist polynomial-time algorithms for problems in NP. This is hugely important to theoretical computer science, and has attained a mythical status as the biggest problem in computer science. For this reason, it attracts a lot of outside attention and a correspondingly large number of cranks. Because of this, various computer scientists and geeks alike have taken a huge interest in the problem and attempted to prove it one way or the other. Sadly, the problem is very unlikely to be resolved without an advanced level of understanding. Scott Aaronson's [http://www.scottaaronson.com/blog/?p=458 article] gives a good overview. The direct practical impact of a proof that P = NP is most likely limited, however, for the simple reason that "polynomial time" is not the same as "fast" for practical purposes (e.g. n<sup>10</sup> is greater than 2<sup>n</sup> for all n below 58, at which point the algorithm requires a multiple of 5×10<sup>17</sup> operations and is intractable regardless). Notable computer scientist Donald Knuth holds the opinion that most likely P is equal to NP, but the proof of it will be non-constructive and have no direct impact on the state of algorithmic research.<ref>[http://www.informit.com/articles/article.aspx?p=2213858 Donald Knuth &mdash; ''Twenty Questions for Donald Knuth'' question 17]</ref>

==See also==
*[[Conservapedia:Conservapedian mathematics|Conservapedian mathematics]]
*[[Mohamed El Naschie]]
*[[Numerology]]
*[[Fun:Pi]]
*[[Science and Math Defeated]]
*[[Vortex-based math]]

==External links==
*[http://goodmath.org/ Good Math, Bad Math blog]
*[http://www.crank.net/maths.html Crank.net Mathematics Section]

==Notes==
{{reflist|group=note}}

==References==
{{reflist|2|80%}}

{{pseudonav}}

[[Category:Mathematics]]
[[Category:Pseudomathematics| ]]
[[Category:Pseudoscience]]

Categories: Mathematics, Pseudomathematics, Pseudoscience