[FOM] Can someone give me an example of...
Giovanni Lagnese
lagnese at ngi.it
Mon Feb 20 21:18:57 EST 2006
Rob Arthan wrote:
> I think he was looking for a total recursive function f : N -> Q
> with range contained in some interval [A, B] such that for any recursively
> enumerable (r.e.) infinite subset X = {x_1, x_2, ...} of N, the sequence
> of
> values f(x_1), f(x_2), ... is not a Cauchy sequence.
Yes, this is very right.
> Comments and corrections gratefully received.
I'll read your example calmly. Thank you.
GL
More information about the FOM
mailing list