On 17 Jun., 12:25, William Hughes <wpihug...@hotmail.com> wrote: > On Jun 17, 2:52 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > On 16 Jun., 23:42, William Hughes <wpihug...@hotmail.com> wrote: > > > > On Jun 16, 1:19 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > On 16 Jun., 13:41, William Hughes <wpihug...@hotmail.com> wrote: > > > > > > On Jun 16, 6:52 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > On 16 Jun., 12:38, William Hughes <wpihug...@hotmail.com> wrote: > > > > > > > > On Jun 15, 4:44 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > > > On 15 Jun., 22:04, William Hughes <wpihug...@hotmail.com> 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." > > > > > > You have repeatedly noted > > > > > > WM: If actually infinite paths exist, > > > > > WM: then there is a path p that can be > > > > > WM: distinguished from every path of P. > > > > > A ==> B > > > > Yes, you agree A ==> B is true. > > > Yes. > > > > > You also claim > > > > > > WM: There is no path p that can > > > > > WM: be distinguished from every path of P. > > > > > ~B > > > > Yes, you claim ~B is true. > > > > <snip> > > > > > > When you add subsets of nodes to the tree you create > > > > > other subsets nodes in the tree that you did not add. > > > > > That is a bare lie. > > > > We have to deal with this claim before we can move > > > on. Note we are talking about subsets of nodes. > > > Precisely: We are talking about subsets of nodes that can be paths or > > parts of paths. > > Nope, you just added the condition "that can be paths or > parts of paths".
Other subsets of nodes are irrelevant. > > <snip> > > > Making my question more explicite: > > What unadded subset, than can be (a part of) a path, is created when > > what path is added? > > Before I answer this question, please answer yes or no.
Yes. But that question does belong to the topic. Subsets of nodes that are not connected by paths, i.e., nodes that do not stand in the ancestor relation are as irrelevant as the question of present day lunch.
