Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology § 255
Replies: 69   Last Post: Apr 24, 2013 9:49 PM

 Messages: [ Previous | Next ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 255
Posted: Apr 23, 2013 5:03 PM

In article
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 22 Apr., 21:18, Virgil <vir...@ligriv.com> wrote:
> > In article
> >
> >
> >
> >
> >
> >  WM <mueck...@rz.fh-augsburg.de> wrote:

> > > On 21 Apr., 22:02, Virgil <vir...@ligriv.com> wrote:
> >
> > > > > Consider the representation as a table
> >
> > > > > 1
> > > > > 2, 1
> > > > > 3, 2, 1
> > > > > ...
> > > > > n, ..., 2, 1
> > > > > ...

> >
> > > > > All initial segments of |N (including |N itself) are in the first
> > > > > column, but not in the lines of the table?

> >
> > > Can you name an n that is in a column but not in a horizontal line?
> >
> > For any given horizontal line, I can.

>
> The question is for all horizontal lines.

> >
> > > If not, why do you believe that the comlums contain more than every
> > > horzontal line?

> >
> > Why do you misrepresent what I said so obviously?
> >
> > Given any column and any line,
> > that column contains numbers not in that line.

>
> That is not the question.

> The question is whether there is a line with all nunbers of the
> columns.

That is a different question to which my answer is
"No! There is no line with all the number of the columns."
> >
> > But the union of the set of all columns and the union of the set of all
> > lines  are the same.

>
> The union of the set of all lines is a line

If that were so, then WM should be able to give us the number of that
line.

> since every line is the
> union of all preceding lines.

Actually, NO line is equal to the union of all preceding lines.

> >
> > > And you have not shown how it is possible to have more naturals in a
> > > column than in every horizontal line. Nevertheless you claim to have
> > > shown that erroneously.

> >
> > No! You claim erroneously that I have claimed it.
> > But it is your quantifier dyslexia at work again.

>
> mathematical questions:

Those questions do not

> >
> > What I actually claimed is that there are more naturals in ANY ONE
> > column than in ANY ONE line, but did NOT claim more naturals in all
> > columns collectively than in all lines collectively.

>
> All that is contained in all lines collectively, is also contained in
> one single line s_i.

Which line would than be that contains the largest member of the next
line ?

Which line, s_i, would it be that can contain i+1 ?

> exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k.

Only in WMytheology.

If, for each natural number i, s_i = { n in |N: n <= i},
then for every h in |N, (h in s_i) <==> (h <= i)

Thus WM's "m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k"
says (m <= j) & ( m > k) & (n > j) & (n <= k)
or (m <= j) & (k < m) & (j < n) & (n <= k)
but (m <= j) & (j <n) => (m < n)
and (k < m) & (n <= k) => (n < m)
so in WOLKENMUEKENHEIM one has n < n and m < m.

Which claim requires a good deal more proof that WM has supplied.
--

Date Subject Author
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 David C. Ullrich
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Bergholt Stuttley Johnson
4/20/13 Virgil
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 Virgil
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Virgil
4/20/13 Virgil
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Virgil
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 Virgil
4/20/13 fom
4/20/13 Virgil
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/20/13 fom
4/20/13 fom
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 Virgil
4/20/13 Virgil
4/20/13 Virgil
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 Virgil
4/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 fom
4/21/13 Virgil
4/22/13 mueckenh@rz.fh-augsburg.de
4/22/13 Virgil
4/23/13 mueckenh@rz.fh-augsburg.de
4/23/13 Virgil
4/24/13 mueckenh@rz.fh-augsburg.de
4/24/13 Virgil
4/24/13 mueckenh@rz.fh-augsburg.de
4/24/13 Virgil
4/24/13 fom
4/23/13 gus gassmann
4/20/13 fom
4/20/13 fom
4/20/13 mueckenh@rz.fh-augsburg.de
4/20/13 fom
4/20/13 Virgil
4/20/13 Virgil