Date: Mar 21, 2013 1:29 PM
Author: Virgil
Subject: Re: Matheology � 224

In article 
WM <> wrote:

> Induction does not need time.

But it does need an inductive set like |N, which is prohibited in
WMytheology. So that in WMytheology,. induction is also forbidden.


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.