Microsoft Store
 

Berry paradox


 

The Berry paradox arises when one attempts to evaluate expressions like the following:

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
  • George Boolos, "A new proof of the Gödel Incompleteness Theorem." Notices of the American Mathematical Society, 36(4), pp. 388-390.