
Re: § 427 Is successful diagonalization of a potent ially infinite list possible?
Posted:
Feb 8, 2014 8:29 AM


On Saturday, February 8, 2014 4:58:36 AM UTC4, WM wrote: > Am Freitag, 7. Februar 2014 23:21:41 UTC+1 schrieb wpih...@gmail.com: > > > > > > > You define L' twice. > > > *You* defined L'.
Indeed as "Let L' be a list of finite definitions of potentially infinite 0/1 sequences." This is the first definition you use. Then you change to
WM: The list L' of every finite definition of numbers
This L' does not exist
<snip>
> A list without finite definition
does not exist.
William Hughes

