Virgil
Posts:
9,012
Registered:
1/6/11


Re: Endorsement of Wolfgang Mueckenheim from a serious mathematician
Posted:
Feb 1, 2013 6:57 PM


In article <3d87da9aca7d4635b46fe753dad78eef@r3g2000yqd.googlegroups.com>, WM <mueckenh@rz.fhaugsburg.de> wrote:
> On 1 Feb., 10:23, Virgil <vir...@ligriv.com> wrote: > > In article > > <abc2008b5c8044c6909122f125692...@h2g2000yqa.googlegroups.com>, > > > > WM <mueck...@rz.fhaugsburg.de> wrote: > > > And if I append to every finite path every infinite tail that has a > > > finite definition like 0.[001]? What will you choose then??? > > > Nevertheles I will have used only countably many paths yet. > > > > That you have only used countably many does not mean that there are not > > many more than you have used. > > > > And is has been shown many times, and beyond WM's ability to falsify, > > that the number of paths in a Complete Infinite Binary Tree is beyond > > counting (that is, there is not, and cannot be, any mapping from N to > > the set of paths that uses us every path. > > And it has been shown, unfortunately beyond Virgils ability to > comprehend the consequences, that there are not more reals in > mathematics. Therefore, we have a contradiction. > Not outside of Wolkenmuekenheim.
In the world of tertium non datur, Wolkenmuekenheim also non datur. 

