Virgil
Posts:
4,479
Registered:
1/6/11
|
|
Re: Distinguishability argument x Cantor's arguments?
Posted:
Jan 4, 2013 4:10 PM
|
|
In article
<2d1a5267-69cd-4c66-a269-605e752f7aea@x10g2000yqx.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
> That means that every real that shall be used in mathematics needs a
> finite representation over a countable alphabet (even a finite
> alphabet - but that does not matter here).
That depends entirely on HOW it is used. In the decimalized form of
Cantor's diagonal argument, real numbers of unspecified values can be
shown to be listed and for any such listing a real of unspecified but
somewhat constrained value can be shown not to be listed in that list.
--
|
|
