Re: abundance of irrationals!)



In article <MPG.1ceac1efbfdb7808989bfb@xxxxxxxxxxxxxxxxxxxxxxxxx>,
Tony Orlow (aeo6) <aeo6@xxxxxxxxxxx> wrote:

> Russell said:
> > aeo6 Tony Orlow wrote:
> >
> > [snip]
> >
> > > Excuse me, but the nodes of an infinitely deep binary tree can
> > obviously be
> > > enumerated in a linear manner, corresponding to binary integers and
> > thus to the
> > > naturals.
> >
> > Yes.
> >
> > If you want to complain that it would require infinite digits for
> > > most values,
> >
> > Huh? What does that even mean? What values are you
> > talking about? And digits of what?
> Duh. The digits of the binary number that represent each node on the tree,
> where each bit represents a right or left branch as a 0 or 1. Infinite
> strings
> of such digits represent elements infinitely far out on the branches.

Wrong! Every node is represented by a finite string of binary digits,
since there are no "nodes at infinity". An infinite such string can only
represent a never ending pathway through infinitely many nodes. A string
cannot stop on at any node without coming to an end and being finite.


> What did you think, when I referred to correspondence between the
> nodes of a binary tree and binary integers?

When you mentioned infinite strings representing nodes, we knew you were
not referring to anything but your own delusions.

> >
> > > that's irrelevant. it's still an enumeration of the reals.
> >
> > No. The obvious linear enumeration of *nodes* is not an
> > enumeration of the reals. For that, you need to enumerate
> > the different paths. That's not merely a rearrangement of
> > the enumeration of nodes; if you think it is, then please
> > tell us how you associate each node with one and only one
> > path. Can't be done.
> Each bit enumerates a step in the choice of path. Think about it.

But the infinite strings do not stop, so cannot repredsent any
particular node.
> >
> > > Enumeration is irrelevant to the level of infinity, except insofar as
> > we must
> > > rearrange the quantities in order to enumerate them linearly. Don't
> > look in
> > > your bag of axioms for proof of this. It's been conveniently
> > excluded.
> >
> > Yes, it would be rather inconvenient to make that an axiom,
> > since it's inconsistent with the other axioms. I think you've
> > gotten stuck thinking about rearrangements that turn out not
> > to exist in fact.
> >
> >
> Think what you like.

We would like you to think, but so far there has been no evidence that
you can.
.



Relevant Pages

  • Re: infinity
    ... >>> Sure, given S symbols in L digits, you can represent exactly L^S ... If you are required to have infinite ... >> strings in an infinite set of strings from a finite alphabet ... if there is no finite bound on the lengths of the strings, ...
    (sci.math)
  • Re: Galileos Paradox
    ... Length is an integral quantity, when it comes to strings, since there are no partial symbols. ... But there are an infinite number of intermediate numbers between those and, say, ...2222. ... sequence), there are sub-sequences which are not computable, hence ... that enumeration along the other axis? ...
    (sci.math)
  • Re: infinity
    ... >> Sure, given S symbols in L digits, you can represent exactly L^S ... If you are required to have infinite ... > strings in an infinite set of strings from a finite alphabet ... Individual naturals are all finite, but the set of all of them has no ...
    (sci.math)
  • Re: Cantor and the binary tree
    ... and diagonal traversal does not cover all strings. ... Do the math, and stop playing bad logic games, and declaring nonexistent differences between the finite and infinite. ... Any such list is exponentially longer than it is wide in digits. ... If they are a larger set than the naturals, then that is a valid conclusion, perhaps, but to say they can't be enumerated like the naturals, is just wrong. ...
    (sci.math)
  • Re: New countable infiniity logic
    ... > produces all numbers with every combination of digits. ... and all numers with every REPEATING infinite decimal ... I assume by "an infinite list" you mean "an enumeration with cardinality ... enumerating TMs. ...
    (sci.math)