Date: Apr 4, 2013 3:02 PM
Author: Virgil
Subject: Re: Matheology � 224

In article 
WM <> wrote:

> On 4 Apr., 18:21, William Hughes <> wrote:
> > On Apr 4, 5:19 pm, WM <> wrote:
> >

> > > On 4 Apr., 16:08, William Hughes <> wrote:
> > > There is no need to say what numbers belong to mathematics - in
> > > mathematics. There is no need to say what paths belong to the Binary
> > > Tree

> >
> > However, you keep talking about two types of paths,

> Not at all. I talk about sets of nodes that are in the Binary Tree.

WM talks about finite initial sequences of nodes (FISONs) which can
only be paths in finite trees, but are never paths in infinite trees.
> > paths with a last node and paths without a last node.
> > You have to say which subsets of nodes correspond to
> > paths.

> Not at all. I have not to say what sequences of digits I use when I
> write digits.

You have to at least indicate whether your string of digits has last
digit or not. Or do you generally conflate "0.333" with "0.333..."?

That is just the clue of my proof:

WM has yet to produce anything that qualifies as a proof, at least when
outside the walls of his Wolkenmuekenheim,

> In mathematics
> numbers are represented by digits and nothing else.

Lets see WM represent sqrt(2) by digits and nothing else.
Or even 1/2 or 0.5 by digits and nothing else.

> This is also the
> case in Cantor's list. When you require further information, then you
> concede that your matheology is not only based upon digits but on
> additional information that may be given by God but does not belong to
> mathematics.

We have all by now recognized that WM's "mathematics is senseless, but
now he confesses that it is also Godless, as well.

A shame, as . without either sense of God, it is also useless.
> In mathematics a sequence of digits is infinite, if it does not end.
> No further information is required. And the paths are infinite in a
> Binary Tree that contains all finite initial segments of paths.

> >
> > Nope, you can form a subset of nodes without a last node
> > by unioning finite paths.  You have to decide if you wish
> > to call this set of nodes a path.

> There is no decision possible.

There is outside Wolkenmuekenheim.

> And there is no letter in mathematics
> responsible for expressing that decision. The paths are automatically
> infinite in the Binary Tree constructed by finite paths only.

Only in WOLKENMUEKENHEIM can finite paths be autmatically infinite.