Interesting number paradox

Last updated

The interesting number paradox is a humorous paradox which arises from the attempt to classify every natural number as either "interesting" or "uninteresting". The paradox states that every natural number is interesting. [1] The "proof" is by contradiction: if there exists a non-empty set of uninteresting natural numbers, there would be a smallest uninteresting number – but the smallest uninteresting number is itself interesting because it is the smallest uninteresting number, thus producing a contradiction.

Contents

"Interestingness" concerning numbers is not a formal concept in normal terms, but an innate notion of "interestingness" seems to run among some number theorists. Famously, in a discussion between the mathematicians G. H. Hardy and Srinivasa Ramanujan about interesting and uninteresting numbers, Hardy remarked that the number 1729 of the taxicab he had ridden seemed "rather a dull one", and Ramanujan immediately answered that it is interesting, being the smallest number that is the sum of two cubes in two different ways. [2] [3]

Paradoxical nature

Attempting to classify all numbers this way leads to a paradox or an antinomy [4] of definition. Any hypothetical partition of natural numbers into interesting and uninteresting sets seems to fail. Since the definition of interesting is usually a subjective, intuitive notion, it should be understood as a semi-humorous application of self-reference in order to obtain a paradox.

The paradox is alleviated if "interesting" is instead defined objectively: for example, the smallest natural number that does not appear in an entry of the On-Line Encyclopedia of Integer Sequences (OEIS) was originally found to be 11630 on 12 June 2009. [5] The number fitting this definition later became 12407 from November 2009 until at least November 2011, then 13794 as of April 2012, until it appeared in sequence OEIS:  A218631 as of 3 November 2012. Since November 2013, that number was 14228, at least until 14 April 2014. [5] In May 2021, the number was 20067. (This definition of uninteresting is possible only because the OEIS lists only a finite number of terms for each entry. [6] For instance, OEIS:  A000027 is the sequence of all natural numbers, and if continued indefinitely would contain all positive integers. As it is, the sequence is recorded in its entry only as far as 77.) Depending on the sources used for the list of interesting numbers, a variety of other numbers can be characterized as uninteresting in the same way. [7] For instance, the mathematician and philosopher Alex Bellos suggested in 2014 that a candidate for the lowest uninteresting number would be 224 because it was, at the time, "the lowest number not to have its own page on [the English-language version of] Wikipedia". [8] As of August 2024, this number is 315.

However, as there are many significant results in mathematics that make use of self-reference (such as Gödel's incompleteness theorems), the paradox illustrates some of the power of self-reference, [nb 1] and thus touches on serious issues in many fields of study. The paradox can be related directly to Gödel's incompleteness theorems if one defines an "interesting" number as one that can be computed by a program that contains fewer bits than the number itself. [9] Similarly, instead of trying to quantify the subjective feeling of interestingness, one can consider the length of a phrase needed to specify a number. For example, the phrase "the least number not expressible in fewer than eleven words" sounds like it should identify a unique number, but the phrase itself contains only ten words, and so the number identified by the phrase would have an expression in fewer than eleven words after all. This is known as the Berry paradox. [10]

History

In 1945, Edwin F. Beckenbach published a short letter in The American Mathematical Monthly suggesting that

One might conjecture that there is an interesting fact concerning each of the positive integers. Here is a "proof by induction" that such is the case. Certainly, 1, which is a factor of each positive integer, qualifies, as do 2, the smallest prime; 3, the smallest odd prime; 4, Bieberbach's number; etc. Suppose the set S of positive integers concerning each of which there is no interesting fact is not vacuous, and let k be the smallest member of S. But this is a most interesting fact concerning k! Hence S has no smallest member and therefore is vacuous. Is the proof valid? [11]

Constance Reid included the paradox in the 1955 first edition of her popular mathematics book From Zero to Infinity , but removed it from later editions. [12] Martin Gardner presented the paradox as a "fallacy" in his Scientific American column in 1958, including it with six other "astonishing assertions" whose purported proofs were also subtly erroneous. [1] A 1980 letter to The Mathematics Teacher mentions a jocular proof that "all natural numbers are interesting" having been discussed three decades earlier. [13] In 1977, Greg Chaitin referred to Gardner's statement of the paradox and pointed out its relation to an earlier paradox of Bertrand Russell on the existence of a smallest undefinable ordinal (despite the fact that all sets of ordinals have a smallest element and that "the smallest undefinable ordinal" would appear to be a definition). [4] [14]

In The Penguin Dictionary of Curious and Interesting Numbers (1987), David Wells commented that 39 "appears to be the first uninteresting number", a fact that made it "especially interesting", and thus 39 must be simultaneously interesting and dull. [15]

See also

Notes

  1. ↑ See, for example, Gödel, Escher, Bach#Themes, which itself—like this section of this article—also mentions and contains a wikilink to self-reference.

Related Research Articles

The Berry paradox is a self-referential paradox arising from an expression like "The smallest positive integer not definable in under sixty letters".

<span class="mw-page-title-main">Natural number</span> Number used for counting

In mathematics, the natural numbers are the numbers 0, 1, 2, 3, etc., possibly excluding 0. Some define the natural numbers as the non-negative integers0, 1, 2, 3, ..., while others define them as the positive integers1, 2, 3, .... Some authors acknowledge both definitions whenever convenient. Some texts define the whole numbers as the natural numbers together with zero, excluding zero from the natural numbers, while in other writings, the whole numbers refer to all of the integers. The counting numbers refer to the natural numbers in common language, particularly in primary school education, and are similarly ambiguous although typically exclude zero.

Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability 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.

2 (two) is a number, numeral and digit. It is the natural number following 1 and preceding 3. It is the smallest and the only even prime number.

Jules Richard was a French mathematician who worked mainly in geometry but his name is most commonly associated with Richard's paradox.

In logic, Richard's paradox is a semantical antinomy of set theory and natural language first described by the French mathematician Jules Richard in 1905. The paradox is ordinarily used to motivate the importance of distinguishing carefully between mathematics and metamathematics.

Foundations of mathematics is the logical and mathematical framework that allows the development of mathematics without generating self-contradictory theories, and, in particular, to have reliable concepts of theorems, proofs, algorithms, etc. This may also include the philosophical study of the relation of this framework with reality.

<span class="mw-page-title-main">Aleph number</span> Infinite cardinal number

In mathematics, particularly in set theory, the aleph numbers are a sequence of numbers used to represent the cardinality of infinite sets that can be well-ordered. They were introduced by the mathematician Georg Cantor and are named after the symbol he used to denote them, the Hebrew letter aleph (ℵ).

71 (seventy-one) is the natural number following 70 and preceding 72.

1729 is the natural number following 1728 and preceding 1730. It is the first nontrivial taxicab number, expressed as the sum of two cubic numbers in two different ways. It is also known as the Ramanujan number or Hardy–Ramanujan number, named after G. H. Hardy and Srinivasa Ramanujan.

Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1933, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that "arithmetical truth cannot be defined in arithmetic".

163 is the natural number following 162 and preceding 164.

In mathematics, Robinson arithmetic is a finitely axiomatized fragment of first-order Peano arithmetic (PA), first set out by Raphael M. Robinson in 1950. It is usually denoted Q. Q is almost PA without the axiom schema of mathematical induction. Q is weaker than PA but it has the same language, and both theories are incomplete. Q is important and interesting because it is a finitely axiomatized fragment of PA that is recursively incompletable and essentially undecidable.

In mathematics, an impossibility theorem is a theorem that demonstrates a problem or general set of problems cannot be solved. These are also known as proofs of impossibility, negative proofs, or negative results. Impossibility theorems often resolve decades or centuries of work spent looking for a solution by proving there is no solution. Proving that something is impossible is usually much harder than the opposite task, as it is often necessary to develop a proof that works in general, rather than to just show a particular example. Impossibility theorems are usually expressible as negative existential propositions or universal propositions in logic.

In mathematics, the Ulam numbers comprise an integer sequence devised by and named after Stanislaw Ulam, who introduced it in 1964. The standard Ulam sequence starts with U1 = 1 and U2 = 2. Then for n > 2, Un is defined to be the smallest integer that is the sum of two distinct earlier terms in exactly one way and larger than all earlier terms.

<span class="mw-page-title-main">Ordinal number</span> Generalization of "n-th" to infinite cases

In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals aimed to extend enumeration to infinite sets.

<i>The Penguin Dictionary of Curious and Interesting Numbers</i> Book by David Wells

The Penguin Dictionary of Curious and Interesting Numbers is a reference book for recreational mathematics and elementary number theory written by David Wells. The first edition was published in paperback by Penguin Books in 1986 in the UK, and a revised edition appeared in 1997 (ISBN 0-14-026149-4).

In mathematics, a sequence of natural numbers is called a complete sequence if every positive integer can be expressed as a sum of values in the sequence, using each value at most once.

In number theory, a Fermi–Dirac prime is a prime power whose exponent is a power of two. These numbers are named from an analogy to Fermi–Dirac statistics in physics based on the fact that each integer has a unique representation as a product of Fermi–Dirac primes without repetition. Each element of the sequence of Fermi–Dirac primes is the smallest number that does not divide the product of all previous elements. Srinivasa Ramanujan used the Fermi–Dirac primes to find the smallest number whose number of divisors is a given power of two.

References

  1. 1 2 Gardner, Martin (January 1958). "A collection of tantalizing fallacies of mathematics". Mathematical games. Scientific American. 198 (1): 92–97. doi:10.1038/scientificamerican0158-92. JSTOR   24942039.
  2. ↑ Singh, Simon (15 October 2013). "Why is the number 1,729 hidden in Futurama episodes?". BBC News Online. Retrieved 15 October 2013.
  3. ↑ Baez, John C. (2022-02-28). "Hardy, Ramanujan and Taxi No. 1729". The n-Category Café. Retrieved 2022-10-14.
  4. 1 2 Chaitin, G. J. (July 1977). "Algorithmic information theory". IBM Journal of Research and Development. 21 (4): 350–359. doi:10.1147/rd.214.0350.
  5. 1 2 Johnston, N. (June 12, 2009). "11630 is the First Uninteresting Number" . Retrieved November 12, 2011.
  6. ↑ Bischoff, Manon. "The Most Boring Number in the World Is ..." Scientific American. Retrieved 2023-03-16.
  7. ↑ Greathouse IV, Charles R. "Uninteresting Numbers". Archived from the original on 2018-06-12. Retrieved 2011-08-28.
  8. ↑ Bellos, Alex (June 2014). The Grapes of Math: How Life Reflects Numbers and Numbers Reflect Life. illus. The Surreal McCoy (1st Simon & Schuster hardcover ed.). N.Y.: Simon & Schuster. pp. 238 & 319 (quoting p. 319). ISBN   978-1-4516-4009-0.
  9. ↑ Bennett, Charles H. (2007). "On Random and Hard-to-Describe Numbers". In Calude, Cristian S. (ed.). Randomness and Complexity, from Leibniz to Chaitin. World Scientific. pp. 3–12. doi:10.1142/9789812770837_0001. ISBN   978-9-812-77082-0. OCLC   173808093. Originally circulated as a preprint in 1979.
  10. ↑ Yanofsky, Noson S. (2013). The Outer Limits of Reason: What Science, Mathematics, and Logic Cannot Tell Us. Cambridge, Massachusetts: MIT Press. pp. 26–28. ISBN   978-1-4619-3955-9. OCLC   857467673.
  11. ↑ Beckenbach, Edwin F. (April 1945). "Interesting integers". The American Mathematical Monthly . 52 (4): 211. JSTOR   2305682.
  12. ↑ Hamilton, J. M. C. (1960). "Review of From Zero to Infinity, 2nd ed". Mathematics Magazine . 34 (1): 43–44. doi:10.2307/2687853. JSTOR   2687853?. MR   1571022.
  13. ↑ Gould, Henry W. (September 1980). "Which numbers are interesting?". The Mathematics Teacher. 73 (6): 408. JSTOR   27962064.
  14. ↑ Russell, Bertrand (July 1908). "Mathematical logic as based on the theory of types". American Journal of Mathematics. 30 (3): 222–262. doi:10.2307/2369948. JSTOR   2369948.
  15. ↑ Wells, David (1987). The Penguin Dictionary of Curious and Interesting Numbers. Penguin Books. p. 120. OCLC   17634415.

Further reading

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.