[FOM] Primitive recursive reals
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.
could be useful.
More information about the FOM