In article <2df84f81-1d47-45ea-b13e-c0e0025bd10d@h11g2000yqb.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> On 12 Jun., 23:48, Virgil <virg...@nowhere.com> wrote: > > In article > > <a9298759-d38b-46b5-b4c7-2c86c8c73...@h11g2000yqb.googlegroups.com>, > > > > WM <mueck...@rz.fh-augsburg.de> wrote: > > > > Your claim is that "no possibility exists to construct or to > > > > distinguish by one or many or infinitely many nodes > > > > of the tree another path." > > > > > So it is. > > > Proof: Let me construct a tree. I will not tell you what kind of paths > > > I use. For instance I could use terminating paths or paths with tails > > > 111... or paths with tails pi-3 or paths with tails e-2 or a mixture > > > of many kinds of paths. I will present you the tree when it is ready. > > > Would you bet to be able to distinuish your path from the set that I > > > have used? > > > > If you hide the paths you have used, there is no way, without peeking, > > that anyone else can Tel wish paths yo have used, but that is immaterial. > > > > The point is that whatever paths you have used, by the time the maximal > > infinite binary tree finally exists, there are paths in it that you did > > not use. > > How do they come in?
They are a natural and inevitable consequence of the tree becoming a maximal infinite binary tree. As soon as all the required nodes are there, so, automatically, are all those unused paths. As soon as one has the set of all nodes, every possible subset is a subset, and all those paths are merely paticular subsets.
> The tree is constructed from a countable set P of > terminating paths.
If the union of that set P contains every node of the maximal infinite binary tree as a member, then it contains every set of nodes as a subset, therefore contains every path as a subset.
> If you have a Cantor list filled with those paths, > then you claim to be able to construct another path p. So this path > does not creaqpo intio the list.
But it is in a new list. But P is not just a list, it must be a set of sets of nodes and the union of P (the set of all members of members of P) must then be the set of ALL nodes, at least if the tree is to be constructed from it.
And once one has a set of all nodes, one has as subsets all those paths WM doesn't like hearing about.
> But it does creap into the tree?
Do you mean "creep"
> When > does it creap? Where does it lurk and who tells it when to start?
If the subsets of P cover all nodes then the union of P is the set of nodes and the subsets of that union include al those paths that upset WM so badly, so I guess one would have to say that when building your P, as soon as what you have built so far covers all nodes, you have all paths. > > That is nonsense! There is no actualyy infinite path. So nothing needs > to creap and superstision can be expelled from mathematics.
That is WM's nonsense.
WM can hardly build his own infinite paths, as he has been doing here for some time, and then deny infinite paths to everyone else. > > > > > > > > > So let us play the game. Choose a path and try to distinguish it from > > > the set of paths that completely cover my tree. > > > > Until I know which paths you used, I can only guess, but if I guess > > slyly enough, and your set of paths is countable, the odds are greatly > > in my favor. > > But if I trick you out and decide only after you have guessed?
That is not the game originally proposed, so that WM finds he needs to cheat.
> Or if I > am honest, as is my character, and use only every path that can be > named? Then your odds are zero if not less.
For any finite list of more than one name, the concatenation of all its names cannot be included within it as a name. And WM declares that absolutely no infinite lists of names are possible, so he loses. > > > > > > > > > > > Every node of path p and every set of nodes > > > > > of path p is covered by one or more paths of P. > > > > > > Indeed, one *or more* paths of P. > > > > The set of nodes in path p is > > > > not covered by one path in P. > > > > > Ok. Let us start. I often get spam mails offering some millions of > > > dollars. I will risk one of them, say 10 million dollars on the claim > > > that you will not be able to distinguish your path from the set of > > > paths that I have used for construction. What about your stakes? > > > > Is your set of paths countable (and actually counted or listed, at least > > algorithmically), and recorded with a neutral referee? > > > > If 'yes' to both, you would almost certainly lose at any stakes. > > Yes to both. Here is the algorithmus generating the words than label > my paths including the dictionary and grammar of all languages that > are able to identify paths: > > 0 > 1 > 00 > 01 > 10 > 11
None of the above are paths, or even sets of nodes, so are not allowable.
Your own specification required a SET OF PATHS: "you will not be able to distinguish your path from the set of paths that I have used for construction"
