Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Topic: Distinguishability of paths of the Infinite Binary tree???
Replies: 69   Last Post: Jan 4, 2013 11:11 PM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Distinguishability of paths of the Infinite Binary tree???
Posted: Dec 26, 2012 3:26 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 26 Dez., 10:21, Virgil <vir...@ligriv.com> wrote:
>

> > Note, however, that there is no finite initial segment of any one
> > infinite binary sequence that distinguishes it from ALL others.

>
> Note that there is no sequence of digits that alone defines a number.

Actually there are lots of finite sequences of digits that define
numbers quite effectively,

> You need always a finite definition like 0.111 and so in infinity.
>
> You cannot use a finite sequence of digits alone to define a number,
> because something unexpected could follow. And you cannot an infinite
> sequence of digits to define a number, because the definition would
> never get ready. All you can do is to use a finite definition like 1/3
> or 0.111... or 0.25 and the rest is silence or zeros.
>
>

> > For any finite set of such strings, finite initial segments suffice to
> > distinguish all of them from each other but for at least some infinite
> > set, no finite set of finite initial segments suffices.

>
> And no infinite set is available.

At least not in WMytheology.

> Therefore even the Cantor list must
> be infinite.

> But without finite definition, the Cantor-list is as
> undefined as its diagonal.

It is those who claim that the set of digit strings is countable who
must create that allegedly impossible listing to prove that that set
satisfies the definition of countability.

Any set whose members cannot be 'listed' is, by definition, uncountable.

If WM chooses to say that the set of real numbers, or the set of endless
binary strings cannot be listed, then it is WM who is arguing that those
sets are uncountable.
> >
> > What drives WM is shear orneryness.

>
> What is that?

The necessary quality for membership in your WMytheology.
--

Date Subject Author
12/23/12 Zaljohar@gmail.com
12/24/12 mueckenh@rz.fh-augsburg.de
12/24/12 Virgil
12/24/12 mueckenh@rz.fh-augsburg.de
12/24/12 Virgil
12/25/12 mueckenh@rz.fh-augsburg.de
12/25/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Virgil
12/28/12 mueckenh@rz.fh-augsburg.de
12/28/12 Virgil
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/30/12 fom
12/30/12 mueckenh@rz.fh-augsburg.de
12/30/12 fom
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
1/4/13 ross.finlayson@gmail.com
12/30/12 forbisgaryg@gmail.com
12/30/12 ross.finlayson@gmail.com
12/30/12 Virgil
12/26/12 Zaljohar@gmail.com
12/26/12 Virgil
12/26/12 Zaljohar@gmail.com
12/26/12 gus gassmann
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Zaljohar@gmail.com
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Zaljohar@gmail.com
12/28/12 mueckenh@rz.fh-augsburg.de
12/28/12 Zaljohar@gmail.com
12/28/12 Virgil
12/29/12 Zaljohar@gmail.com
12/29/12 Virgil
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/28/12 Zaljohar@gmail.com
12/29/12 mueckenh@rz.fh-augsburg.de
12/29/12 Virgil
12/27/12 Virgil
12/26/12 fom
12/26/12 Virgil
12/26/12 fom
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 Virgil
12/26/12 mueckenh@rz.fh-augsburg.de
12/26/12 forbisgaryg@gmail.com
12/26/12 Virgil
12/26/12 fom
12/27/12 gus gassmann
12/27/12 Tanu R.
12/27/12 mueckenh@rz.fh-augsburg.de
12/27/12 Tanu R.
12/27/12 Virgil
12/28/12 Zaljohar@gmail.com
12/28/12 Virgil
12/27/12 fom
12/27/12 Virgil
12/24/12 Ki Song