```Date: Jan 3, 2013 11:30 AM
Author: Zaljohar@gmail.com
Subject: Re: The Distinguishability argument of the Reals.

On Jan 3, 4:52 pm, gus gassmann <g...@nospam.com> wrote:> On 03/01/2013 8:58 AM, Zuhair wrote:>>>>>>>>>> > On Jan 3, 3:23 pm, gus gassmann <g...@nospam.com> wrote:> >> On 03/01/2013 5:31 AM, Zuhair wrote:>> >>> Call it what may you, what is there is:> >>> (1) ALL reals are distinguishable on finite basis>> >>   > (2) Distinguishability on finite basis is COUNTABLE.>> >> What does this mean? If you have two _different_ reals r1 and r2, then> >> you can establish this fact in finite time. The set of reals that are> >> describable by finite strings over a finite character set is countable.> >> However, not all reals have that property.>> > I already have written the definition of that in another post, and> > this post comes in continuation to that post, to reiterate:>> > r1 is distinguished from r2 on finite basis <->> > Exist n. n is a natural number & Exist d_n, k_n: d_n is the n_th> > digit> > of r1 & k_n is the n_th digit of r2 & d_n =/= k_n)>> Exactly. This is precisely what I wrote. IF you have TWO *DIFFERENT*> reals r1 and r2, then you can establish this fact in finite time.> However, if you are given two different descriptions of the *SAME* real,> you will have problems. How do you find out that NOT exist n... in> finite time?>That is irrelevant (or at least that's how it appears to me) ANY twodistinct (i.e. different) reals can be distinguished in finite timeand any two reals that are distinguished in finite time are distinct.That's all what we need. The question of revealing the identity ofsome real in finite time is another matter, and my argument do notinvolve it at all, so it is irrelevant.> Moreover, being able to distinguish two reals at a time has nothing at> all to do with the question of how many there are, or how to distinguish> more than two. Your (2) uses a _different_ concept of distinguishability.(2) simple refers to how many finite initial segments of reals can bedistinguishable? i.e. what is the total number of such segments.Clearly we have COUNTABLY many finite initial segments of reals. Inother words we cannot distinguish more than COUNTABLY many finiteinitial segments of reals. Of course all of those are distinguished infinite time no doubt.I think that distinguishability in (2) is the same distinguishabilityin (1) it has exactly the same definition.We have only COUNTABLY many finite initial segments of reals that wecan distinguish of course on finite basis, that's what is available,we don't have more.Now every Two distinct reals are distinguishable on FINITE basis. Butwe have only Countably many finite initial segments of reals availablefor us to distinguish reals by, so how come we've ended up withUNCOUNTABLY many reals, what is the source of the excess in the numberof reals, how can we distinguish more than what is available for us todistinguish. This is like saying that we have Three SEEDS, and EachTwo distinct TREES grown from planting the three seeds must have Twodistinct seeds where each Tree have grown from one seed, and then onecomes and say that planting the three seeds had resulted in FOURTrees? This is an example of a product outnumbering the potential ofproduction?By the way I might be wrong of course, I'll be glad to have anyonespot my error, my analogies might simply be misleading.Zuhair
```