```Date: Feb 11, 2013 2:20 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 222 Back to the roots

On 11 Feb., 19:57, William Hughes <wpihug...@gmail.com> wrote:> L is a potentially infinite list.>> d, the diagonal is a potentially> infinite sequenceand therefore is not complete.>> for every n, the nth line of L is> a potentially infinite sequence.We can say so. But for sake of simplicity consider the listoooooo...with indexed symbols o_jk>> We get from induction,> for every natural number n,> the potentially infinite sequence> d is not equal to the potentially> infinite sequence given by the nth line.Correct.>> We conclude, there does not exist a> natural number m, such that> the potentially infinite sequence d,> is equal to the potentially infinite> sequence given by the mth line.Correct.>> d is a potentially infinite sequence> each line of the list is a potentially infinite sequence>> We show that there is noWe show that the potentially infinite diagonal is in the list byproving that every o_nn is in the list. And every o that is in thelist, is in some line of the list. And everything that is in some lineof the list is in one line of the list.Anything wrong with this conclusion?Then give a counter-example.Regards, WM
```