Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math.independent

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
mueckenh@rz.fh-augsburg.de

Posts: 14,581
Registered: 1/29/05
Re: Distinguishability of paths of the Infinite Binary tree???
Posted: Dec 27, 2012 7:08 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On 26 Dez., 20:14, Zuhair <zaljo...@gmail.com> wrote:
> On Dec 26, 6:49 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
>
>

> > Cantor's and Hessenberg's "proofs" simply show that infinity is never
> > finished and a complete infinite set is not part of sober thinking.

>
> > Regards, WM
>
> To make the discussion fruitful, lets take all possibilities available
> and see what is the response to each.
>
> (1) To say that the formal proof of Cantor is clear and exact in
> formal terms, but the distinguishability argument is clear on
> intuitive level but has not been verified in formal terms, so
> accordingly we have the option of saying that Infinity do not copy
> intuitions derived from the finite world, and deem the result as just
> counter-intuitive but not paradoxical. I think this is the standard
> approach.
>
> (2) To say that the distinguishability argument is so clear and to
> accept it as a proved result despite the possibilities of verifying it
> at formal level or not, and also maintaining that Cantor's proof is
> very clear and valid, and so we deduce that we have a genuine paradox
> that resulted from assuming having completed infinity, and thus we
> must reject having completed infinity. That's what WM is saying


Yes, but it would not be correct to call it a paradox (i.e., something
contrary to intuition like the relativistic twin paradox) but an
antinomy, because both results contradicting each othe can be obtained
formally.
>
> (3) To consider countability of the finite initial segments FALSE,
> i.e. to say that we have uncountably many finite initial segments of
> reals and as well we have uncountably many reals. This clearly
> preserves congruity of the argument, but it requires justification,
> and the justification can be based on the principle of "parameter free
> definability of sets", since the alleged bijection between the finite
> initial segments of the reals and the set N of all naturals is NOT
> parameter free definable, then this bijection does not exist, and it
> is false to say that it is. This claim only accepts infinite sets to
> exist if there is a parameter free formula after which membership of
> those sets is determined, so if there is non then it doesn't accept
> the existence sets that are not parameter free definable.


Here is a parameter free enumeration of all finite initial segments of
the paths of the Binary Tree:

0
1, 2
3, 4, 5, 6
7, ...

Regards, WM


Date Subject Author
12/23/12
Read Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/24/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/24/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/24/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/24/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/25/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/25/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
fom
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
fom
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
ross.finlayson@gmail.com
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
ross.finlayson@gmail.com
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
ross.finlayson@gmail.com
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
1/4/13
Read Re: Distinguishability of paths of the Infinite Binary tree???
ross.finlayson@gmail.com
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
forbisgaryg@gmail.com
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
ross.finlayson@gmail.com
12/30/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
gus gassmann
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/29/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
fom
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
fom
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
forbisgaryg@gmail.com
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/26/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
fom
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
gus gassmann
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Tanu R.
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
mueckenh@rz.fh-augsburg.de
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Tanu R.
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Zaljohar@gmail.com
12/28/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
fom
12/27/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Virgil
12/24/12
Read Re: Distinguishability of paths of the Infinite Binary tree???
Ki Song

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.