In article <virgil-9086DC.14315103012013@BIGNEWS.USENETMONSTER.COM>, Virgil <firstname.lastname@example.org> writes: >In article <email@example.com>, WM <firstname.lastname@example.org> wrote: >> On 2 Jan., 22:19, Zuhair <zaljo...@gmail.com> wrote:
>> > On the other hand Cantor have presented many arguments all of which >> > are rigorously formalized in second order logic under full semantics, >> > and those arguments PROVED that there are uncountably many reals >> >> that can be distinguished by their finite initial segments. > >A decimal, or other base, expression is not a actually a number but >merely a numeral, a representation of or name for a number. > >Actually, no real can be distinguished from ALL others by ANY finite >initial segment of its decimal, or other base, representation.
However, ANY real can be distinguished from ANY other by SOME finite initial segment of its decimal, or other base, representation.
(I'm aware that you know this, but I doubt that WM even understands the distinction between our statements.)
-- Michael F. Stemper #include <Standard_Disclaimer> This sentence no verb.