[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