On 5 Jan., 17:47, fom <fomJ...@nyms.net> wrote:> 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.

But it allows to calculate a potentially infinite string. i.e., afinite string with more than any given number of digits.>> 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.

I show it by what you think when reading my pi.Mathematics is discourse, sending and receiving messages. And I amsure that you would determine the same sequence of digits as I, if weused an appropriate formalism, for instance the slowly convergingGregory-Leibniz.