fom
Posts:
1,968
Registered:
12/4/12


Re: The Distinguishability argument of the Reals.
Posted:
Jan 5, 2013 11:47 AM


On 1/5/2013 6:56 AM, WM wrote:
> Nonsense. A real number need not be given by a string of digits. In > most cases that is even impossible. Given is a finite definition like > "pi". And this is distinct from all other real numbers.
"pi" is certainly a finite string used as a name.
Please offer a (Russellian) description that attaches it to an idea of number.
And, since you make provability an issue in these matters, please show that your description is uniquely distinguishing pi from other numbers.

