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 ]
 Virgil Posts: 8,833 Registered: 1/6/11
Re: Matheology � 253
Posted: Apr 19, 2013 4:50 PM

On 4/19/2013 9:16 AM, WM wrote:
> On 19 Apr., 14:28, fom <fomJ...@nyms.net> wrote:
>

>>
>>> If numbers existed only as names then different names would
>>> necessarily represent different numbers,

>>
>> Those are called negative existential statements.

>
> No, those are called nonsense.

How is it nonsense to say that different names are not the same name?

And how is it nonsense to say that if numbers are no more than names
that different ones are different?

Here is todays example of WM's logic
>
> 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.
--

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