On Wednesday, December 11, 2013 1:01:20 AM UTC-7, WM wrote: > Am Dienstag, 10. Dezember 2013 19:14:24 UTC+1 schrieb Zeit Geist: > > > How can Anyone say that there is an Entry in the List that is Not Unequal to d? > > Yes, All are there. But no, None of them are Identical with the antidiagonal. They are only Identical Up To a certain Finite place. > > Up to *every* finite place. There is no finite place that can distinguish d from all rationals. > > > This is Not enough for your "Disproof". > > It is obviously the proof that d cannot be distiguished up to any finite place from all rationals. More is not claimed. Do you object? >
If n e N, then There Exists r e L, the List of All Rational Numbers, such FIS(d_n) = r.
However, For All n e N, FIS(d) < d, where d is Defined by the 4-5-Diagonalization Method. The above Statement concerning FIS(d) does Not give us anything about d itself.
It is obvious that when you say "distinguishable by digits", you mean only Finite Sets of Digits. Well, d is more than a Finite Set of Digits. Even if you All FIS(d) you don't have d; the "more" you speak of is Not its Digit, it is its Structure.