Re: The complete infinite binary tree has only countably many infinite paths.



On 28 Mar, 12:29, David C. Ullrich <dullr...@xxxxxxxxxxx> wrote:
On Fri, 27 Mar 2009 13:26:20 -0700 (PDT), LudovicoVan

<ju...@xxxxxxxxxxxxx> wrote:
On 24 Mar, 11:56, WM <mueck...@xxxxxxxxxxxxxxxxx> wrote:
The complete infinite binary tree has only countably many infinite
paths.

Absolutely!

not.

When the nodes are countable, how could the paths be not?

"How could they not be?"

Thanks for the correction, appreciated.

is not a proof of anything.

Indeed, it's even straightforward that there is a bijection between
the paths and the leaf nodes...

Huh? In the tree in question there are _no_ leaf nodes.

That's informal and, as such, I believe it's quite correct: easy to
see by graphical means, but you guys tend to deny any graphical
approach.

But! If you (or anybody) give a _transfinite definition_ for the
complete infinite binary tree (i.e., as near as possible to a
"constructive recipe"), then -I'll claim- giving the mentioned
bijection in formal terms is going to be trivial...

-LV
.



Relevant Pages

  • 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)
  • Re: Would it matter if ZF was inconsistent?
    ... the infinite cartesian product to define the infinite case. ... at level n in the binary tree, ... we will call *leaf nodes* ... Extending the definitions to the transfinite, ...
    (sci.logic)
  • Re: infinity
    ... >>> 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. ... >> root node corresponds to the digital point. ...
    (sci.math)
  • Re: ** says: Definition: sum{i in N} i = 0
    ... have leaf nodes must apply to paths not having leaf nodes also. ... Does WM deny that for every finite binary tree in which all paths are of ... when the tree becomes infinite, ...
    (sci.math)