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 § 253
Replies: 30   Last Post: Apr 22, 2013 2:44 PM

 Messages: [ Previous | Next ]
 mueckenh@rz.fh-augsburg.de Posts: 18,076 Registered: 1/29/05
Re: Matheology § 253
Posted: Apr 21, 2013 10:13 AM

On 19 Apr., 22:50, Virgil <vir...@ligriv.com> wrote:

> > There exist m, n, a, b in |N,
> > such that m is in FISON(a) and not in FISON(b) and n is in FISON(b)
> > and not in FISON(a).

>
> For each natural n in |N, FISON(n) is defined by WM to be the set of all
> naturals less than or equal to the natural number n.
> Thus for natural numbers m ands n,
> n is in FISON(m)  if and only if  n <= m, and
> similarly n is NOT in FISON(m)  if and only if  m < n.
> Thus if m is in FISON(a) and not in FISON(b), then b < m <= a
> and if n is in FISON(b) and not in FISON(a), then a < n <= b
>
> Thus in WM's world one must have b < a and a < b simultaneously.

Explain how N elements (n) can be distributed, with repetition, among
M sets (s_k) such that there are all elements n represented at least
once, all s_k are used too, but not all elements n are in in one set
s_k. Is it possible to avoid the condition:
exist j, k, m, n : m e s_j & ~(m e s_k) & ~(n e s_j) & n e s_k"
?

How?

Regards, WM

Date Subject Author
4/18/13 mueckenh@rz.fh-augsburg.de
4/18/13 fom
4/18/13 Virgil
4/18/13 fom
4/19/13 mueckenh@rz.fh-augsburg.de
4/19/13 Virgil
4/19/13 mueckenh@rz.fh-augsburg.de
4/19/13 fom
4/19/13 mueckenh@rz.fh-augsburg.de
4/19/13 fom
4/19/13 mueckenh@rz.fh-augsburg.de
4/19/13 fom
4/19/13 Virgil
4/19/13 fom
4/19/13 Bergholt Stuttley Johnson
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/21/13 mueckenh@rz.fh-augsburg.de
4/21/13 Virgil
4/22/13 mueckenh@rz.fh-augsburg.de
4/22/13 Virgil
4/19/13 Virgil
4/19/13 Virgil
4/19/13 Scott Berg
4/19/13 fom
4/19/13 Michael Klemm
4/19/13 Virgil
4/19/13 fom