[FOM] Primitive recursive reals

Adam Kolany dr.a.kolany at wp.pl
Fri Apr 21 05:33:59 EDT 2006


Harvey Friedman napisał(a):

>I have no idea whether the following claims are new.
>
>They certainly can be substantially sharpened, although it is not clear what
>the ultimate interesting sharpenings are.
>
>THEOREM 1. Let b1 and b2 be two bases, neither of which is a power of the
>other. There exists a real number that is (extremely) primitive recursive in
>base b1 but not primitive recursive in base b2.
>
>  
>


maybe this

    http://www.ii.uj.edu.pl/~kolany/bufor/bases/ChangingBases.pdf

could be useful.

Adam Kolany



More information about the FOM mailing list