In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 27 Jan., 17:49, William Hughes <wpihug...@gmail.com> wrote: > > On Jan 27, 2:33 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > > > > > > > > > On 27 Jan., 14:12, William Hughes <wpihug...@gmail.com> wrote: > > > > > > On Jan 27, 10:40 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > <snip> > > > > > > <... |N contains more than all (finite initial segments) > > > > > > Piffle. |N does not contain more that all FISONS > > > > nor has anyone claimed this. > > > > > > the correct statement is > > > > > > For every initial seqment f, there is an element of |N, n(f) > > > > such that n(f) is not in f. (note that n(f) may change if you > > > > change > > > > f) > > > > > > However, > > > > > > for ever n(f) there is an initial segment g > > > > such that g contains n(f) > > > > > Of course. But these all are relative definitions. As I said, it is > > > impossible to define infinity absolutely. Same is valid for Cantor's > > > diagonal: For every line n, there is an initial segment of the > > > diagonal that differs from the first n lines. But that does not imply > > > that there is a diagonal that differs from all lines. > > > > It does imply that there is a diagonal that differs > > from each line. We start by noting that if a list L has a finite > > definition, so does the antidiagonal of L, call it l. By induction we > > show that l differs from each line of L. > > > > The latter, > > > > > > > > > however, is claimed to follow. > > No. it is claimed to follow that the diagonal differs from "all > lines". That is different, for infinite sets, from "each line". > > Example: > Each line is followed by infinitely many lines. > All lines are followed by infinitely many lines.
Each line is followed by infinitely many other lines. All lines are followed by infinitely many other lines.
> > Further: If the list contains all terminating decimals, then the > diagonal cannot differ up to a d_n that belongs to a terminating > decimal, from all lines. But since there is no other d_n, the diagonal > cannot differ from all lines (it differs from every line, though).
Outside of Wolkenmuekenheim, a diagonal which differs from each line and every line proves the list of lines in incomplete.
> > Further if we work in the terminating decimal only, then there is no > actually infinite diagonal admitted and possible.
But outside of Wolkenmuekenheim no such finiteness constraint is either necessary or desirable.
The original issue being whether the reals are countable or not, one needs to allow for reals which have no finite decimal (or binary) representation.
Thus WM's attempt to limit things to only finite sequences is a foolish irrelevancy. --