Interesting number paradox
The interesting number paradox is a semi-humorous paradox which arises from the attempt to classify natural numbers as "interesting" or "dull". The paradox states that all natural numbers are interesting. The "proof" is by contradiction: if there exists a non-empty set of uninteresting numbers, there would be a smallest uninteresting number – but the smallest uninteresting number is itself interesting because it is the smallest uninteresting number, producing a contradiction.
Attempting to classify all numbers this way leads to a paradox or an antinomy of definition. Any hypothetical partition of natural numbers into interesting and dull sets seems to fail. Since the definition of interesting is usually a subjective, intuitive notion of "interesting", it should be understood as a half-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 integer that does not appear in an entry of the On-Line Encyclopedia of Integer Sequences was originally found to be 11630 on 12 June 2009. 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. (Note that this is possible only because the OEIS lists only a finite number of terms for each entry. 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.
However, as there are many significant results in mathematics that make use of self-reference (such as Gödel's Incompleteness Theorem), the paradox illustrates some of the power of self-reference, and thus touches on serious issues in many fields of study.
One proposed resolution of the paradox asserts that only the first uninteresting number is made interesting by that fact. For example, if 39 and 46 were the first two uninteresting numbers, then 39 would become interesting as a result, but 46 would not since it is not the first uninteresting number.
- Church–Turing thesis
- Gödel's incompleteness theorems
- Grelling–Nelson paradox
- List of paradoxes
- Richard's paradox
- Unexpected hanging paradox
- Kleene–Rosser paradox
- Johnston, N. (June 12, 2009). "11630 is the First Uninteresting Number". Retrieved November 12, 2011.
- Charles R Greathouse IV. "Uninteresting Numbers". Retrieved 2011-08-28.
- Clark, M., 2007, Paradoxes from A to Z, Routledge, ISBN 0-521-46168-5.
- Gardner, Martin (1959). Mathematical Puzzles and Diversions. ISBN 0-226-28253-8.
- Gleick, James (2010). The Information (chapter 12). New York: Pantheon Books. ISBN 978-0-307-37957-3.