Re: infinity



imaginatorium@xxxxxxxxxxxxx said:
> aeo6 Tony Orlow wrote:
> > imaginatorium@xxxxxxxxxxxxx said:
> > > Tony Orlow (aeo6) wrote:
> > > > Virgil said:
> > > > > In article <MPG.1d7f9000c6e111a298a19f@xxxxxxxxxxxxxxxxxxxxxxxxx>,
> > > > > Tony Orlow (aeo6) <aeo6@xxxxxxxxxxx> wrote:
> > > > > ...[?]
> > > > > > > > > I mapped paths from the same tree ...
> > >
> > > That's enough. I'm generally avoiding both tree and vase arguments,
> > > since they are far too complex. But let's just try a little...
> > >
> > > > Let us try inductive proofs regarding the relationship between branches and
> > > > paths.
> > >
> > > Uh-oh. OK, I'll try as well. I'll investigate how many ends there are
> > > in an endless tree (that's one in which every node branches into two
> > > child nodes, and this never never never never ends). Intuitively, I'd
> > > expect that an endless tree would not have any ends, since I've defined
> > > it that way, but let's see.
> > >
> > > > Proof: In a maximal binary tree, number of paths is half the number of
> > > > branches, plus 1.
> > > >
> > > > 1. For an empty tree consisting of the root node, there is one path in the
> > > > tree, of length zero, and no branches. 1 path = 0 branches/2 + 1.
> > >
> > > For an "empty" [not quite the right word, is it] tree, there is one
> > > end.
> > Uh, yeah, one path, like I said.
>
> Look, you have written your "proof" - I'm interlining my "proof", a
> different "proof", of something different. (What do you mean by "path"?
> Is it a 'way through the tree'?)
Yes a path is a succession of branches from the root, through child nodes, to a
leaf, or possibly infinitely long with no discernible leaf.
>
> <snip>
>
> > > > Proof: In a maximal binary tree with paths of length n, or depth of n, there
> > > > are p(n)=2^n paths and b(n) = 2(2^n-1) = 2(p(n)-1) branches.
> > >
> > > What do you mean by "Proof"? Isn't this still part of the same
> > > argument? You would get more respect if you took the trouble to
> > > understand elementary notational conventions.
> > This was a second proof, using a slightly different statement.
>
> Oh, OK. In a tree that terminates at depth n, p(n) is the number of
> terminal nodes, and b(n) is the number of 'branches', where a branch is
> a link from one node to its child. Yeah, OK, I agree with the
> 'numbers'.
Yay!!!
>
>
> > > Anyway, never mind: to finish off *my* proof... By induction, the
> > > number of ends of an endless tree is infinity. Da-dah!!
> > yes, you are very clever......
>
> Well, I'd like you to address the substantive issue. Seems to me that
> if one were to consider an unending tree, each path through it would be
> unending, so there would be some infinite number of branches, but there
> would also be zero leaf nodes. Do you agree?
If one imagines a tree that goes forever and never ends, one might imagine that
there are no leaf nodes. If we look at the tree as representing the binary
numbers, each path corresponds to a single infinite string of bits, each branch
corresponds to a bit, and the nodes are just the spaces between digits. The
root node corresponds to the digital point. So, no leaf nodes means that all
bit strings are infinite. I suppose I can live with an image with no leaf
nodes, but that doesn't affect the relationship between branches and paths,
does it? Aren't there still essentially twice as menay branches as paths, and
if so, can there possibly be countably many branches, and uncountably many
paths?
>
> Brian Chandler
> http://imaginatorium.org
>
>

--
Smiles,

Tony
.



Relevant Pages

  • Re: Cantor and the binary tree
    ... An infinite tree means one in which *every* node branches and leads to ... they end in leaf nodes. ... > one node that represents the root path. ...
    (sci.math)
  • Re: Cantor and the binary tree
    ... You deliberately snipped the context, ... >> path ends in a leaf node, which are half the nodes in the tree. ... In real mathematics that means that in an infinite tree, ... > although the paths never end, they end in leaf nodes. ...
    (sci.math)
  • Re: Cantor and the binary tree
    ... >>> unending paths which have no terminal or leaf nodes. ... >> and if one is infinite, ... Finite tree only have finite numbers of nodes and paths. ...
    (sci.math)
  • Re: Extracting class data from a jar
    ... followed by code generation. ... Any idea how I could extract the relevant data? ... Didn't describe what this tree represents. ... NodeComponent nodes can only be dropped on leaf nodes, with 1 exception, ...
    (comp.lang.java)
  • Re: Would it matter if ZF was inconsistent?
    ... the infinite cartesian product to define the infinite case. ... a tree of level n. ... your leaf nodes are not leaf ... nodes of the complete binary tree but rather of certain ...
    (sci.logic)