In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> > Let > > > > 1, 2, 3 > > 6, 7, 8 > > 0, 4, 5 > > > > be a *finite* list > > > > Then the last line is > > > > 0, 4, 5 > > > > The contents of the removed lines > > are not in the last line. > > Here you have really made a good point.
WM claims to know how to map bijectively the set of infinite binary sequences, B, linearly to the set of reals and then map that image set of reals linearly ONTO the set of all paths, P, of a Complete Infinite Binary Tree.
But each binary rational in |R is necessarily the image of two sequences in B but that one rational can then only produce one image in P, so the mapping cannot be the bijection WM claims.
SO that WM is, as usual with things mathematical, wrong. --