[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.


More information about the FOM mailing list