| |
 |
|
|
Science Forum Index » Mathematics Forum » Is the empty set a number?
Page 6 of 6 Goto page Previous 1, 2, 3, 4, 5, 6
|
| Author |
Message |
| T.H. Ray |
Posted: Wed Apr 09, 2008 10:14 pm |
|
|
|
Guest
|
Jonas:
That you call it something or anything does not make it a mathematical
entity, you have to prove you need it.
***
That you name it and use it, IS exactly what makes
a "mathematical entity." Some terms in any axiomatic
system are left undefined. "Zero," "number" and
"successor" are undefined terms in the Peano axioms.
It would in fact be impossible to do mathematics without
undefined terms. Do you know why?
Tom |
|
|
| Back to top |
|
| Guest |
Posted: Thu Apr 10, 2008 2:19 am |
|
|
|
|
On 10 Apr, 10:14, "T.H. Ray" <thray...@aol.com> wrote:
Quote: Jonas:
That you call it something or anything does not make it a mathematical
entity, you have to prove you need it.
***
That you name it and use it, IS exactly what makes
a "mathematical entity." Some terms in any axiomatic
system are left undefined. "Zero," "number" and
"successor" are undefined terms in the Peano axioms.
4+0=4 isn't exactly using because if it was "THE RESULT" would be
anything but 4. So no there is not a number 0 "USED" in the above
operation.
Quote: It would in fact be impossible to do mathematics without
undefined terms. Do you know why?
It works just fine.
> Tom |
|
|
| Back to top |
|
| Guest |
Posted: Thu Apr 10, 2008 2:21 am |
|
|
|
|
On 10 Apr, 14:19, jonas.thornv...@hotmail.com wrote:
Quote: On 10 Apr, 10:14, "T.H. Ray" <thray...@aol.com> wrote:
Jonas:
That you call it something or anything does not make it a mathematical
entity, you have to prove you need it.
***
That you name it and use it, IS exactly what makes
a "mathematical entity." Some terms in any axiomatic
system are left undefined. "Zero," "number" and
"successor" are undefined terms in the Peano axioms.
4+0=4 isn't exactly using because if it was "THE RESULT" would be
anything but 4. So no there is not a number 0 "USED" in the above
operation.
It would in fact be impossible to do mathematics without
undefined terms. Do you know why?
It works just fine.
Tom- Dölj citerad text -
- Visa citerad text -
It works just fine without zero |
|
|
| Back to top |
|
| G.E. Ivey |
Posted: Thu Apr 10, 2008 2:55 am |
|
|
|
Guest
|
Quote: On 7 Apr, 18:36, Randy Poe <poespam-t...@yahoo.com
wrote:
On Apr 7, 12:24 pm, jonas.thornv...@hotmail.com
wrote:
On 7 Apr, 18:08, "G.E. Ivey"
george.i...@gallaudet.edu> wrote:
Do you understand the concept of "equivalence"?
 one way of defining the natural numbers is to set
"0" to be the empty set, {}, "1" to be the set whose
only member is the empty set, {{}}, "2" to be the set
whose only members are the empty set and {{}}- that
is, whose only members are 0 and 1- {0, 1}, etc.
  We can then define the "successor" of any
number, x, to be the set containing x and all of its
members and show that Peano's axioms for the natural
numbers hold.
We could define addition of two such things by
"x+ 0= x and, (if b is not 1, then b= s(c) for some
some c) x+b= s(x+c) when b is not 0". Â We could
define multiplication of two such things by "x*0= 0,
and x*b= x+ x*c for b not 0".
  For that particular system, with those
operations, yes, the empty set IS the number 0. Â But
there are many other ways to define "numbers" that do
not use sets as numbers. Â The important point is that
they are all "equivalent"- they all give the same
results. Â You can think of "number" in terms of any
one of them.
But i claim i can calculate anything without
using zero as a number,
OK. What's the value of sin(x) at x=pi?
If I remove all the money from my bank account,
how much is in the account?
Well then your out of money, you could say your
account is absent of
money but that hardly make 0 a number.
Now it is starting to make sense. The reason for asking this question, and the reason you not responded to the repeated question "what do you mean by 'a number'" is that you have no idea what a number is!
Quote:
Please calculate these things without using
zero.
    - Randhy
|
|
|
| Back to top |
|
| Guest |
Posted: Thu Apr 10, 2008 3:34 am |
|
|
|
|
On 10 Apr, 14:55, "G.E. Ivey" <george.i...@gallaudet.edu> wrote:
Quote: On 7 Apr, 18:36, Randy Poe <poespam-t...@yahoo.com
wrote:
On Apr 7, 12:24 pm, jonas.thornv...@hotmail.com
wrote:
On 7 Apr, 18:08, "G.E. Ivey"
george.i...@gallaudet.edu> wrote:
Do you understand the concept of "equivalence"?
one way of defining the natural numbers is to set
"0" to be the empty set, {}, "1" to be the set whose
only member is the empty set, {{}}, "2" to be the set
whose only members are the empty set and {{}}- that
is, whose only members are 0 and 1- {0, 1}, etc.
We can then define the "successor" of any
number, x, to be the set containing x and all of its
members and show that Peano's axioms for the natural
numbers hold.
We could define addition of two such things by
"x+ 0= x and, (if b is not 1, then b= s(c) for some
some c) x+b= s(x+c) when b is not 0". We could
define multiplication of two such things by "x*0= 0,
and x*b= x+ x*c for b not 0".
For that particular system, with those
operations, yes, the empty set IS the number 0. But
there are many other ways to define "numbers" that do
not use sets as numbers. The important point is that
they are all "equivalent"- they all give the same
results. You can think of "number" in terms of any
one of them.
But i claim i can calculate anything without
using zero as a number,
OK. What's the value of sin(x) at x=pi?
If I remove all the money from my bank account,
how much is in the account?
Well then your out of money, you could say your
account is absent of
money but that hardly make 0 a number.
Now it is starting to make sense. The reason for asking this question, and the reason you not responded to the repeated question "what do you mean by 'a number'" is that you have no idea what a number is!
Please calculate these things without using
zero.
- Randhy- Dölj citerad text -
- Visa citerad text -- Dölj citerad text -
- Visa citerad text -
I have a working system to calculate, of course it have numbers zero
just isn't in there and to be honest zero never was a number to start
with human logic invented it. Although unnecessary it been around for
along time. |
|
|
| Back to top |
|
| Guest |
Posted: Thu Apr 10, 2008 6:27 am |
|
|
|
|
On 10 Apr, 14:55, "G.E. Ivey" <george.i...@gallaudet.edu> wrote:
Quote: On 7 Apr, 18:36, Randy Poe <poespam-t...@yahoo.com
wrote:
On Apr 7, 12:24 pm, jonas.thornv...@hotmail.com
wrote:
On 7 Apr, 18:08, "G.E. Ivey"
george.i...@gallaudet.edu> wrote:
Do you understand the concept of "equivalence"?
one way of defining the natural numbers is to set
"0" to be the empty set, {}, "1" to be the set whose
only member is the empty set, {{}}, "2" to be the set
whose only members are the empty set and {{}}- that
is, whose only members are 0 and 1- {0, 1}, etc.
We can then define the "successor" of any
number, x, to be the set containing x and all of its
members and show that Peano's axioms for the natural
numbers hold.
We could define addition of two such things by
"x+ 0= x and, (if b is not 1, then b= s(c) for some
some c) x+b= s(x+c) when b is not 0". We could
define multiplication of two such things by "x*0= 0,
and x*b= x+ x*c for b not 0".
For that particular system, with those
operations, yes, the empty set IS the number 0. But
there are many other ways to define "numbers" that do
not use sets as numbers. The important point is that
they are all "equivalent"- they all give the same
results. You can think of "number" in terms of any
one of them.
But i claim i can calculate anything without
using zero as a number,
OK. What's the value of sin(x) at x=pi?
If I remove all the money from my bank account,
how much is in the account?
Well then your out of money, you could say your
account is absent of
money but that hardly make 0 a number.
Now it is starting to make sense. The reason for asking this question, and the reason you not responded to the repeated question "what do you mean by 'a number'" is that you have no idea what a number is!
I can tell you what it not is, it is not a slice of of nothing, it is
not a cut out of nothing, it is not a union of nothing, not a disjoint
of nothing, not a part of a line with length 0, i could probably go on
with this until tomorrow but i think i made the picture.
Quote:
Please calculate these things without using
zero.
- Randhy- Dölj citerad text -
- Visa citerad text -- Dölj citerad text -
- Visa citerad text - |
|
|
| Back to top |
|
| Mariano Suárez-Alvarez |
Posted: Thu Apr 10, 2008 7:34 am |
|
|
|
Guest
|
On Apr 10, 2:27 pm, Aatu Koskensilta <aatu.koskensi...@xortec.fi>
wrote:
Quote: On 2008-04-10, in sci.math, Herman Rubin wrote:
One should be familiar with sufficiently many of the
representations that one can be said to understand
the integers.
Why? How do the set theoretic representations enter into our
understanding of the integers?
In the same way as the models of mathematical physics
enter into our understanding of the physical world?
-- m |
|
|
| Back to top |
|
| Guest |
Posted: Thu Apr 10, 2008 9:08 am |
|
|
|
|
On Apr 9, 10:43 am, Julio Di Egidio <ju...@diegidio.name> wrote:
Quote: lwalke3'lausd.net wrote:
It appears that the OP has one of two concerns:
1. Is zero really a number?
2. Is the empty set really a set?
IMHO, no. The original question is:
Is the empty set a number?
I already know that, and I addressed this in the first part of the
post that you snipped. To put it concisely, I propose that one
should consider:
The empty set is a __________ number.
This sentence is true, with the usual constructions of the
various types of numbers, if one fills in the blank with the
words "cardinal" or "ordinal," but false if one fills it in with
"complex" or "real" instead.
But then again, in standard analysis, the unqualified word
"number" means "complex number" unless otherwise specified.
So where did I get questions 1 and 2 from, anyway? I inferred
both of them from comments the OP made elsewhere in this
thread as well as in other threads. In particular, the OP
questioned the sethood of the empty set in the second post
of this thread, while he questioned the numberhood of zero
several times in this thread, as well as in another thread. |
|
|
| Back to top |
|
| BuddhaThu |
Posted: Thu Apr 10, 2008 9:16 am |
|
|
|
Guest
|
Numbers are a type of naming in relation to things.
An empty set can only make sense in relation to other sets with a definable property.
The empty set designated as '0' is 'even' in relation to the integer number line pointing to size i.e., -2,-1, 0, 1, 2, etc...
But I think what your question is whether an empty set can be considered a 'thing.'
Numbers are not things. None of the numbers are things. They are just abstract concepts to rigidly classify and name things in rigid order. When you name a group of rocks '3.' The rocks are not '3', but the rigid naming relying on the abstract concept of '3' is '3.'
Abstract concepts like numbers cannot exist alone. Despite being 'nouns', they must also act as 'predicates' in that they must hook onto something in relation to something else to make sense. This is because they are abstract. While all predicates are abstract not all nouns are. So it is important to make the splice in nouns.
This 'hooking' can take place among other 'abstract objects' and/or evemtually relationshps to physical things. Otherwise, you end up with nasty metaphysical dangling participles like Plato.
I hope that I have adequately answered your question.
B.T. |
|
|
| Back to top |
|
| Guest |
Posted: Thu Apr 10, 2008 9:50 am |
|
|
|
|
On Apr 9, 7:48 pm, jonas.thornv...@hotmail.com wrote:
Quote: On 9 Apr, 00:05, lwal...@lausd.net wrote:
So what numbers are in J? I doubt that the OP accepts the
existence of negative numbers, since then one would have
to wonder what -1+1 is.
Well that would be dent to no accept negative numbers of course i do.
That's interesting, since, as I said earlier, most opponents of zero
rejected the negative numbers as well.
Quote: Here is some expamples in "DECIMAL" base using positional value
representation and as you can guess 0 is missing representation in
this system.
The OP may be interested that Wikipedia gives another decimal
notation that also avoids the use of zero:
http://en.wikipedia.org/wiki/Bijective_numeration
In the bijective base ten system, the numbers one through nine are
the same as in standard decimal, but the number ten must differ
since we want to avoid a zero. So we need a new symbol. Since the
OP uses the letter A to represent ten in his numeration system, we
shall do this same in this bijective system.
The numbers 11 through 19 are the same as in the standard system,
then 1A is used for twenty. Further examples given by Wikipedia are:
"[C]onventional 100 becomes 9A, conventional 101 becomes A1,
conventional 302 becomes 2A2, conventional 1000 becomes 99A,
conventional 1110 becomes AAA, conventional 2010 becomes 19AA,
and so on."
And here are the OP's examples written in bijective decimal:
Quote: -2000500009=-{[A,2][5,5][1,9]}
-2000500009 = -199A4999A9
Quote: 9000020005={[A,9][5,2][1.6]}
9000020005 = 8999A199A5
Notice that, to mention another sci.math poster, Ross Finlayson's
"unary" numeration is actually bijective base-one, and is also
mentioned in the Wikipedia link.
The major drawback with bijective numeration systems is that
non-integral numbers are a bit awkward to work with.
Suppose, for example, that we extend bijective numeration in the
natural way to include non-integers. Since, according to Wikipedia:
302 = 2A2
we would naturally conclude:
3.02 = 2.A2
and therefore 2.A2 > 3, a non-obvious inequality. Similarly:
Quote: 0,50000000009={[-1,5][-B,9]}
0.50000000009 = .499999999A9 > .5
Quote: -1.90005=-{[1,1][-1,9][-5,5]}
-1.90005 = -1.899A5 < -1.9
and so on. And what's worse is that, in general, positive
decimals less than 1/9 can't be represented -- with a few
exceptions such as .1, .11, .111, etc. Certainly no positive
decimal less than 1/A can be represented.
The problem, as we can see, is that in order to compare
two decimals, one must make them the same length. We
can do this in the standard system simply by adding
zeros to the number with fewer decimal places, but in the
bijective system, there is no zero. One actually has to
change some of the digits of a number in order to make them
the same length, so when comparing 2.A2 to 3, the latter
must become 2.9A, so that it is now clearly less than 2.A2.
Indeed, all decimals must be written with infinitely many
digits in order to compare them in general. The number 1,
for example, must be written as the infinite decimal .999...,
at which point it is obviously less than .999A999..., but
greater than .9998A999.... Notice how 1.000... = .999...
controversy that has dominated many sci.math threads is
avoided -- as it turns out, the number one has two infinite
decimal expansions in the standard system, but only one
such expansion, namely .999..., in the bijective system. Of
course, 1 has infinitely many terminating expansions in both
the standard and the bijective systems, such as 1.0, 1.00,
1.000 in the former and .A, .9A, .99A in the latter.
It's the numbers such as A/9 which have two expansions in
the bijective system -- .AAA... and 1.111....
At the end of the Wikipedia page is a link to RR Forslund,
who proposes replace the "existing numeration system"
with an "alternative numeration system" (bijective). What
does Forslund say about the non-integer problem? He
appears to be opposed to decimal expansions for numbers
that are not integers altogether. (This is in stark contrast to
a thread here at sci.math about two months ago, which was
titled, "Abolish fractions?" Forslund would abolish decimals!) |
|
|
| Back to top |
|
| Herman Rubin |
Posted: Thu Apr 10, 2008 12:10 pm |
|
|
|
Guest
|
In article <rubrum-4994AC.15555608042008@news.sf.sbcglobal.net>,
Michael Press <rubrum@pacbell.net> wrote:
..................
Quote: Of course not, because the fact that
one can pick a specific construction
proves in particular that one can pick
*a* construction, thereby proving
non-vacuity of the theory (relative to
the consistency of whatever context one
is using to do the construction, of
course...)
Also, the construction of such concrete
models allows one to build intuitions.
But I would say that for all other
purposes, the Dedekind construction of
the reals, say, is absolutely irrelevant
from a mathematical perspective.
This paragraph I do not understand. I think that the
Dedekind construction of the real numbers is entertained
exactly for its relevance to mathematics.
The Dedekind "construction" of the reals
is ONE way of constructing the reals, and
definitely not the only way. Just as for
the integers, which representation is used
is not relevant.
One could instead use expansions of the
fractional part to an arbitrary base; there
is less of a problem in defining addition
and multiplication, although this is not
too great a problem in using Dedekind cuts
for the positive reals. Also, one could
use continued fractions, and I would not
be surprised if a dozen other methods have
not already been used.
Cauchy sequences are another method, although
the justification of their existence is needed.
The expansion in a given base is one way to
justify it. Cauchy sequences are a much more
intuitive way to consider reals, and I believe
this is the first one presented.
--
This address is for information only. I do not claim that these views
are those of the Statistics Department or of Purdue University.
Herman Rubin, Department of Statistics, Purdue University
hrubin@stat.purdue.edu Phone: (765)494-6054 FAX: (765)494-0558 |
|
|
| Back to top |
|
| Herman Rubin |
Posted: Thu Apr 10, 2008 12:20 pm |
|
|
|
Guest
|
In article <%p0Lj.323478$6w7.257179@reader1.news.saunalahti.fi>,
Aatu Koskensilta <aatu.koskensilta@xortec.fi> wrote:
Quote: On 2008-04-08, in sci.math, Mariano Surez-Alvarez wrote:
That was precisely my point. There is no
point in choosing a particular representation,
because all representations are isomorphic
and nothing one wants to do will depend
on the representation chosen. Hence, it
really does not make any sense to ask
`what is a number'.
So you think those who ask "What is a number?" are asking "What
representation for numbers should we choose?"?
One should be familiar with sufficiently many of the
representations that one can be said to understand
the integers. The cardinal and ordinal representations
are the most basic ones; magnitude is an interpretation
of the cardinal one, and induction is a key property of
the ordinal one.
From these, one can get at least most of the others.
--
This address is for information only. I do not claim that these views
are those of the Statistics Department or of Purdue University.
Herman Rubin, Department of Statistics, Purdue University
hrubin@stat.purdue.edu Phone: (765)494-6054 FAX: (765)494-0558 |
|
|
| Back to top |
|
| Aatu Koskensilta |
Posted: Thu Apr 10, 2008 12:27 pm |
|
|
|
Guest
|
On 2008-04-10, in sci.math, Herman Rubin wrote:
Quote: One should be familiar with sufficiently many of the
representations that one can be said to understand
the integers.
Why? How do the set theoretic representations enter into our
understanding of the integers?
--
Aatu Koskensilta (aatu.koskensilta@xortec.fi)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus |
|
|
| Back to top |
|
| Guest |
Posted: Thu Apr 10, 2008 7:43 pm |
|
|
|
|
On 10 Apr, 21:16, BuddhaThu <softspokenbud...@yahoo.com> wrote:
Quote: Numbers are a type of naming in relation to things.
I agree
Quote: An empty set can only make sense in relation to other sets with a definable property.
Well here i am not sure i agree, in my mind the set only is a
container of a group and have no value on its own.
At least not a value that have numerical significance in relation to
the rational numbers.
In the same way color is not a member in of the group red, green,
blue, yellow it is only a definition in this case of the fact that
colors exist. Color in itself is nothing without the use of a member.
The expression number is the full set of all numbers, but the empty
set lack numbers. The empty set is only an abstract notion of the fact
we can group things in brackets or containers.
I am not sure i consider the set in itself a mathematical entity only
an abstract idea that we can define a group without members. (i am
pretty sure the set dont exist without members). The abstract idea of
no group exist though.
It does not make it a mathematical entity.
Quote: The empty set designated as '0' is 'even' in relation to the integer number line pointing to size i.e., -2,-1, 0, 1, 2, etc...
I do not consider 0 to be a number i consider it to be a human
invention to express the fact that the group have no members.
Quote: But I think what your question is whether an empty set can be considered a 'thing.'
No i consider the empty set to be a construct of human mind to express
absense, i am sure THE EMPTY SET is not a thing, and i doubt that it
is a NECESSARY mathematical entity.
The way i see it the human mind created logic and math to describe
grouprelations, without groups there would be no members no sets and
no math. Without groups there can not be THINGS but as soon you have a
member or a group YOU SURELY HAVE THINGS.
From the idea of NO THINGS... absense of group the empty set and the
zero concept was developed.
Quote: Numbers are not things. None of the numbers are things. They are just abstract concepts to rigidly classify and name things in rigid order. When you name a group of rocks '3.' The rocks are not '3', but the rigid naming relying on the abstract concept of '3' is '3.'
Sure numbers are things, they are members of NUMBERS and have the
GROUP property used as proof of their thingyness. 0 is not a member of
numbers though.
Quote: Abstract concepts like numbers cannot exist alone. Despite being 'nouns', they must also act as 'predicates' in that they must hook onto something in relation to something else to make sense.
True is that they would be meaningless in a reality without things.
But if abstract intelligence can exist, the idea of NUMBERS can exist
once the concept is developed. So i am not against the idea of
abstract numbers itself only that 0 and empty set is members of
NUMBERS.
Quote: This is because they are abstract. While all predicates are abstract not all nouns are. So it is important to make the splice in nouns.
This 'hooking' can take place among other 'abstract objects' and/or evemtually relationshps to physical things. Otherwise, you end up with nasty metaphysical dangling participles like Plato.
I hope that I have adequately answered your question.
B.T.
JT |
|
|
| Back to top |
|
| David R Tribble |
Posted: Sat Apr 26, 2008 7:05 am |
|
|
|
Guest
|
Randy Poe wrote:
Quote: What do you mean by "out of money"? How would
you describe that state?
jonas.thornv...@hotmail.com wrote:
Quote: Well i guess the field for your account would actually show
" " space or []
Randy Poe wrote:
Quote: That's your view of the representation of this
state (my bank uses "$0.00"). But forget trying
to represent it in a computer. Tell me what the
properties of this state are.
Obviously, Jonas is just going to talk in circles around your
question.
I think a better example to use is:
It's 10 degrees outside. The temperature drops another
10 degrees. So what is the temperature outside now?
Of course, I don't expect a comprehensible answer to this
question from Jonas, based on his previous responses. |
|
|
| Back to top |
|
| |
Page 6 of 6 Goto page Previous 1, 2, 3, 4, 5, 6
All times are GMT - 5 Hours
The time now is Fri Sep 05, 2008 9:21 pm
|
|