Date: Mar 18, 2013 8:03 AM Author: email@example.com Subject: Re: Matheology § 224 On 18 Mrz., 06:28, fom <fomJ...@nyms.net> 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