```Date: Jan 30, 2013 6:21 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 203

On 30 Jan., 12:02, William Hughes <wpihug...@gmail.com> wrote:> Summary.  We have agreed that>> For a potentially infinite list L, the> antidiagonal of L is not a line of L.Yes, that is unavoidable. Up to any n, the diagonal differs from everyantry.But if you assume that all terminating decimals can be enumerated andwritten in one list, then it is impossible that the antidiagonaldiffers from all of them at finitely indexed digits, because everyfinitely indexed digit belongs to a terminating decimal. And they areall in the list by definition.>> The question is:> Does this imply>> There is no potentially infinite list> of potentially infinite 0/1 sequences, L,> with the property that> any potentially infinite 0/1 sequence, s,> is one of the lines> of L.What means "there is" with respect to potential infinity?In my opinion potential infinity means an evolving process.Look at thís sequence:1) 0.12) 0.113) 0.111...where we can calculate ever line n. But we cannot calculate all lines,because then we had all n, i.e., the actually infinite set |N (in thefirst column). And with it we had the old problems.Moreover we had all natural indices in the columns without having allindices in one line (the last one, but that is not existing). So wehave all indices in this triangle. But we know that all indices thatare in two lines, also are in one of them. By induction we can provethat for every line, since every line has a finite number ...No actual infinity is untenable. And with it every "there is" withrespect to infinity.Regards, WM
```