Date: Mar 18, 2013 12:59 PM
Author: fom
Subject: Re: Matheology § 224

On 3/18/2013 7:03 AM, WM wrote:
> On 18 Mrz., 06:28, fom <> wrote:
> It has been done already long ago (see Matheology § 226).
> The isomorphism is from |R,+,* to |R,+,*. Only in one case the
> elements of |R are written as binary sequences and the other time as
> paths of the Binary Tree. Virgil is simply too stupid to understand
> that.

It has not been done at all.

You may perform the requested task according to
the standard definitions used in mathematics
or you may propose new definitions to be
considered and *agreed* upon.

You have done neither.