Virgil
Posts:
4,482
Registered:
1/6/11
|
|
Re: Matheology � 198
Posted:
Jan 24, 2013 3:25 PM
|
|
In article
<c019df5f-3754-4b99-a5e9-491faed857d0@h2g2000yqa.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 24 Jan., 09:32, Virgil <vir...@ligriv.com> wrote:
> > In article
> > <395bea71-7f73-49dc-94d0-5a422088d...@z8g2000yqo.googlegroups.com>,
> >
> > WM <mueck...@rz.fh-augsburg.de> wrote:
> > > The following is copied from Mathematics StackExchange and
> > > MathOverflow. Small wonder that the sources have been deleted already.
> >
> > > How can we distinguish between that infinite Binary Tree that contains
> > > only all finite initial segments of the infinite paths and that
> > > complete infinite Binary Tree that in addition also contains all
> > > infinite paths?
> >
> > WM also distinguishes between the union of all finite initial segments
> > of |N and |N itself,
>
> Is the set of all terminating decimal expansions of real numbers of
> the unit interval not a set?
It is not a set in WMytheology, according to WM's prior posts.
> Is it poorly defined? Do not all its
> elements exist in ZF? (Not even AC is necessary.) Is it impossible to
> distinguish a non-terminating decimal like that of 1/3 from all
> terminating decimals?
>
> The infinite set T of all terminating decimals t_i exists.
It is not a set in WMytheology, according to WM's prior posts.
--
|
|
