In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 15 Jun., 06:13, "|-|ercules" <radgray...@yahoo.com> wrote: > > Consider the list of increasing lengths of finite prefixes of pi > > > > 3 > > 31 > > 314 > > 3141 > > .... > > > > Everyone agrees that: > > this list contains every digit of pi (1) > > There is no "every digit of pri". If it were, this must be proved by > showing the last digit.
It is only in dreamworlds like WM's that infinite sequences do not exist.
> > If you write every digit in the same line, no set theorist will > disagree. If you write the next digit always in the next line, they > will diagree. You can see that they have restricted capabilities of > thinking.
Not nearly as restricted as WM's.
An infinite sequence in mathematics is merely a function with domain N (or, more generally, with domain any ordered set order-isomorphic to N).