In article <firstname.lastname@example.org>, Zeit Geist <email@example.com> wrote:
> On Monday, December 9, 2013 3:04:53 PM UTC-7, wpih...@gmail.com wrote: > > On Monday, December 9, 2013 4:53:41 PM UTC-4, Zeit Geist wrote: > > > On Monday, December 9, 2013 12:13:31 PM UTC-7, wpih...@gmail.com wrote > > > > > Am Montag, 9. Dezember 2013 18:59:11 UTC+1 schrieb wpih...@gmail.com: > > > > > > > > If L is a constructable list of constructable 0/1 lists > > > > > > then there is a constructable 0/1 list, y, such that one cannot > > > > > > find a n in N with y the nth element of L. > > > > > > Note that this is sufficient to show there is no constructable list L, > > > > for > > > > which for any constructable 0/1 list y, y is in L. (Proof is by > > > > contradiction, > > > > assume L exists, then from y is in L we conclude that we can find an > > > > n in N such that y is the nth element of L. Contradiction. Thus L > > > > does not > > > > exist) > > > > > You from there is One Single L that we can't find y, to we can't find y > > > in Any List. > > > > Nope, you missed the quantifier "any". L, a list of lists, > > must contain any constructable 0/1 list, > > not just one particular 0/1 list > > Okay, sorry, I misunderstood. > > You say "There is No List containing All lists." > > Because, If there Were, along with the fact, "one cannot find a n in N with y > the nth element of L"; results in a Contradiction.
Not quite, at least from Cantor's own argument.
Cantor's own argument says that the very existence of such a list proves the constructablity of a sequence not listed in it.
> > I thought you were saying that No Constructible List of Constructible 0/1 > Lists can be Constructed that contains some particular y. > > Now I see. > > Much apologies. > > ZG --