12

Once i was discussing Zero with my kids, i picked up a pen and asked what it is they said 1 pen, then i kept the pen and showed them empty hand and asked how about now, they said Zero pen, then I picked up notebook, did the same, 1 notebook, Zero notebook, pencil etc. Then one of the kids remarked that Zero of Everything looks exactly same!!!! So is it that there is SEPARATE one of each thing(different from others) BUT JUST ONE Zero for EVERYTHING. So is it that Zero as an object, an entity or anything, exists as one single copy. Any Equation any place any time if wrote this symbol >> "0", that symbol is pointing to just one same single instance of Zero.

I don't know whether it makes sense to ask the question that way, but I found the idea intriguing...

[EDIT]

Just to give you some context, I am studying Mind as much as I am studying any particular Subject, so when I ask such questions it's like WHOLE UNIVERSE. Since I also look at Mind so it becomes a question of "IN THE WHOLE UNIVERSE". So if you have an Apple, universe knows about it, if you don't have a Apple, Universe doesn't know that there is, was or can be a thing called Apple. There is no system or context smaller than the WHOLE UNIVERSE.

13
  • 8
    With set theory as foundation, there's only one unique empty set ∅ corresponding to what your kid means zero of everything which could be related to the single truth value False in logics in the sense of logic, not in any quantitative sense, yet you have distinct singleton sets for one pen {pen}, for one notebook {notebook}. Therefore perhaps here your kid means it's false that your hand holds something like before and indeed there's only one False as truth value in logics... Commented yesterday
  • 2
    @DoubleKnot EXACTLY, Absence is Unremarkable, there is information missing hence absence on one this is indistiguishable from absence of another, but presence is distinct, it has required information for Identification of "what is present" hence looks different, but ALL ABSENCES ARE SAME AND THEY LOOK ANS BEHAVE EXACTLY SAME... Commented yesterday
  • 2
    @DoubleKnot You have used this word "transfinite" couple of times earlier as well, I need to find out what that is?! Commented 21 hours ago
  • 4
    I'd like to point out, that you can set 0 to different things. In the celsius scale, 0 is where water freezes, while in Kelvin that's around 273. Commented 19 hours ago
  • 2
    @DoubleKnot While there is only one empty set, there are many — some say, too many — differently typed null pointers. Commented 12 hours ago

18 Answers 18

21

In group theory, the "zero" is better referred to as the identity element, usually within what are additive groups.

This is not the same in every group.

For matrices, it is the n × n zero-matrix.

For functions from ℝ → ℝ, it is the function mapping every number to zero.

For the permutation group, it is the operation mapping every element to its own position (some conceptions of zero would exclude this as a zero, and merely consider it an identity element, since it is not in relation to an additive group):

The "zero" of the permutation group

For vectors in ℝn, it is the zero-vector of dimension n.

  • Note that saying there are "no notebooks, no pencils, and no pens" can be translated to the zero-vector of dimension 3, where each dimension is the count of a different kind of thing. This could be extended to cover the entire space of countable things.
  • Zero notebooks would be [0, b, c], for any values of b and c.
  • Zero pencils would be [a, 0, c], for any values of a and c.
  • Zero pens would be [a, b, 0], for any values of a and b.
  • So a hand with "zero pens" does not necessarily look the same as a hand with "zero notebooks." The first might have a notebook in it; the second might have a pen in it.
  • But the actual "zero" in this group is the full zero-vector.

While authors will often denote these various zeros in different groups using the same symbol "0" or "∅", they refer to different conceptual objects in each group.


Your thinking as presented in the question and some of your follow-up comments somewhat conflates the concept of zero with the concept of nothing (what some other answers identify with the empty set). This may in part just be terminological, since you may not have had these terms at the ready. In any case, since you used the word "zero," I have presented an answer focusing on its varied forms in different groups. Other answers are also correct where they say there is only one empty set: {}.

7
  • 5
    I think you could improve this good answer by expanding to note that zero-vector of dimension n is what the OP is noticing with pens, notebooks, etc (in the very large n orthogonal vector space of "countable things").
    – g s
    Commented yesterday
  • 2
    Here the example [0,b,c] etc., zero is within some structure and it's appearance at different place makes structure look different but Zero is still Zero. Commented yesterday
  • 1
    @AshishShukla no, in ℝ3, zero is uniquely: [0,0,0]
    – Lowri
    Commented yesterday
  • 1
    Well in that case consider [0,0,0] as something that I talked about. There is no combination here as in one thing is zero but other thing isn't. It's like either...or.... Either something is or isn't, remember it was a discussion with a kid and I am not very different from a kid, maths knowledge wise... :) Commented 21 hours ago
  • 1
    +1 The OP should understand that the 0 is a symbol and that in mathematics, that it can refer to more than one thing is consistent with other integers, where 2 can refer to many pairs, 3 can refer to many triples, etc. Consider that in computer memory, we can have a 0 at millions of addresses in RAM. Each of those 0's is distinct from others. In analytic philosophy; this thinking stems from Fregean Sinn und Bedeutung. If you take 0 to "exist" at all. See mathematical nominalism.
    – J D
    Commented 11 hours ago
6

Try holding only a book in your hand, and asking them how many pens you're holding.


Zero doesn't exist at all. Neither does one, two, three, etc.

These are just concepts we often (but not necessarily) ascribe to collections of things that actually exist in the world.

* Well, mathematical realism says these concepts do actually themselves exist, but even there, the concepts are still separate from what we ascribe them to.

When you're saying there is 1 pen, there's a pen that actually exists in the world, which you're referring to. When you say there are 0 pens, that's referencing an absence of things (pens) in the world. If there are 0 pens, there may 0 books, or there may more than 0 books. So they're kind of "the same" in the sense that they both refer to an absence of things, but they're kind of different in the sense that they're referring to an absence of different things.

As for the concepts themselves: There is only 1 concept* for zero, but there's also only 1 concept for one, and 1 concept for two, etc. When you say there's one pen, and you say there's one book, that's the same concept of one being used there, even though it's being ascribed to different collections of things.

* At least on the most simple level. One might debate whether an integer one is different from a real-valued one, and whether ones in different groups are the same, and there's also set theory.

For set theory, as other answers mention, you could have many different sets of 1 element. And there's only 1 set with 0 elements. This is because sets themselves don't have a type. It's not "a pen set" or "a book set". A set containing 0 elements would "contain" 0 pens and 0 books and 0 everything else (which is not to say there's a "0 books" element inside it, but rather that it doesn't contain any book elements). A set containing 1 element would also contain 0 books and 0 everything else.

Somewhat related: the history of the number zero, and how some societies didn't even have a symbol or placeholder for zero, and some opposed using it as a number.

1
  • What I am trying to say is that "absence" is same, we even use the same word "absence" for everything as you did in "absence of different things". Absence is still singualar while there are "things", plural.... Commented 6 hours ago
6

There are many related issues:

  • the symbol 0: different in different languages/notations,
  • collections of objects with the same number of objects: how collections of NO objects at all can differ? and finally,
  • the number ZERO: what is it?

Note: if we accept to speak of "the number zero" we already assume that there is one individual named "zero"; compare with "the US president".

"there is SEPARATE one of each thing(different from others) BUT JUST ONE Zero for EVERYTHING".

Not exactly. All collections of NO objects are the same: there is no way to see any difference, AND the number of objects in collections of no objects at all is ZERO (the same for all).

Collections of ONE objects are different because there are differente objects in each one, but they all have the same number of objects, that is ONE.

Thus also the number ONE is unique.

See Frege on numbers:

Frege argues that numbers are objects and number statements assert something about a concept. Frege defines numbers as "logical objects" related to concepts [their extension]: 'The number of F's' is defined as the extension of the concept 'G is a concept that is equinumerous to F'. Frege defines 0 as the extension of the concept 'being non self-identical'. So, the number of this concept is the extension of the concept of all concepts that have no objects falling under them.

In this way, zero is exactly the number of all collections having no elements.

And see also Number Concepts. An Interdisciplinary Inquiry.

2
  • +1 To provide a balance to neo-Platonic thinking, consider that 0 might, in the spirit of nominalism, be nothing more than a fiction or psychological process challenging the traditional notions of mathematical abstract objects: plato.stanford.edu/entries/fictionalism-mathematics
    – J D
    Commented 11 hours ago
  • If you follow that path then lemme say this, for me collection is "the thing", a packet containing pens is different from a packet containing "toys" but absence of both the collections is same. If we tend to look at it from Zero point of view, then it becomes a discussion of what Zero is, while the question is more from Absence Point of View, which is what Zero is, but it's just that Zero is more Mathy while Absence is Generic... Commented 6 hours ago
3

This is a corollary of the fact that there exists exactly one empty set: {}. Therefore any intensional formula that defines a condition that no object satisfies, such as the three examples you gave, {x in the classroom : x is a pen}, {x in the classroom : x is a notebook}, {x in the classroom : x is a pencil}, all evaluate to the empty set: {}.

{x in the classroom : x is a pen} = {x in the classroom : x is a notebook} = {x in the classroom : x is a pencil} = {}.

3

For each natural number n different from zero there are many sets with n elements. But for n = 0 there is a unique set with zero elements, the empty set.

Aside: It would be interesting to know at which age children capture the idea of the empty set. Did Piaget investigate this question? What about the age of your children?

1
  • 2
    Age is around 8-9 years... Commented yesterday
1

There are three zeros in 1000, but they mean different things: zero units, zero tens and zero hundreds.

3
  • 3
    See here 0s are in a structure and each place has different meaning, whereas Zero still means nothing regardless of where it is kept... Commented yesterday
  • @AshishShukla Sure, the zero units and zero tens are not different from the zero pens or zero notebooks, yet, I showed you they are different in how they are represented in a decimal number. Your question didn't mention structure or place.
    – Philomath
    Commented yesterday
  • You are right, I wasn't looking at zero strictly as a number or within a certain structure or representation but as value or absence... Commented yesterday
1

Your question: "Is there only one 'zero'?" First, we need to clarify: what is the role or purpose of the 'zero' in question?

Zero as a representation of "nothingness": According to von Neumann's assignment, zero corresponds to the empty set ∅. By the ZFC axioms, this is, of course, unique.

Zero as the starting point of natural numbers: Here, zero is a specially designated element within the Peano system. According to its axioms, zero must be unique. However, if one does not adhere to some or all of Peano's axioms, it is possible for multiple distinct "zeros" to exist.

Zero as the identity element of an operation (commonly referred to as 'zero' when the operation is written as addition): According to the axioms for any identity element e, where e+a=a+e=a, it follows that 0=0+0'=0'. This clearly ensures its uniqueness.

New contributor
H4XeO6 is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
2
  • Hey @H4XeO6, I am studying Mind as much as I am studying any particular Subject so when I ask such questions it's like WHOLE UNIVERSE. Since I also look at Mind so it becomes a question of "IN THE WHOLE UNIVERSE". So if you have an Apple, universe knows about it, if you don't have a Apple, Universe doesn't know that there is, was or can be a thing called Apple. There is no system or context smaller than the WHOLE UNIVERSE. Maybe I should add this information in the Question itself. Commented 18 hours ago
  • It's not clear to me that the empty set, corresponds to the idea of "nothingness". ( unless you mean a container, containing nothingness) The empty set is a set. An Empty Folder, is different than not having a folder at all. I think the empty set is more akin to the idea of minimality. A minimal set. With respect to elementhood. Or, the smallest set with respect to subsets. - A set contained in every set. The empty set is an Atom, an indivisible unit with repsect to elementhood. You can't break it up into ∈-smaller sets, i.e. it's elements. Commented 16 hours ago
1

123456789012345678901234567890

3
  • 1
    "Mathematics is the language with which God has written the Universe." -Galileo. "Geometry is one and eternal shining in the mind of God. That men share in it is among the reasons that Man is the image of God.” - Kepler. "God is a mathematician of a very high order and He used advanced mathematics in constructing the universe." -Dirac
    – CriglCragl
    Commented 12 hours ago
  • 1
    This is really how I felt about math (the pov expressed by God in the comic) from age 6 through the end of college. When people use the phrase "Set Theory" when talking about SQL I want to slap them. Just get some work done!
    – Scott Rowe
    Commented 9 hours ago
  • @CriglCragl YES. Commented 8 hours ago
1

There is exactly one 'zero' in the same sense that there is exactly one 'one' or one 'two'. Numbers are linguistic quantifiers that call for a reference object. The reason people think that 'zero pencils' looks like 'zero notebooks' is that the referent isn't visible. But you wouldn't say that having zero girlfriends is the same as having zero lattes — at least, I assume you understand the difference between the things referenced — so there's really no problem here.

1

Well, if you add a unit to it they are different. Zero pens versus zero notebooks. For example, zero meters is physically different from zero seconds.

1

Egyptians used a zero line level in construction, with measurements above and below.

But zero in it's full form, is about positional notation, like the decimal system. Roman numerals get increasingly clunky as you get to bigger numbers, whereas positional notation is scalable. People were very uneasy about zero for a long time, and Roman numerals were still being used in accounting until the 18th C because of this.

A case has been made that zero in Arabic numerals, actually from India, emerged from Buddhist culture, where contemplating emptiness was seen as positive, and encouraged. Check out the Radio 4 episode of In Our Time on Indian Mathematics, where these scholars of the issues and history discuss this: George Gheverghese Joseph, Honorary Reader in Mathematics Education at Manchester University; Colva Roney-Dougal, Lecturer in Pure Mathematics at the University of St Andrews; Dennis Almeida, Lecturer in Mathematics Education at Exeter University and the Open University.

People uncomfortable with algebra until at least as late as Newton's time, causing him to publish his proofs in the form of geometric descriptions, which were considered 'more real' and reliable. Infinity is still a cause of unease and philosophical disputes, despite it's widespread use and efficacy in defining modern mathematics.

In short, there is zero on the numberline, and zero in positional notation, and these are different, though they are reconciled.

1
  • The 18th 'C', haw haw. Maybe it should be the XVIIIth C?
    – Scott Rowe
    Commented 9 hours ago
1

I am reminded of Wittgenstein, because ambiguities like these where all the words seem different but seem to reflect no underlying difference in reality are really his jam in Philosophical Investigations.

Specifically, I'll bring up an excerpt from remark 33:

And what does 'pointing to the shape', 'pointing to the colour' consist in? Point to a piece of paper.---And now point to its shape---now to its colour---now to its number (that sounds queer).---How did you do it?---You will say that you 'meant' a different thing each time you pointed. And if I ask how that is done, you will say you concentrated your attention on the colour, the shape, etc. But I ask again: how is that done?

A few remarks later, he suggests an explanation, that there is a different spiritual or mental or intellectual activity attached to focusing on zero pens or zero books or zero apples. After all, zero food makes me hungry and zero water makes me thirsty!

Of course, Lowri is already correct on the current mathematical practice, but I think that it's a mistake to accept mathematical practice as orthodox philosophy too soon.

New contributor
Holden Rohrer is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.
1
  • +1 — particularly for last para — philosophy both precedes and transcends math. And the answer you point out is trivially correct and deeply wrong — it reduces a child's innocent but deep semantic, ontic question into linguistic, notational word-game of sophisticates
    – Rushi
    Commented 3 hours ago
1

In addition to the many answers pointing out the large difference between:

  • 0 = "no instances of any thing", and
  • 0 = "no instances of this thing"

I'd just like to add that while the former has exactly one instance, the latter has an infinite number of instances! Consider the options you have for how many pens you can show and ask how many notebooks there are.

EDIT:

On chatting about this with a friend, perhaps a better way of visualising this a set of axes with the origin at the center.

All axes share this origin, and 0 along any axis will be the same point. On the other hand, you can have 0 for any specific axis but non-0 for any other value. All of these are valid 0s of that axis, and form some kind of surface or area across the other axes.

What your examples are doing is confusing each separate axis with the multi-dimensional space.

3
  • 1
    As far as I know 0 is generally used as "no instances of anything". If you say "I brought 0 things" no one will ask "0 of what thing(s)" but if you say "I brought 2 things", people will ask "what are they?" Commented 5 hours ago
  • Perhaps, @AshishShukla, but you could have brought a hamper of food for a picnic and be asked "How many hot dogs did you bring?" and you could say "No (0) hot dogs, I only brought sandwiches!" There is a distinct difference between all or none of a single type of thing in isolation and all or none of a thing when there are other things... You open up the world to multiple types of thing by comparing 0 pens to 0 notebooks, and so create options that have 0 or more of each type of thing where those things can be counted separately.
    – Graylocke
    Commented 3 hours ago
  • As a side note, in your example of "I brought 2 things", you have collapsed 2 pens and 2 books into the same type of "2".
    – Graylocke
    Commented 3 hours ago
0

...they said Zero pen, then I picked up notebook, did the same, 1 notebook, Zero notebook, pencil etc. Then one of the kids remarked that Zero of Everything looks exactly same!!!! So is it that there is SEPARATE one of each thing(different from others) BUT JUST ONE Zero for EVERYTHING.

No, the children are focused on the concrete object (pen, notebook etc.) in front of them, and are confusing that with the actual number (a quantitative relationship to a unit), which exists as a concept.

Both the single pen and the single notebook represent the same number, a quantitative relationship of 1:1 with a unit, even though they are different physical objects.

(The unit in this case being the generic/abstract "instance of an object".)

"Nothing" always looks the same, and always points to the same quantitative relationship of zero.

You could show them two different pens, of the same brand: are these two pens, shown one-at-a-time, a separate type of "one"?

No, they both "point" to the same "one", and so on.

1
  • Correct, for those kids Numbers haven't become abstract yet. Number and Thing are indistinguishable from each other, for them 1Apple is a complete thing no difference between "1" and "apple", hence simplistically speaking 1Apple is different from 1Mango... Commented 5 hours ago
0

What Property Characterizes Zero?

i) Being an Additive Identity

x + 0 = x

Then we can, and do have many different Additive Identities.

The Zero Vector is different from the Zero Natural Number, which is Different from the Zero Dedekind Cut etc....

However, it's not clear that the property of being an additive identity is intrinsic to the object, and not how we define addition in the structure we are working with.

ii) Zero is a notion of emptyness.

Then there is only one set which has no elements.

This is the notion you used when describing The Set of No Pens etc...

iii) Zero up to Isomorphism ( 0 As Minimal Element)

If We have an Isomorphism f:(X,R) ≅ (N,<) - N is Set of Natural Numbers

Then, for some element x in X, f(x) = 0

We then have that x is Zero in X.

Basically, we have thet x is the R-Minimal Element in X

Remark: ii) is a somewhat like a special case of iii) where we consider a set that is ∈-minimal in the Universe. i.e. There is no set which is an element of the emptyset.

Note that no matter what, whether we use being R-minimal for some Order R, or being an Additive Identity- we use other concepts to have that something has a property appropriate for being 0.

0

Is there just one Zero?

Yes. Suppose x+y = x and x+z = x where x, y and z are real numbers.

Solving for y and z in both equations, we obtain:

y = x-x = 0

z = x-x = 0

By substitution, we have:

y = z = 0

There is only one value, namely 0, that when added to a number gives you the same number.

0

Zero is defined as an additive identity element of a group. In context of numbers, it is such number x, which satisfies the equation x+a=a, for any number a.

Can there be two such numbers, x1 and x2 that satisfy this equation? Let's see.

x1+x2=x2

but also

x2+x1=x1.

So, either x1=x2 or addition is non-commutative. Since in all number systems and vector spaces addition is commutative, zero is unique.

0

Your example is a bit deceiving and putting you on a wrong path because not only is there no e.g. pen in your hand, there is nothing at all in your hand. And, indeed: Of nothing at all there is only one ;-). Of no x though, there are as many as there are x!

In order to illustrate this take a car: There is a big difference between zero gas or zero windshield wiper fluid. Or if you take a set of crayons: There is a big difference between zero red crayons in the set and, say, zero blue ones, especially around Christmas ;-).

You could perfectly well illustrate this by holding a pen, a notebook, a pencil etc. together in your hand and then taking away just one of them, say, the pen. The hand holds zero pens! Very different from holding zero notebooks (but pens).

In this respect, the zero is not at all different from one or any other number: If we count things, we must say which things.

If you were the Dalai Lama you could order the opposite of a pizza without toppings: A pizza with everything. While the absence of everything is nothing, the presence of everything is the universe. The two concepts complement each other.

2
  • A pizza with the entire universe on it would really be something.
    – Scott Rowe
    Commented 9 hours ago
  • 1
    @ScottRowe I'm not sure how well-known that reference is. I added a link. Commented 6 hours ago

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .