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