Date: Feb 5, 2013 6:17 AM
Author: William Hughes
Subject: Re: Matheology § 203
On Feb 5, 10:38 am, WM <mueck...@rz.fh-augsburg.de> wrote:

<snip>

> So "there is no list of X" is

> true for every potentially infinite set.

And so it goes. Now there is no list

of |N.

So ends this round. It has

taken 100 posts to get WM to

admit that different potentially

infinite sets have different

listability. It would take another

100 posts to get him to admit

that he admitted it.

We now know

that the potentially infinite

series 0.111...

is not a single line of the list

0.1000...

0.11000...

0.111000...

...

More importantly, we have learned that

we can use induction to show "every"

and that "every n -> P(n)" is equivalent

to "there is no m such that ~P(m)"

So we do not need to resort to "all"

to show something does not exist.