In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> Am Dienstag, 3. Dezember 2013 18:36:32 UTC+1 schrieb Zeit Geist: > > > > > If you have read, and understood, the Proof you will realize that NO > > Specific Limit is actually "Calculated". > > The proof provides the scheme. You and can insert defined sequences with > defined limits. Without doing so the proof only says that you can do so. > > > Also, that "Given Sequence" from Cantor is, supposedly, the Set of ALL Real > > Numbers put into a Sequence. > > It is a sequence that has to be defined somehow. Given.
In order to claim the countabilty of any set, one must show that that set satisfies the definition of countability of a set which, at least everywhere outside of WM's wild weird world of WMytheology, requires the existence of a surjection from |N to the set in question.
Thus in order for WM successfully to claim countabilty of the set of reals, WM must surject |N to |R, which is, essentially making a list of member of |R and showing that that list includes every single real that there is. WM has never done this. Canto has proved that any list of reals, whether claimed to b complete or not, is necessarily incomplete, and thus the basic requirement for proving countability can never be satisfied.
So why does WM so badly want to claim that the set of reals IS countable when the very definition of countability for that set is so obviously unsatisfiable???