Home > Glossary > Natural number

Natural Number

Natural Number

Natural numbers make up a part of the number system. They include all positive integers between 1 and infinity. Because they don’t include zero or other negative numbers, natural numbers are sometimes called counting numbers. They can be considered part of real numbers, which includes only positive integers but not zero, fractions decimals or negative numbers.

Some definitions, such as the ISO 80000-2 standard, start the natural numbers with 0. This corresponds to the non-negative integers 0, 1, 2 and 3, while others begin with 1, which corresponds to the positive integers 1,2 and 3…

Texts that do not include zero in the natural number text may refer to them as whole numbers. In other writings, this term is used for the integers (including the negative integers). The natural numbers can be used as a base for many other number sets.

These include the integers, which may include (if not already in) the neutral element 0, and an additive inverse, (-n), the rational numbers by including a multiplicative and/or converging inverse for each integer n, and the product of these inverses with integers); real numbers by including the rationals the limits (converging Cauchy sequences) of rationals.

Complex numbers consist of the real numbers, the unresolved square root of minus one, and the sums and the products of it; and the sums and the sums and the products of the square root of minus 1. This chain of extensions makes the natural numbers canonically embedded in other number systems.

Number theory studies properties of natural numbers such as division and the distribution of primes. Combinatorics studies problems concerning ordering and counting, such as partitioning or enumerations. Common language, especially in primary school education, may refer to natural numbers as counting numbers. This is to intuitively exclude negative integers and zero and to contrast the discreteness and continuity of counting with the hallmark characteristic of real numbers.

History Of Natural Numbers

A mark is the simplest way to represent a natural number. A set of objects can later be checked for equality, excess, or lack by removing one object from the set and striking out a marker.

The use of numerals as a way to represent numbers was the first significant step in abstraction. This enabled the development of systems for large numbers to be recorded. Ancient Egyptians created a strong system of numerals that included distinct hieroglyphs for 1, 10 and all powers of 10, up to more than 1 million.

Karnak’s stone carving, which dates back to around 1500 BCE, is now at the Louvre, Paris. It depicts 276 in 7 tens and 6 ones, as well as the number 4,622. Babylonians used base sixty to determine the value of the symbol for sixty.

The idea that 0 could be considered a number with its own numeral was a much later development. Babylonians used a 0 digit for place-value notation (within numbers) as early as 700 BCE. They omitted it because it would have been the last symbol of the number.

Present Definitions

There was philosophical and mathematical discussion in 19th-century Europe about the nature of natural numbers. Naturalism was a school that believed natural numbers were the result of human psychology. Henri Poincare, Leopold Kronecker and Leopold Poincare were both supporters of the school. He summarized his belief by saying, “God made the integers. All else is the work of man.”

Contrary to the Naturalists the constructivists believed that there was a need for better logical rigor in mathematics' foundations. Hermann Grassmann proposed a recursive definition of natural numbers in the 1860s. This meant that they were not natural, but a result of definitions. Later, two types of formal definitions were created. They were later shown to be identical in most practical applications.

Frege was the first to develop set-theoretical definitions for natural numbers. Frege initially defined a “natural number” as a class of sets that are in one to one correspondence with a specific set. This definition led to many paradoxes, including Russell’s paradox. To avoid these paradoxes, the formalism was changed so that a natural quantity is defined as a specific set. Any set that can be put in one-to-one correspondence to that set is called a set with that number of elements.

Charles Sanders Peirce introduced the second class of definitions. Richard Dedekind refined it and Giuseppe Peano further explored it. This approach is now known as Peano arithmetic. It is based upon an axiomatization (or axiomatization) of the properties of ordinal numbers. Each natural number has a predecessor and each non-zero number has a unique preceding number. Peano arithmetic can be used in conjunction with weak systems of set theory. ZFC is one such system, with the axioms of infinity being replaced by their negation. Goodstein’s Theorem is one of the ZFC theorems that can easily be proven, but not using the Peano Axioms.

It is easy to include 0 (corresponding to the empty set) in all of these definitions as a natural number. Set theorists, as well as logicians, now use 0 as a common number. Other mathematicians include 0, and computer languages start at zero when enumerating items such as loop counters or string-, array-, and array elements. However, many mathematicians still believe that 1 should be considered the first natural number.

Ramiel Angel
Azrael Angel