Encapsulation, inheritance and polymorphism

[Albert van der Horst]

In article <Oc-dnUqKG91pgpbNnZ2dnUVZ5vGdnZ2d at giganews.com>,
Erik Max Francis  <max at alcyone.com> wrote:
<SNIP>
>Anything's trivial to "write down."  Just say "the number such that ..."
>and you've written it down.  Even "numbers" that aren't really numbers,
>such as transfinite cardinals!

Now it isn't trivial to write down.
It has been proven (of course in an anti-intuitionistic 1] ,
Cantor-universe) that there is always a larger cardinal, and that
there is no consistent way to write them down. In other ways, you
have to keep inventing new notations, hardly a trivial matter.
See also Hofstaedter: Goedel, Escher, Bach.

>
>--
>Erik Max Francis && max at alcyone.com && http://www.alcyone.com/max/

Groetjes Albert

1] The likes of Brouwer found these silly exercises.)

--
-- 
Albert van der Horst, UTRECHT,THE NETHERLANDS
Economic growth -- being exponential -- ultimately falters.
albert at spe&ar&c.xs4all.nl &=n http://home.hccnet.nl/a.w.m.van.der.horst