Date: Mar 18, 2013 8:03 AM
Subject: Re: Matheology § 224

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

Regards, WM