SSequence
- 565
- 99
I can't quite follow your post.
What I was simply saying was that:
IF you have a mapping (total and onto) from N to some subset of real numbers such that given any index you have a program that can calculate*** the corresponding number to arbitrary precision.
THEN it doesn't automatically follow that the corresponding functions "equal" and "greater" are computable (they may or may not be).
Now even though the conclusion doesn't always happen from the premise, for rational numbers both of them happen to be true. However, the rational numbers are certainly not the only subset (of reals) for which both the premise and conclusion above are true. In fact, one can easily describe proper super-sets of rational numbers for which both the premise and conclusion above are true (so at least in that specific sense there is nothing special about rational numbers). This is simply what I was trying to say.*** One can formally create (without much trouble) a further distinction that would disallow somewhat artificial mapping of post#13. I haven't assumed that in the premise here though (so even the artificial mapping of post#13 is allowed).
However, an interesting question would be that if one did disallow artificial mappings(such as mentioned) then can one show that implication described in this post would always hold or it could fail (this possibly might be a more difficult question than it looks)? I haven't thought about that, but it is a bit besides the main point though.
What I was simply saying was that:
IF you have a mapping (total and onto) from N to some subset of real numbers such that given any index you have a program that can calculate*** the corresponding number to arbitrary precision.
THEN it doesn't automatically follow that the corresponding functions "equal" and "greater" are computable (they may or may not be).
Now even though the conclusion doesn't always happen from the premise, for rational numbers both of them happen to be true. However, the rational numbers are certainly not the only subset (of reals) for which both the premise and conclusion above are true. In fact, one can easily describe proper super-sets of rational numbers for which both the premise and conclusion above are true (so at least in that specific sense there is nothing special about rational numbers). This is simply what I was trying to say.*** One can formally create (without much trouble) a further distinction that would disallow somewhat artificial mapping of post#13. I haven't assumed that in the premise here though (so even the artificial mapping of post#13 is allowed).
However, an interesting question would be that if one did disallow artificial mappings(such as mentioned) then can one show that implication described in this post would always hold or it could fail (this possibly might be a more difficult question than it looks)? I haven't thought about that, but it is a bit besides the main point though.
Last edited: