List of published false theorems

List of published false theorems

The historical record of mathematics and mathematicians is excellent overall. Few published theorems have later been discovered to be false. However, a number of well-known exceptions are listed below.

*In 1803, Gian Francesco Malfatti proved that a certain arrangement of three circles would cover the maximum possible area inside a right triangle. However, to do so he made certain unwarranted assumptions about the configuration of the circles. It was shown in 1930 that circles in a different configuration could cover a greater area, and in 1967 that Malfatti's configuration was "never" optimal. See Malfatti circles.

* In his "Cours d'analyse" of 1821, Cauchy "proved" that if a sum of continuous functions converges pointwise, then its limit is also continuous. However, Abel observed three years later that this is not the case. For the conclusion to hold, "continuous" must be replaced with "uniformly continuous". [cite book | title = The Cambridge History of Science | last = Porter | first = Roy | page = 476 | publisher = Cambridge University Press | year = 2003 | isbn = 0521571995] There are many counterexamples. For example, a Fourier series of sine and cosine functions, all continuous, may converge to a discontinuous function such as a step function.

* Kurt Gödel "proved" in 1932 that the truth of a certain class of sentences of first-order arithmetic, known in the literature as [*2*, "all", (0)] , was decidable. That is, there was a method for deciding correctly whether any statement of that form was true. In the final sentence of that paper, he asserted that the same proof would work for the decidability of the larger class [*2*, "all", (0)] =, which also includes formulas that contain an equality predicate. However, in the mid-1960s, Stål Aanderaa showed that Gödel's proof would "not" go through for the larger class, and in 1982 Warren Goldfarb showed that validity of formulas from the larger class was in fact undecidable. [cite book|title = The Classical Decision Problem | last = Boerger | first = Egon | coauthors = Erich Grädel, Yuri Gurevich | page = 188 | publisher = Springer | year = 1997| isbn = 3540423249] [cite book|title = Kurt Gödel: Collected Works, vol I | volume = 1 | last = Goldfarb | first = Warren | authorlink = Warren Goldfarb | page = 229–231 | publisher = Oxford University Press | year = 1986 | isbn = 0195039645 | editor = Solomon Feferman (ed.)]

Additionally, there have been many cases in which a published proof was incorrect, although the theorem in question eventually turned out to be true anyway. Some of the most notable are listed below.

* In 1879, Alfred Kempe published a purported proof of the four-color map theorem that stood for eleven years before it was refuted. The proof did, however, suffice to show the weaker five-color map theorem. The four-color theorem was eventually proved in 1976. [cite book|author=Thomas L. Saaty and Paul C. Kainen|title=The Four-Color Problem: Assaults and Conquest|isbn=9780486650920|publisher=Dover Publications|date=1986]

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • List of Russian people — The Millennium of Russia monument in Veliky Novgorod, featuring the statues and reliefs of the most celebrated people in the first 1000 years of Russian history …   Wikipedia

  • List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… …   Wikipedia

  • List of fallacies — For specific popular misconceptions, see List of common misconceptions. A fallacy is incorrect argumentation in logic and rhetoric resulting in a lack of validity, or more generally, a lack of soundness. Contents 1 Formal fallacies 1.1… …   Wikipedia

  • List of mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… …   Wikipedia

  • Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

  • Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area …   Wikipedia

  • Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”