[FOM] Primitive recursive reals
hendrik at topoi.pooq.com
Wed Apr 19 18:48:55 EDT 2006
On Wed, Apr 19, 2006 at 09:38:32AM -0400, Harvey Friedman wrote:
> 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.
Is the condition on bases quite right? What if b1 is 4 and b2 is 8?
-- hendrik boom
More information about the FOM