"Transfer Principle" <firstname.lastname@example.org> wrote > 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.
To say the list of computable reals DOES NOT contain every digit (in order) of ALL possible infinite sequences
is to say this list does not contain every digit (in order) of PI.