In article <firstname.lastname@example.org>, email@example.com wrote:
> On Friday, 19 July 2013 10:15:42 UTC+2, Virgil wrote: > > >You cannot define any paths a or b other than by finite definitions. > > > > One can, however, definie a Complete Infinite Binary Tree, most of whose > > paths cannot be individually defined, > > Why do you believe in such paths?
Because the tree, being defined, exists, and it cannot exist without all those paths.
> If you define the Binary Tree that contains > only all finite initial segments of its infinite paths
Unless those infinite paths all actually existed, it would be nonsense to speak of finite initial segments of them.
So either they exist or WM is speaking nonsense. Or both! --