Re: Review of Mueckenheims book.



On Mar 15, 7:18 am, mueck...@xxxxxxxxxxxxxxxxx wrote:
On 13 Mrz., 14:50, "William Hughes" <wpihug...@xxxxxxxxxxx> wrote:

On Mar 13, 2:55 am, mueck...@xxxxxxxxxxxxxxxxx wrote:

On 12 Mrz., 20:52, "William Hughes" <wpihug...@xxxxxxxxxxx> wrote:

The question
is "does the EIT contain infinite paths?".

Yes. The "paths" of the EIT are the lines, not the columns.

No.

The elements of the EIT correspond to the nodes of U(T(n)).

No.

A path is composed of nodes, one from each level.

A line of the EIT is composed of bits which are nodes in the picture
of the tree.

A "path" in the EIT consists of one element of the EIT
from each line.

A path of a finite tree does not consist of one element of every level
of the infinite tree.

Since we are not talking about paths in the finite tree
this remark is irrelevant. A "path" in the EIT
consists of one element of the EIT from each line.


- William Hughes





.



Relevant Pages

  • Re: Review of Mueckenheims book.
    ... Do you agree that the triangle, EIT, ... of nodes in the infinite tree are exactly the same] ... i' The number of nodes in the union of all finite trees up to ... the projection contains an infinite number of units. ...
    (sci.math)
  • Re: Cantor Confusion
    ... I did not prove the truth of the implication (which is true from the ... As a model in ZFC or NBG, take any complete path in an infinite binary ... and take the finite subpath from the root node to ... EIT are represented properly, and one in which every line has a finite ...
    (sci.math)
  • Re: Cantor Confusion
    ... Consider the model given within any infinite tree by any of its ... the root node to any other node. ... This model disproves WM's contentions about his EIT. ... built within one of these infinite binary trees ...
    (sci.math)
  • Re: Cantor Confusion
    ... Virgil schrieb: ... WM's EIT with its edges being the last members of the lines of that EIT. ... Which gives every line being finite but the diagonal being infinite. ... The tree proves that, given aleph_0 exists, aleph_0 is not less than ...
    (sci.math)
  • Re: Cantor Confusion
    ... And since WM has used infinite binary trees as justifying his arguments, ... WM's EIT with its edges being the last members of the lines of that EIT. ... Which gives every line being finite but the diagonal being infinite. ...
    (sci.math)

Quantcast