Arithmetic is an elementary branch of mathematics that studies numerical operations like addition, subtraction, multiplication, and division. In a wider sense, it also includes exponentiation, extraction of roots, and taking logarithms.

Diagram of symbols of arithmetic operations
The main arithmetic operations are addition, subtraction, multiplication, and division.

Arithmetic systems can be distinguished based on the type of numbers they operate on. Integer arithmetic is about calculations with positive and negative integers. Rational number arithmetic involves operations on fractions of integers. Real number arithmetic is about calculations with real numbers, which include both rational and irrational numbers.

Another distinction is based on the numeral system employed to perform calculations. Decimal arithmetic is the most common. It uses the basic numerals from 0 to 9 and their combinations to express numbers. Binary arithmetic, by contrast, is used by most computers and represents numbers as combinations of the basic numerals 0 and 1. Computer arithmetic deals with the specificities of the implementation of binary arithmetic on computers. Some arithmetic systems operate on mathematical objects other than numbers, such as interval arithmetic and matrix arithmetic.

Arithmetic operations form the basis of many branches of mathematics, such as algebra, calculus, and statistics. They play a similar role in the sciences, like physics and economics. Arithmetic is present in many aspects of daily life, for example, to calculate change while shopping or to manage personal finances. It is one of the earliest forms of mathematics education that students encounter. Its cognitive and conceptual foundations are studied by psychology and philosophy.

The practice of arithmetic is at least thousands and possibly tens of thousands of years old. Ancient civilizations like the Egyptians and the Sumerians invented numeral systems to solve practical arithmetic problems in about 3000 BCE. Starting in the 7th and 6th centuries BCE, the ancient Greeks initiated a more abstract study of numbers and introduced the method of rigorous mathematical proofs. The ancient Indians developed the concept of zero and the decimal system, which Arab mathematicians further refined and spread to the Western world during the medieval period. The first mechanical calculators were invented in the 17th century. The 18th and 19th centuries saw the development of modern number theory and the formulation of axiomatic foundations of arithmetic. In the 20th century, the emergence of electronic calculators and computers revolutionized the accuracy and speed with which arithmetic calculations could be performed.

edit

Arithmetic is the fundamental branch of mathematics that studies numbers and their operations. In particular, it deals with numerical calculations using the arithmetic operations of addition, subtraction, multiplication, and division.[1] In a wider sense, it also includes exponentiation, extraction of roots, and logarithm.[2] The term "arithmetic" has its root in the Latin term "arithmetica" which derives from the Ancient Greek words ἀριθμός (arithmos), meaning "number", and ἀριθμητική τέχνη (arithmetike tekhne), meaning "the art of counting".[3]

There are disagreements about its precise definition. According to a narrow characterization, arithmetic deals only with natural numbers.[4] However, the more common view is to include operations on integers, rational numbers, real numbers, and sometimes also complex numbers in its scope.[5] Some definitions restrict arithmetic to the field of numerical calculations.[6] When understood in a wider sense, it also includes the study of how the concept of numbers developed, the analysis of properties of and relations between numbers, and the examination of the axiomatic structure of arithmetic operations.[7]

Arithmetic is closely related to number theory and some authors use the terms as synonyms.[8] However, in a more specific sense, number theory is restricted to the study of integers and focuses on their properties and relationships such as divisibility, factorization, and primality.[9] Traditionally, it is known as higher arithmetic.[10]

Numbers

edit

Numbers are mathematical objects used to count quantities and measure magnitudes. They are fundamental elements in arithmetic since all arithmetic operations are performed on numbers. There are different kinds of numbers and different numeral systems to represent them.[11]

Kinds

edit
 
Different types of numbers on a number line. Integers are black, rational numbers are blue, and irrational numbers are green.

The main kinds of numbers employed in arithmetic are natural numbers, whole numbers, integers, rational numbers, and real numbers.[12] The natural numbers are whole numbers that start from 1 and go to infinity. They exclude 0 and negative numbers. They are also known as counting numbers and can be expressed as  . The symbol of the natural numbers is  .[a] The whole numbers are identical to the natural numbers with the only difference being that they include 0. They can be represented as   and have the symbol  .[14][b] Some mathematicians do not draw the distinction between the natural and the whole numbers by including 0 in the set of natural numbers.[16] The set of integers encompasses both positive and negative whole numbers. It has the symbol   and can be expressed as  .[17]

Based on how natural and whole numbers are used, they can be distinguished into cardinal and ordinal numbers. Cardinal numbers, like one, two, and three, are numbers that express the quantity of objects. They answer the question "how many?". Ordinal numbers, such as first, second, and third, indicate order or placement in a series. They answer the question "what position?".[18]

A number is rational if it can be represented as the ratio of two integers. For instance, the rational number   is formed by dividing the integer 1, called the numerator, by the integer 2, called the denominator. Other examples are   and  . The set of rational numbers includes all integers, which are fractions with a denominator of 1. The symbol of the rational numbers is  .[19] Decimal fractions like 0.3 and 25.12 are a special type of rational numbers since their denominator is a power of 10. For instance, 0.3 is equal to  , and 25.12 is equal to  .[20] Every rational number corresponds to a finite or a repeating decimal.[21][c]

 
Irrational numbers are sometimes required to describe magnitudes in geometry. For example, the length of the hypotenuse of a right triangle is irrational if its legs have a length of 1.

Irrational numbers are numbers that cannot be expressed through the ratio of two integers. They are often required to describe geometric magnitudes. For example, if a right triangle has legs of the length 1 then the length of its hypotenuse is given by the irrational number  . π is another irrational number and describes the ratio of a circle's circumference to its diameter.[22] The decimal representation of an irrational number is infinite without repeating decimals.[23] The set of rational numbers together with the set of irrational numbers makes up the set of real numbers. The symbol of the real numbers is  .[24] Even wider classes of numbers include complex numbers and quaternions.[25]

Numeral systems

edit

A numeral is a symbol to represent a number and numeral systems are representational frameworks.[26] They usually have a limited amount of basic numerals, which directly refer to certain numbers. The system governs how these basic numerals may be combined to express any number.[27] Numeral systems are either positional or non-positional. All early numeral systems were non-positional.[28] For non-positional numeral systems, the value of a digit does not depend on its position in the numeral.[29]

Tally marks and some tally sticks use the non-positional unary numeral system.

The simplest non-positional system is the unary numeral system. It relies on one symbol for the number 1. All higher numbers are written by repeating this symbol. For example, the number 7 can be represented by repeating the symbol for 1 seven times. This system makes it cumbersome to write large numbers, which is why many non-positional systems include additional symbols to directly represent larger numbers.[30] Variations of the unary numeral systems are employed in tally sticks using dents and in tally marks.[31]

 
Hieroglyphic numerals from 1 to 10,000[32]

Egyptian hieroglyphics had a more complex non-positional numeral system. They have additional symbols for numbers like 10, 100, 1000, and 10,000. These symbols can be combined into a sum to more conveniently express larger numbers. For instance, the numeral for 10,405 uses one time the symbol for 10,000, four times the symbol for 100, and five times the symbol for 1. A similar well-known framework is the Roman numeral system. It has the symbols I, V, X, L, C, D, M as its basic numerals to represent the numbers 1, 5, 10, 50, 100, 500, and 1000.[33]

A numeral system is positional if the position of a basic numeral in a compound expression determines its value. Positional numeral systems have a radix that acts as a multiplicand of the different positions. For each subsequent position, the radix is raised to a higher power. In the common decimal system, also called the Hindu–Arabic numeral system, the radix is 10. This means that the first digit is multiplied by  , the next digit is multiplied by  , and so on. For example, the decimal numeral 532 stands for  . Because of the effect of the digits' positions, the numeral 532 differs from the numerals 325 and 253 even though they have the same digits.[34]

Another positional numeral system used extensively in computer arithmetic is the binary system, which has a radix of 2. This means that the first digit is multiplied by  , the next digit by  , and so on. For example, the number 13 is written as 1101 in the binary notation, which stands for  . In computing, each digit in the binary notation corresponds to one bit.[35] The earliest positional system was developed by ancient Babylonians and had a radix of 60.[36]

Operations

edit
Arithmetic operations underly many everyday occurrences, like when putting four apples from one bag together with three apples from another bag (top image) or when distributing nine apples equally among three children (bottom image).

Arithmetic operations are ways of combining, transforming, or manipulating numbers. They are functions that have numbers both as input and output.[37] The most important operations in arithmetic are addition, subtraction, multiplication, and division.[38] Further operations include exponentiation, extraction of roots, and logarithm.[39] If these operations are performed on variables rather than numbers, they are sometimes referred to as algebraic operations.[40]

Two important concepts in relation to arithmetic operations are identity elements and inverse elements. The identity element or neutral element of an operation does not cause any change if it is applied to another element. For example, the identity element of addition is 0 since any sum of a number and 0 results in the same number. The inverse element is the element that results in the identity element when combined with another element. For instance, the additive inverse of the number 6 is -6 since their sum is 0.[41]

There are not only inverse elements but also inverse operations. In an informal sense, one operation is the inverse of another operation if it undoes the first operation. For example, subtraction is the inverse of addition since a number returns to its original value if a second number is first added and subsequently subtracted, as in  . Defined more formally, the operation " " is an inverse of the operation " " if it fulfills the following condition:   if and only if  .[42]

Commutativity and associativity are laws governing the order in which some arithmetic operations can be carried out. An operation is commutative if the order of the arguments can be changed without affecting the results. This is the case for addition, for instance,   is the same as  . Associativity is a rule that affects the order in which a series of operations can be carried out. An operation is associative if, in a series of two operations, it does not matter which operation is carried out first. This is the case for multiplication, for example, since   is the same as  .[43]

Addition and subtraction

edit
Addition and subtraction

Addition is an arithmetic operation in which two numbers, called the addends, are combined into a single number, called the sum. The symbol of addition is  . Examples are   and  .[44] The term summation is used if several additions are performed in a row.[45] Counting is a type of repeated addition in which the number 1 is continuously added.[46]

Subtraction is the inverse of addition. In it, one number, known as the subtrahend, is taken away from another, known as the minuend. The result of this operation is called the difference. The symbol of subtraction is  .[47] Examples are   and  . Subtraction is often treated as a special case of addition: instead of subtracting a positive number, it is also possible to add a negative number. For instance  . This helps to simplify mathematical computations by reducing the number of basic arithmetic operations needed to perform calculations.[48]

The additive identity element is 0 and the additive inverse of a number is the negative of that number. For instance,   and  . Addition is both commutative and associative.[49]

Multiplication and division

edit
Multiplication and division

Multiplication is an arithmetic operation in which two numbers, called the multiplier and the multiplicand, are combined into a single number called the product.[50][d] The symbols of multiplication are  ,  , and *. Examples are   and  . If the multiplicand is a natural number then multiplication is the same as repeated addition, as in  .[52]

Division is the inverse of multiplication. In it, one number, known as the dividend, is split into several equal parts by another number, known as the divisor. The result of this operation is called the quotient. The symbols of division are   and  . Examples are   and  .[53] Division is often treated as a special case of multiplication: instead of dividing by a number, it is also possible to multiply by its reciprocal. The reciprocal of a number is 1 divided by that number. For instance,  .[54]

The multiplicative identity element is 1 and the multiplicative inverse of a number is the reciprocal of that number. For example,   and  . Multiplication is both commutative and associative.[55]

Exponentiation and logarithm

edit
Exponentiation and logarithm

Exponentiation is an arithmetic operation in which a number, known as the base, is raised to the power of another number, known as the exponent. The result of this operation is called the power. Exponentiation is sometimes expressed using the symbol ^ but the more common way is to write the exponent in superscript right after the base. Examples are   and  ^ . If the exponent is a natural number then exponentiation is the same as repeated multiplication, as in  .[56][e]

Roots are a special type of exponentiation using a fractional exponent. For example, the square root of a number is the same as raising the number to the power of   and the cube root of a number is the same as raising the number to the power of  . Examples are   and  .[58]

Logarithm is the inverse of exponentiation. The logarithm of a number   to the base   is the exponent to which   must be raised to produce  . For instance, since  , the logarithm base 10 of 1000 is 3. The logarithm of   to base   is denoted as  , or without parentheses,  , or even without the explicit base,  , when the base can be understood from context. So, the previous example can be written  .[59]

Exponentiation and logarithm do not have general identity elements and inverse elements like addition and multiplication. The neutral element of exponentiation in relation to the exponent is 1, as in  . However, exponentiation does not have a general identity element since 1 is not the neutral element for the base.[60] Exponentiation and logarithm are neither commutative nor associative.[61]

Types

edit

Different types of arithmetic systems are discussed in the academic literature. They differ from each other based on what type of number they operate on, what numeral system they use to represent them, and whether they operate on mathematical objects other than numbers.[62]

Integer arithmetic

edit
 
Using the number line method, calculating   is performed by starting at the origin of the number line then moving five units to right for the first addend. The result is reached by moving another two units to the right for the second addend.

Integer arithmetic is the branch of arithmetic that deals with the manipulation of positive and negative whole numbers.[63] Simple one-digit operations can be performed by following or memorizing a table that presents the results of all possible combinations, like an addition table or a multiplication table. Other common methods are verbal counting and finger-counting.[64]

Addition table
+ 0 1 2 3 4 ...
0 0 1 2 3 4 ...
1 1 2 3 4 5 ...
2 2 3 4 5 6 ...
3 3 4 5 6 7 ...
4 4 5 6 7 8 ...
... ... ... ... ... ... ...
Multiplication table
× 0 1 2 3 4 ...
0 0 0 0 0 0 ...
1 0 1 2 3 4 ...
2 0 2 4 6 8 ...
3 0 3 6 9 12 ...
4 0 4 8 12 16 ...
... ... ... ... ... ... ...
Example of addition with carry. The black numbers are the addends, the green number is the carry, and the blue number is the sum.
Example of long multiplication. The black numbers are the multiplier and the multiplicand. The green numbers are intermediary products gained by multiplying the multiplier with only one digit of the multiplicand. The blue number is the total product calculated by adding the intermediary products.

For operations on numbers with more than one digit, different techniques can be employed to calculate the result by using several one-digit operations in a row. For example, in the method addition with carries, the two numbers are written one above the other. Starting from the rightmost digit, each pair of digits is added together. The rightmost digit of the sum is written below them. If the sum is a two-digit number then the leftmost digit, called the "carry", is added to the next pair of digits to the left. This process is repeated until all digits have been added.[65] Other methods used for integer additions are the number line method, the partial sum method, and the compensation method.[66] A similar technique is utilized for subtraction: it also starts with the rightmost digit and uses a "borrow" or a negative carry for the column on the left if the result of the one-digit subtraction is negative.[67]

A basic technique of integer multiplication employs repeated addition. For example, the product of   can be calculated as  .[68] A common technique for multiplication with larger numbers is called long multiplication. This method starts by writing the multiplier above the multiplicand. The calculation begins by multiplying the multiplier only with the rightmost digit of the multiplicand and writing the result below, starting in the rightmost column. The same is done for each digit of the multiplicand and the result in each case is shifted one position to the left. As a final step, all the individual products are added to arrive at the total product of the two multi-digit numbers.[69] Other techniques used for multiplication are the grid method and the lattice method.[70] Computer science is interested in multiplication algorithms with a low computational complexity to be able to efficiently multiply very large integers, such as the Karatsuba algorithm, the Schönhage–Strassen algorithm, and the Toom–Cook algorithm.[71] A common technique used for division is called long division. Other methods include short division and chunking.[72]

Integer arithmetic is not closed under division. This means that when dividing one integer by another integer, the result is not always an integer. For instance, 7 divided by 2 is not a whole number but 3.5.[73] One way to ensure that the result is an integer is to round the result to a whole number. However, this method leads to inaccuracies as the original value is altered.[74] Another method is to perform the division only partially and retain the remainder. For example, 7 divided by 2 is 3 with a remainder of 1. These difficulties are avoided by rational number arithmetic, which allows for the exact representation of fractions.[75]

A simple method to calculate exponentiation is by repeated multiplication. For instance, the exponentiation of   can be calculated as  .[76] A more efficient technique used for large exponents is exponentiation by squaring. It breaks down the calculation into a number of squaring operations. For example, the exponentiation   can be written as  . By taking advantage of repeated squaring operations, only 7 individual operations are needed rather than the 64 operations required for regular repeated multiplication.[77] Methods to calculate logarithms include the Taylor series and continued fractions.[78] Integer arithmetic is not closed under logarithm and under exponentiation with negative exponents, meaning that the result of these operations is not always an integer.[79]

Number theory

edit

Number theory studies the structure and properties of integers as well as the relations and laws between them.[80] Some of the main branches of modern number theory include elementary number theory, analytic number theory, algebraic number theory, and geometric number theory.[81] Elementary number theory studies aspects of integers that can be investigated using elementary methods. Its topics include divisibility, factorization, and primality.[82] Analytic number theory, by contrast, relies on techniques from analysis and calculus. It examines problems like how prime numbers are distributed and the claim that every even number is a sum of two prime numbers.[83] Algebraic number theory employs algebraic structures to analyze the properties of and relations between numbers. Examples are the use of fields and rings, as in algebraic number fields like the ring of integers. Geometric number theory uses concepts from geometry to study numbers. For instance, it investigates how lattice points with integer coordinates behave in a plane.[84] Further branches of number theory are probabilistic number theory, which employs methods from probability theory,[85] combinatorial number theory, which relies on the field of combinatorics,[86] computational number theory, which approaches number-theoretic problems with computational methods,[87] and applied number theory, which examines the application of number theory to fields like physics, biology, and cryptography.[88]

Influential theorems in number theory include the fundamental theorem of arithmetic, Euclid's theorem, and Fermat's last theorem.[89] According to the fundamental theorem of arithmetic, every integer greater than 1 is either a prime number or can be represented as a unique product of prime numbers. For example, the number 18 is not a prime number and can be represented as  , all of which are prime numbers. The number 19, by contrast, is a prime number that has no other prime factorization.[90] Euclid's theorem states that there are infinitely many prime numbers.[91] Fermat's last theorem is the statement that no positive integer values can be found for  ,  , and  , to solve the equation   if   is greater than  .[92]

Rational number arithmetic

edit

Rational number arithmetic is the branch of arithmetic that deals with the manipulation of numbers that can be expressed as a ratio of two integers.[93] Most arithmetic operations on rational numbers can be calculated by performing a series of integer arithmetic operations on the numerators and the denominators of the involved numbers. If two rational numbers have the same denominator then they can be added by adding their numerators and keeping the common denominator. For example,  . A similar procedure is used for subtraction. If the two numbers do not have the same denominator then they must be transformed to find a common denominator. This can be achieved by scaling the first number with the denominator of the second number while scaling the second number with the denominator of the first number. For instance,  .[94]

Two rational numbers are multiplied by multiplying their numerators and their denominators respectively, as in  . Dividing one rational number by another can be achieved by multiplying the first number with the reciprocal of the second number. This means that the numerator and the denominator of the second number change position. For example,  .[95] Unlike integer arithmetic, rational number arithmetic is closed under division as long as the divisor is not 0.[96]

Both integer arithmetic and rational number arithmetic are not closed under exponentiation and logarithm.[97] One way to calculate exponentiation with a fractional exponent is to perform two separate calculations: one exponentiation using the numerator of the exponent followed by drawing the nth root of the result based on the denominator of the exponent. For example,  . The first operation can be completed using methods like repeated multiplication or exponentiation by squaring. One way to get an approximate result for the second operation is to employ Newton's method, which uses a series of steps to gradually refine an initial guess until it reaches the desired level of accuracy.[98] The Taylor series or the continued fraction method can be utilized to calculate logarithms.[99]

The decimal fraction notation is a special way of representing rational numbers whose denominator is a power of 10. For instance, the rational numbers  ,  , and   are written as 0.1, 3.71, and 0.0044 in the decimal fraction notation.[100] Modified versions of integer calculation methods like addition with carry and long multiplication can be applied to calculations with decimal fractions.[101] Not all rational numbers have a finite representation in the decimal notation. For example, the rational number   corresponds to 0.333... with an infinite number of 3s. The shortened notation for this type of repeating decimal is 0.3.[102] Every repeating decimal expresses a rational number.[103]

Real number arithmetic

edit

Real number arithmetic is the branch of arithmetic that deals with the manipulation of both rational and irrational numbers. Irrational numbers are numbers that cannot be expressed through fractions or repeated decimals, like the root of 2 and π.[104] Unlike rational number arithmetic, real number arithmetic is closed under exponentiation as long as it uses a positive number as its base. The same is true for the logarithm of positive real numbers as long as the logarithm base is positive and not 1.[105]

Irrational numbers involve an infinite non-repeating series of decimal digits. Because of this, there is often no simple and accurate way to express the results of arithmetic operations like   or  .[106] In cases where absolute precision is not required, the problem of calculating arithmetic operations on real numbers is usually addressed by truncation or rounding. For truncation, a certain number of leftmost digits are kept and remaining digits are discarded or replaced by zeros. For example, the number π has an infinite number of digits starting with 3.14159.... If this number is truncated to 4 decimal places, the result is 3.141. Rounding is a similar process in which the last preserved digit is increased by one if the next digit is 5 or greater but remains the same if the next digit is less than 5, so that the rounded number is the best approximation of a given precision for the original number. For instance, if the number π is rounded to 4 decimal places, the result is 3.142 because the following digit is a 5, so 3.142 is closer to π than 3.141.[107] These methods allow computers to efficiently perform approximate calculations on real numbers.[108]

Approximations and errors

edit

In science and engineering, numbers represent estimates of physical quantities derived from measurement or modeling. Unlike mathematically exact numbers such as π or  , scientifically relevant numerical data are inherently inexact, involving some measurement uncertainty.[109] One basic way to express the degree of certainty about each number's value and avoid false precision is to round each measurement to a certain number of digits, called significant digits, which are implied to be accurate. For example, a person's height measured with a tape measure might only be precisely known to the nearest centimeter, so should be presented as 1.62 meters rather than 1.6217 meters. If converted to imperial units, this quantity should be rounded to 64 inches or 63.8 inches rather than 63.7795 inches, to clearly convey the precision of the measurement. When a number is written using ordinary decimal notation, leading zeros are not significant, and trailing zeros of numbers not written with a decimal point are implicitly considered to be non-significant.[110] For example, the numbers 0.056 and 1200 each have only 2 significant digits, but the number 40.00 has 4 significant digits. Representing uncertainty using only significant digits is a relatively crude method, with some unintuitive subtleties; explicitly keeping track of an estimate or upper bound of the approximation error is a more sophisticated approach.[111] In the example, the person's height might be represented as 1.62 ± 0.005 meters or 63.8 ± 0.2 inches.[112]

In performing calculations with uncertain quantities, the uncertainty should be propagated to calculated quantities. When adding or subtracting two or more quantities, add the absolute uncertainties of each summand together to obtain the absolute uncertainty of the sum. When multiplying or dividing two or more quantities, add the relative uncertainties of each factor together to obtain the relative uncertainty of the product.[113] When representing uncertainty by significant digits, uncertainty can be coarsely propagated by rounding the result of adding or subtracting two or more quantities to the leftmost last significant decimal place among the summands, and by rounding the result of multiplying or dividing two or more quantities to the least number of significant digits among the factors.[114] (See Significant figures § Arithmetic.)

More sophisticated methods of dealing with uncertain values include interval arithmetic and affine arithmetic. Interval arithmetic describes operations on intervals. Intervals can be used to represent a range of values if one does not know the precise magnitude, for example, because of measurement errors. Interval arithmetic includes operations like addition and multiplication on intervals, as in   and  .[115] It is closely related to affine arithmetic, which aims to give more precise results by performing calculations on affine forms rather than intervals. An affine form is a number together with error terms that describe how the number may deviate from the actual magnitude.[116]

The precision of numerical quantities can be expressed uniformly using normalized scientific notation, which is also convenient for concisely representing numbers which are much larger or smaller than 1. Using scientific notation, a number is decomposed into the product of a number between 1 and 10, called the significand, and 10 raised to some integer power, called the exponent. The significand consists of the significant digits of the number, and is written as a leading digit 1–9 followed by a decimal point and a sequence of digits 0–9. For example, the normalized scientific notation of the number 8276000 is   with significand 8.276 and exponent 6, and the normalized scientific notation of the number 0.00735 is   with significand 7.35 and exponent −3.[117] Unlike ordinary decimal notation, where trailing zeros of large numbers are implicitly considered to be non-significant, in scientific notation every digit in the significand is considered significant, and adding trailing zeros indicates higher precision. For example, while the number 1200 implicitly has only 2 significant digits, the number   explicitly has 3.[118]

A common method employed by computers to approximate real number arithmetic is called floating-point arithmetic. It represents real numbers similar to the scientific notation through three numbers: a significand, a base, and an exponent.[119] The precision of the significand is limited by the number of bits allocated to represent it. If an arithmetic operation results in a number that requires more bits than are available, the computer rounds the result to the closest representable number. This leads to rounding errors.[120] A consequence of this behavior is that certain laws of arithmetic are violated by floating-point arithmetic. For example, floating-point addition is not associative since the rounding errors introduced can depend on the order of the additions. This means that the result of   is sometimes different from the result of  .[121] The most common technical standard used for floating-point arithmetic is called IEEE 754. Among other things, it determines how numbers are represented, how arithmetic operations and rounding are performed, and how errors and exceptions are handled.[122] In cases where computation speed is not a limiting factor, it is possible to use arbitrary-precision arithmetic, for which the precision of calculations is only restricted by the computer's memory.[123]

Tool use

edit
 
Calculations in mental arithmetic are done exclusively in the mind without relying on external aids.

Forms of arithmetic can also be distinguished by the tools employed to perform calculations and include many approaches besides the regular use of pen and paper. Mental arithmetic relies exclusively on the mind without external tools. Instead, it utilizes visualization, memorization, and certain calculation techniques to solve arithmetic problems.[124] One such technique is the compensation method, which consists in altering the numbers to make the calculation easier and then adjusting the result afterward. For example, instead of calculating  , one calculates   which is easier because it uses a round number. In the next step, one adds   to the result to compensate for the earlier adjustment.[125] Mental arithmetic is often taught in primary education to train the numerical abilities of the students.[126]

The human body can also be employed as an arithmetic tool. The use of hands in finger counting is often introduced to young children to teach them numbers and simple calculations. In its most basic form, the number of extended fingers corresponds to the represented quantity and arithmetic operations like addition and subtraction are performed by extending or retracting fingers. This system is limited to small numbers while more advanced systems employ different approaches to represent larger quantities as well.[127] The human voice is used as an arithmetic aid in verbal counting.[128]

 
Abacuses are tools to perform arithmetic operations by moving beads.

Tally marks are a simple system based on external tools other than the body. It relies on strokes drawn on a surface or notches in a wooden stick to keep track of quantities. Some forms of tally marks arrange the strokes in groups of five to make them easier to read.[129] The abacus is a more advanced tool to represent numbers and perform calculations. An abacus usually consists of a series of rods, each holding several beads. Each bead represents a quantity, which is counted if the bead is moved from one end of a rod to the other. Calculations happen by manipulating the positions of beads until the final bead pattern reveals the result.[130] Related aids include counting boards, which use tokens whose value depends on the area on the board in which they are placed,[131] and counting rods, which are arranged in horizontal and vertical patterns to represent different numbers.[132][f] Sectors and slide rules are more refined calculating instruments that rely on geometric relationships between different scales to perform both basic and advanced arithmetic operations.[134][g] Printed tables were particularly relevant as an aid to look up the results of operations like logarithm and trigonometric functions.[136]

Mechanical calculators automate manual calculation processes. They present the user with some form of input device to enter numbers by turning dials or pressing keys. They include an internal mechanism usually consisting of gears, levers, and wheels to perform calculations and display the results.[137] For electronic calculators and computers, this procedure is further refined by replacing the mechanical components with electronic circuits like microprocessors that combine and transform electric signals to perform calculations.[138]

Others

edit
 
Example of modular arithmetic using a clock: after adding 4 hours to 9 o'clock, the hand starts at the beginning again and points at 1 o'clock.

There are many other types of arithmetic. Modular arithmetic operates on a finite set of numbers. If an operation would result in a number outside this finite set then the number is adjusted back into the set, similar to how the hands of clocks start at the beginning again after having completed one cycle. The number at which this adjustment happens is called the modulus. For example, a regular clock has a modulus of 12. In the case of adding 4 to 9, this means that the result is not 13 but 1. The same principle applies also to other operations, such as subtraction, multiplication, and division.[139]

Some forms of arithmetic deal with operations performed on mathematical objects other than numbers. Interval arithmetic describes operations on intervals.[140] Vector arithmetic and matrix arithmetic describe arithmetic operations on vectors and matrices, like vector addition and matrix multiplication.[141]

Arithmetic systems can be classified based on the numeral system they rely on. For instance, decimal arithmetic describes arithmetic operations in the decimal system. Other examples are binary arithmetic, octal arithmetic, and hexadecimal arithmetic.[142]

Compound unit arithmetic describes arithmetic operations performed on magnitudes with compound units. It involves additional operations to govern the transformation between single unit and compound unit quantities. For example, the operation of reduction is used to transform the compound quantity 1 h 90 min into the single unit quantity 150 min.[143]

Non-Diophantine arithmetics are arithmetic systems that violate traditional arithmetic intuitions and include equations like   and  .[144] They can be employed to represent some real-world situations in modern physics and everyday life. For instance, the equation   can be used to describe the observation that if one raindrop is added to another raindrop then they do not remain two separate entities but become one.[145]

Axiomatic foundations

edit

Axiomatic foundations of arithmetic try to provide a small set of laws, called axioms, from which all fundamental properties of and operations on numbers can be derived. They constitute logically consistent and systematic frameworks that can be used to formulate mathematical proofs in a rigorous manner. Two well-known approaches are the Dedekind–Peano axioms and set-theoretic constructions.[146]

The Dedekind–Peano axioms provide an axiomatization of the arithmetic of natural numbers. Their basic principles were first formulated by Richard Dedekind and later refined by Giuseppe Peano. They rely only on a small number of primitive mathematical concepts, such as 0, natural number, and successor.[h] The Peano axioms determine how these concepts are related to each other. All other arithmetic concepts can then be defined in terms of these primitive concepts.[147]

  1. 0 is a natural number.
  2. For every natural number, there is a successor, which is also a natural number.
  3. The successors of two different natural numbers are never identical.
  4. 0 is not the successor of a natural number.
  5. If a set contains 0 and every successor then it contains every natural number.[148][i]

Numbers greater than 0 are expressed by repeated application of the successor function  . For example,   is   and   is  . Arithmetic operations can be defined as mechanisms that affect how the successor function is applied. For instance, to add   to any number is the same as applying the successor function two times to this number.[150]

Various axiomatizations of arithmetic rely on set theory. They cover natural numbers but can also be extended to integers, rational numbers, and real numbers. Each natural number is represented by a unique set. 0 is usually defined as the empty set  . Each subsequent number can be defined as the union of the previous number with the set containing the previous number. For example,  ,  , and  .[151] Integers can be defined as ordered pairs of natural numbers where the second number is subtracted from the first one. For instance, the pair (9, 0) represents the number 9 while the pair (0, 9) represents the number -9.[152] Rational numbers are defined as pairs of integers where the first number represents the numerator and the second number represents the denominator. For example, the pair (3, 7) represents the rational number  .[153] One way to construct the real numbers relies on the concept of Dedekind cuts. According to this approach, each real number is represented by a partition of all rational numbers into two sets, one for all numbers below the represented real number and the other for the rest.[154] Arithmetic operations are defined as functions that perform various set-theoretic transformations on the sets representing the input numbers to arrive at the set representing the result.[155]

History

edit
 
Some historians interpret the Ishango bone as one of the earliest arithmetic artifacts.

The earliest forms of arithmetic are sometimes traced back to counting and tally marks used to keep track of quantities. Some historians suggest that the Lebombo bone (dated about 43,000 years ago) and the Ishango bone (dated about 22,000 to 30,000 years ago) are the oldest arithmetic artifacts but this interpretation is disputed.[156] However, a basic sense of numbers may predate these findings and might even have existed before the development of language.[157]

It was not until the emergence of ancient civilizations that a more complex and structured approach to arithmetic began to evolve, starting around 3000 BCE. This became necessary because of the increased need to keep track of stored items, manage land ownership, and arrange exchanges.[158] All the major ancient civilizations developed non-positional numeral systems to facilitate the representation of numbers. They also had symbols for operations like addition and subtraction and were aware of fractions. Examples are Egyptian hieroglyphics as well as the numeral systems invented in Sumeria, China, and India.[159] The first positional numeral system was developed by the Babylonians starting around 1800 BCE. This was a significant improvement over earlier numeral systems since it made the representation of large numbers and calculations on them more efficient.[160] Abacuses have been utilized as hand-operated calculating tools since ancient times as efficient means for performing complex calculations.[161]

Early civilizations primarily used numbers for concrete practical purposes, like commercial activities and tax records, but lacked an abstract concept of number itself.[162] This changed with the ancient Greek mathematicians, who began to explore the abstract nature of numbers rather than studying how they are applied to specific problems.[163] Another novel feature was their use of proofs to establish mathematical truths and validate theories.[164] A further contribution was their distinction of various classes of numbers, such as even numbers, odd numbers, and prime numbers.[165] This included the discovery that numbers for certain geometrical lengths are irrational and therefore cannot be expressed as a fraction.[166] The works of Thales of Miletus and Pythagoras in the 7th and 6th centuries BCE are often regarded as the inception of Greek mathematics.[167] Diophantus was an influential figure in Greek arithmetic in the 3rd century BCE because of his numerous contributions to number theory and his exploration of the application of arithmetic operations to algebraic equations.[168]

The ancient Indians were the first to develop the concept of zero as a number to be used in calculations. The exact rules of its operation were written down by Brahmagupta in around 628 CE.[169] The concept of zero or none existed long before, but it was not considered an object of arithmetic operations.[170] Brahmagupta further provided a detailed discussion of calculations with negative numbers and their application to problems like credit and debt.[171] The concept of negative numbers itself is significantly older and was first explored in Chinese mathematics in the first millennium BCE.[172]

Indian mathematicians also developed the positional decimal system used today, in particular the concept of a zero digit instead of empty or missing positions.[173] For example, a detailed treatment of its operations was provided by Aryabhata around the turn of the 6th century CE.[174] The Indian decimal system was further refined and expanded to non-integers during the Islamic Golden Age by Arab mathematicians such as Al-Khwarizmi. His work was influential in introducing the decimal numeral system to the Western world, which at that time relied on the Roman numeral system.[175] There, it was popularized by mathematicians like Leonardo Fibonacci, who lived in the 12th and 13th centuries and also developed the Fibonacci sequence.[176] During the Middle Ages and Renaissance, many popular textbooks were published to cover the practical calculations for commerce. The use of abacuses also became widespread in this period.[177] In the 16th century, the mathematician Gerolamo Cardano conceived the concept of complex numbers as a way to solve cubic equations.[178]

 
Leibniz's stepped reckoner was the first calculator that could perform all four arithmetic operations.[179]

The first mechanical calculators were developed in the 17th century and greatly facilitated complex mathematical calculations, such as Blaise Pascal's calculator and Gottfried Wilhelm Leibniz's stepped reckoner.[180] The 17th century also saw the discovery of the logarithm by John Napier.[181]

In the 18th and 19th centuries, mathematicians such as Leonhard Euler and Carl Friedrich Gauss laid the foundations of modern number theory.[182] Another development in this period concerned work on the formalization and foundations of arithmetic, such as Georg Cantor's set theory and the Dedekind–Peano axioms used as an axiomatization of natural-number arithmetic.[183] Computers and electronic calculators were first developed in the 20th century. Their widespread use revolutionized both the accuracy and speed with which even complex arithmetic computations can be calculated.[184]

In various fields

edit

Education

edit

Arithmetic education forms part of primary education. It is one of the first forms of mathematics education that children encounter. Elementary arithmetic aims to give students a basic sense of numbers and to familiarize them with fundamental numerical operations like addition, subtraction, multiplication, and division.[185] It is usually introduced in relation to concrete scenarios, like counting beads, dividing the class into groups of children of the same size, and calculating change when buying items. Common tools in early arithmetic education are number lines, addition and multiplication tables, counting blocks, and abacuses.[186]

Later stages focus on a more abstract understanding and introduce the students to different types of numbers, such as negative numbers, fractions, real numbers, and complex numbers. They further cover more advanced numerical operations, like exponentiation, extraction of roots, and logarithm.[187] They also show how arithmetic operations are employed in other branches of mathematics, such as their application to describe geometrical shapes and the use of variables in algebra. Another aspect is to teach the students the use of algorithms and calculators to solve complex arithmetic problems.[188]

Psychology

edit

The psychology of arithmetic is interested in how humans and animals learn about numbers, represent them, and use them for calculations. It examines how mathematical problems are understood and solved and how arithmetic abilities are related to perception, memory, judgment, and decision making.[189] For example, it investigates how collections of concrete items are first encountered in perception and subsequently associated with numbers.[190] A further field of inquiry concerns the relation between numerical calculations and the use of language to form representations.[191] Psychology also explores the biological origin of arithmetic as an inborn ability. This concerns pre-verbal and pre-symbolic cognitive processes implementing arithmetic-like operations required to successfully represent the world and perform tasks like spatial navigation.[192]

One of the concepts studied by psychology is numeracy, which is the capability to comprehend numerical concepts, apply them to concrete situations, and reason with them. It includes a fundamental number sense as well as being able to estimate and compare quantities. It further encompasses the abilities to symbolically represent numbers in numbering systems, interpret numerical data, and evaluate arithmetic calculations.[193] Numeracy is a key skill in many academic fields. A lack of numeracy can inhibit academic success and lead to bad economic decisions in everyday life, for example, by misunderstanding mortgage plans and insurance policies.[194]

Philosophy

edit

The philosophy of arithmetic studies the fundamental concepts and principles underlying numbers and arithmetic operations. It explores the nature and ontological status of numbers, the relation of arithmetic to language and logic, and how it is possible to acquire arithmetic knowledge.[195]

According to Platonism, numbers have mind-independent existence: they exist as abstract objects outside spacetime and without causal powers.[196][j] This view is rejected by intuitionists, who claim that mathematical objects are mental constructions.[198] Further theories are logicism, which holds that mathematical truths are reducible to logical truths,[199] and formalism, which states that mathematical principles are rules of how symbols are manipulated without claiming that they correspond to entities outside the rule-governed activity.[200]

The traditionally dominant view in the epistemology of arithmetic is that arithmetic truths are knowable a priori. This means that they can be known by thinking alone without the need to rely on sensory experience.[201] Some proponents of this view state that arithmetic knowledge is innate while others claim that there is some form of rational intuition through which mathematical truths can be apprehended.[202] A more recent alternative view was suggested by naturalist philosophers like Willard Van Orman Quine, who argue that mathematical principles are high-level generalizations that are ultimately grounded in the sensory world as described by the empirical sciences.[203]

Others

edit

Arithmetic is relevant to many fields. In daily life, it is required to calculate change when shopping, manage personal finances, and adjust a cooking recipe for a different number of servings. Businesses use arithmetic to calculate profits and losses and analyze market trends. In the field of engineering, it is used to measure quantities, calculate loads and forces, and design structures.[204] Cryptography relies on arithmetic operations to protect sensitive information by encrypting data and messages.[205]

Arithmetic is intimately connected to many branches of mathematics that depend on numerical operations. Algebra relies on arithmetic principles to solve equations using variables. These principles also play a key role in calculus in its attempt to determine rates of change and areas under curves. Geometry uses arithmetic operations to measure the properties of shapes while statistics utilizes them to analyze numerical data.[206] Due to the relevance of arithmetic operations throughout mathematics, the influence of arithmetic extends to most sciences such as physics, computer science, and economics. These operations are used in calculations, problem-solving, data analysis, and algorithms, making them integral to scientific research, technological development, and economic modeling.[207]

See also

edit

References

edit

Notes

edit
  1. ^ Other symbols for the natural numbers include  ,  ,  , and  .[13]
  2. ^ Other symbols for the whole numbers include  ,  , and  .[15]
  3. ^ A repeating decimal is a decimal with an infinite number of repeating digits, like 0.111..., which expresses the rational number  .
  4. ^ Some authors use a different terminology and refer to the first number as multiplicand and the second number as the multiplier.[51]
  5. ^ If the exponent is 0 then the result is 1, as in  . The only exception is  , which is not defined.[57]
  6. ^ Some systems of counting rods include different colors to represent both positive and negative numbers.[133]
  7. ^ Some computer scientists see slide rules as the first type of analog computer.[135]
  8. ^ The successor of a natural number is the number that comes after it. For instance, 4 is the successor of 3.
  9. ^ There are different versions of the exact formulation and number of axioms. For example, some formulations start with 1 instead of 0 in the first axiom.[149]
  10. ^ An influential argument for Platonism, first formulated by Willard Van Orman Quine and Hilary Putnam, states that numbers exist because they are indispensable to the best scientific theories.[197]

Citations

edit
  1. ^
  2. ^
  3. ^
  4. ^
  5. ^
  6. ^ Sophian 2017, p. 84
  7. ^
  8. ^
  9. ^
  10. ^
  11. ^
  12. ^
  13. ^
  14. ^
  15. ^
  16. ^
  17. ^
  18. ^
  19. ^
  20. ^
  21. ^ Musser, Peterson & Burger 2013, p. 358
  22. ^
  23. ^
  24. ^
  25. ^
  26. ^
  27. ^
  28. ^
  29. ^
  30. ^
  31. ^
  32. ^ Ore 1948, p. 10
  33. ^
  34. ^
  35. ^
  36. ^ Stakhov 2020, p. 74
  37. ^
  38. ^
  39. ^
  40. ^
  41. ^
  42. ^
  43. ^
  44. ^
  45. ^ Burgin 2022, p. 25
  46. ^ Confrey 1994, p. 308
  47. ^
  48. ^
  49. ^
  50. ^
  51. ^ Cavanagh 2017, p. 275
  52. ^
  53. ^
  54. ^
  55. ^
  56. ^
  57. ^ Musser, Peterson & Burger 2013, p. 120
  58. ^
  59. ^
  60. ^
  61. ^
  62. ^
  63. ^
  64. ^
  65. ^
  66. ^
  67. ^ Sperling & Stuart 1981, p. 7
  68. ^ Sperling & Stuart 1981, p. 8
  69. ^
  70. ^ Mooney et al. 2014, p. 148
  71. ^
  72. ^ Davis, Goulding & Suggate 2017, pp. 11–12
  73. ^ Haylock & Cockburn 2008, p. 49
  74. ^
  75. ^ Koepf 2021, p. 49
  76. ^ Goodstein 2014, p. 33
  77. ^
  78. ^
  79. ^
  80. ^
  81. ^
  82. ^
  83. ^
  84. ^
  85. ^ Kubilyus 2018
  86. ^ Pomerance & Sárközy 1995, p. 969
  87. ^ Pomerance 2010
  88. ^
  89. ^
  90. ^
  91. ^
  92. ^
  93. ^
  94. ^
  95. ^ Gellert et al. 2012, pp. 32–33
  96. ^ Gellert et al. 2012, p. 33
  97. ^ Klose 2014, p. 107
  98. ^
  99. ^
  100. ^
  101. ^
  102. ^
  103. ^ Musser, Peterson & Burger 2013, p. 358
  104. ^
  105. ^
  106. ^
  107. ^
  108. ^ Koren 2018, p. 71
  109. ^ Drosg 2007, pp. 1–5
  110. ^ Bohacek 2009, pp. 18–19
  111. ^
  112. ^ Bohacek 2009, pp. 18–19
  113. ^ Bohacek 2009, pp. 23–30
  114. ^ Griffin 1935
  115. ^
  116. ^
  117. ^
  118. ^ Lustick 1997
  119. ^ Muller et al. 2009, pp. 13–16
  120. ^
  121. ^
  122. ^
  123. ^ Duffy 2018, p. 1225
  124. ^
  125. ^
  126. ^
  127. ^
  128. ^
  129. ^
  130. ^
  131. ^ Budd & Sangwin 2001, p. 209
  132. ^
  133. ^
  134. ^
  135. ^
  136. ^ Campbell-Kelly et al. 2007, p. 2
  137. ^
  138. ^
  139. ^
  140. ^
  141. ^
  142. ^
  143. ^ Burgin 2022, pp. 92–93
  144. ^
  145. ^
  146. ^
  147. ^
  148. ^
  149. ^ Taylor 2012, p. 8
  150. ^
  151. ^
  152. ^
  153. ^
  154. ^
  155. ^ Cunningham 2016, pp. 95–96
  156. ^
  157. ^
  158. ^
  159. ^
  160. ^
  161. ^
  162. ^
  163. ^
  164. ^
  165. ^
  166. ^
  167. ^
  168. ^
  169. ^
  170. ^
  171. ^
  172. ^
  173. ^
  174. ^
  175. ^
  176. ^
  177. ^
  178. ^
  179. ^ Vullo 2020, p. 140
  180. ^
  181. ^
  182. ^
  183. ^
  184. ^
  185. ^
  186. ^
  187. ^
  188. ^
  189. ^
  190. ^ De Cruz, Neth & Schlimm 2010, pp. 60–62
  191. ^ De Cruz, Neth & Schlimm 2010, p. 63
  192. ^ Grice et al. 2023, Abstract
  193. ^
  194. ^
  195. ^
  196. ^
  197. ^ Colyvan 2023, Lead Section.
  198. ^ Horsten 2023, § 2.2 Intuitionism
  199. ^
  200. ^ Weir 2022, Lead Section
  201. ^
  202. ^
  203. ^
  204. ^
  205. ^
  206. ^
  207. ^

Sources

edit
edit