[CORK] Re: shy reals

Gregory Alan Bolcer gbolcer at endeavors.com
Mon Apr 14 16:11:47 PDT 2003

>>But here's the interesting thing: all the
>>finitely describable numbers are themselves
>>countable. The remaining reals, the "shy"
>>ones, are the uncountable bulk of reals, even
>>though I cannot name one of them.

Is that true?? I thought that Ackerman's function
was finitely describable but not countable.  Maybe
I'm confusing countable with computable.  Most
computers can't get past Ack(3, 7) or greater.


Gregory Alan Bolcer, CTO  | work: +1.949.833.2800
gbolcer at endeavors.com  | http://endeavors.com
Endeavors Technology, Inc.| cell: +1.714.928.5476

More information about the FoRK mailing list