Virgil
Posts:
8,833
Registered:
1/6/11
|
|
Re: Matheology �252
Posted:
Apr 17, 2013 4:09 PM
|
|
In article <7e4d8d16-1361-4e90-b2f3-8f75eeca2121@f18g2000vbs.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> Matheology §252 > > The table T > > 1 > 2, 1 > 3, 2, 1 > ... > n, ..., 3, 2, 1 > ... > > is a sequence of finite initial segments (1, ..., n) of natural > numbers. It contains every natural number that can be somewhere. Every > number in the sequence T is in one line L_n and in all further lines > by construction of T (always the last line is added).
If there is a last line, then what WM claims of T is false. Every number in > T is in the first column C (and in every other column too). > > forall n : (1, ..., n) c C ==> (1, ..., n) e T > forall n : (1, ..., n) e T ==> (1, ..., n) c C > > Therefore it is impossible that C contains more than T and more than > any line L_n of T. Only half true. A column contains no more that the whole table but always contains more than any one row/line of that table.
> But we know
What WM claims to know is far too often only knownable within Wolkenmuekenheim, from which all sane mathematicians are, thankfully, forever banned by their sanity and logic. --
|
|