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.
--
|
|
