4 hundred quadrillonth?

[Lawrence D'Oliveiro]

In message <pan.2009.05.25.05.22.14 at REMOVE.THIS.cybersource.com.au>, Steven 
D'Aprano wrote:

> On Sun, 24 May 2009 22:47:51 +1200, Lawrence D'Oliveiro
> <ldo at geek-central.gen.new_zealand> declaimed the following in
> gmane.comp.python.general:
> 
>> .. Gregory Chaitin among others has been trying to rework physics to get
>> rid of real numbers altogether.
> 
> (1/2) If you "get rid of real numbers", then obviously you must have a
> smaller set of numbers, not a larger.

Chaitin is trying to use only computable numbers. Pi is computable, as is e, 
sqrt(2), the Feigenbaum constant, and many others familiar to us all.

Trouble is, they only make up 0% of the reals. It's the other 100% he wants 
to get rid of.