KindiakMath

Is 0 a Natural Number?

Many mathematicians insist that 0 is not a natural number, motivated by the philosophical something-or-nothing dilemma. Computer scientists, on the other hand, mostly assert that 0 is a natural number, motivated by zero-indexing in for-loops.

Most otherwise sane academics try to harmonise both views by saying that 0 being a natural number is context-specific, and is included or excluded for purposes amounting to notational convenience.

I attempt to formalise this perspective by asserting that one thing is for certain: 0 must be a nonnegative integer. More precisely, we can define \mathbb N to be exactly one of the following sets: \mathbb N^+ := \mathbb N \backslash \{0\} or \mathbb N_0 := \mathbb N \cup \{0\}.

Theorem. Let K be any set and c denote any object. Then K is exactly one of K_1 := K \backslash \{c\} or K_2 := K \cup \{c\}. Particularising to K = \mathbb N and c = 0 yields the desired result.

Proof. We observe that

K_1 = K \backslash \{c\} \subseteq K \subseteq K \cup \{c\} = K_2.

The claim now is that K is exactly one of K_1 or K_2. Now, exactly one of K = K_1 or K \neq K_1 must hold. In the former, we are done.

Suppose the latter, that is, K \neq K_1. We aim to prove that K = K_2. To that end, since K \neq K_1, there exists x \in K \subseteq K_2 such that x \notin K_1.

If x \neq c, then x \in K \backslash \{c\} = K_1, a contradiction. Thus, c = x \in K. Hence,

K_2 = K \cup \{c\} \subseteq K \cup K = K \subseteq K_2,

as required.

To conclude: Using this formulation, mathematicians use the convention \mathbb N = \mathbb N^+, while computer scientists use the convention \mathbb N = \mathbb N_0. This allows both of them in their contexts to write one less symbol (+ for mathematicians, 0 for computer scientists).

Now end your foolish controversies and needless debates.

—Joel Kindiak, 3 Nov 24, 1957H

,

Published by

joelkindiak

Responses

  1. The Preconditions of Infinity – KindiakMath

    […] and for . For the rest of this writeup, we will adopt the convention […]

    Like

    Reply
  2. A Rational Prelude – KindiakMath

    […] yields an integer , and if , we obtain a natural number. For real analysis, we will adopt the convention that so that . Let’s first convince ourselves that without loss of generality, we can assume […]

    Like

    Reply
  3. The Foundation of Real Analysis – KindiakMath

    […] that will require us to define the absolute value function. For real analysis, we will adopt the convention so that […]

    Like

    Reply
  4. Who Cares About Well-Ordering? – KindiakMath

    […] Prove that the well-ordering principle is equivalent to mathematical induction. […]

    Like

    Reply
  5. The Origin of Numbers – KindiakMath

    […] on and so forth. In this formulation of , we will assume that for […]

    Like

    Reply

Leave a comment