| Now suppose the address of x is a1a2 ... an(an+1 ... an+m)infinity. |
| Then x = fa1(fa2(...fan(y)...)), where y is the fixed point of
|
| We have seen that |
| Arguing similarly, we see x = |
| While it is not obvious that together with the constant and repeating addresses seen earlier, these values of x exhaust all the rational numbers, nonetheless, this is true. |
| Trying a few examples should make this plausible. |
|
|
Return to basic questions.