Date: Apr 4, 2013 3:47 PM
Author: Virgil
Subject: Re: Matheology � 224
In article

<6bfe8608-1196-4d6e-8efa-934f67140e1f@a14g2000vbm.googlegroups.com>,

WM <mueckenh@rz.fh-augsburg.de> wrote:

> Piffle. Induction is valid for all elements of the inductive set.

Let WM try to give a formal statement of what he means by he inductive

principle, then show that that principle supports his own position.

He cannot do so!

Either WM's statement of the inductive principle will be corrupt or

his application of it will be.

Cantor's diagonal argument says that any listing of infinite binary

sequences must be incomplete because on can for any listing construct a

non-member of that list.

Neither WM, nor anyone else, has manages a valid counter-argument.

Note that claiming that no infinite binary sequences can exist supports

the argument, as does a claim that any such listing is necessarily

finite.

Thus WM's claim of non-existence of actual infiniteness SUPPORTS the

Cantor argument.

--