Date: Feb 11, 2013 1:57 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots
L is a potentially infinite list.

d, the diagonal is a potentially

infinite sequence

for every n, the nth line of L is

a potentially infinite sequence.

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.

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.

d is a potentially infinite sequence

each line of the list is a potentially infinite sequence

We show that there is no