Berry paradox
The Berry paradox arises from considering definitions of the form
- The smallest positive integer not nameable in under eleven words.
But the Berry sentence itself is a specification for that number in only ten words!
This is clearly paradoxical, and seems to indicate that "nameable in under eleven words" is not cleanly enough defined. Using programs or proofs of bounded lengths, one may in fact construct a rigorous version of the paradox; this has been done by Gregory Chaitin in order to produce an incompleteness theorem similar in spirit to Gödel's incompleteness theorem; see algorithmic information theory for an exposition.
The Berry paradox was actually created by Bertrand Russell, who named it after G. G. Berry. Berry had provided the original idea in a letter to Russell about the less specific "the first ordinal that cannot be named in a finite number of words".
Other versions of the Berry paradox exist as well, including the following:
- The smallest positive integer that requires more characters than there are in this sentance to be specified.
- The smallest positive integer not nameable in under one billion words.
- The first number not nameable in under ten words.
References
- Charles H. Bennett, "On Random and Hard-to-Describe Numbers", IBM Report RC7483 (1979) http://www.research.ibm.com/people/b/bennetc/Onrandom.pdf
External links
- http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unm2.html A discussion by Gregory Chaitin
- http://www.cs.yorku.ca/~peter/Berry.html
- http://mathworld.wolfram.com/BerryParadox.html The entry for the Berry paradox at Wolfram Research's MathWorld
- http://www.hgsc.bcm.tmc.edu/~kdurbin/texts/alg.info.chiatin.html