Almost all real numbers are undefinable (http://en.wikipedia.org/wiki/Definable_real_number). But it's (by definition) impossible to write down any formula naming any specific undefinable real, much less issue a checkable certificate for a given one.
none
- 41
- 1