In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 15 Jan., 22:56, Virgil <vir...@ligriv.com> wrote: > > > Why can my string not differ from the nth finite string in your listing > > of finite strings in that string's nth place, if that string has one, > > and by having anything in my strng's nth place if your nth string is not > > n places long? > > I see no reason why my string cannot differ from each string in your > > whole list of strings according to such a rule. > > Your string can and will differ from the nth string. But there will > always an identical string be in the list
Identical to what? no finite string can ever be identical to the infinite string, and having any finite string repeated does not support WM's claimed but false result.
> by construction. Every > finite string means that there is no chance to construct something > deviating from all.
That only hold in WMytheology, if anywhere.
Outside of WMytheology, the Cantor diagonal argument works equally well on lists of finite sequences.
Note that any finite sequences on a set of n symbols matches an infinite sequence on n+1 symbols by filling in all infinitely many unfilled spaces in each sequnce with the extra symbol.
Thus WM's infinite list of finite sequences argument is just special case of Cantor's infinite list of infinite sequences arguments, and thus fails. --