[FOM] Can someone give me an example of...

[Giovanni Lagnese]

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