On Jun 17, 6:56 am, Sylvia Else <syl...@not.here.invalid> wrote: > On 15/06/2010 2:13 PM, |-|ercules wrote: > > the list of computable reals contain every digit of ALL possible > > infinite sequences (3) > Obviously not - the diagonal argument shows that it doesn't.
But Herc doesn't accept the diagonal argument. Just because Else accepts the diagonal argument, it doesn't mean that Herc is required to accept it.
Sure, Cantor's Theorem is a theorem of ZFC. But Herc said nothing about working in ZFC. To Herc, ZFC is a "religion" in which he doesn't believe.
Else's post, therefore, is typical of the posts which seek to use ZFC to prove Herc wrong.