Jump to content

Arithmetic: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m disambig
multiple image template
 
(28 intermediate revisions by 16 users not shown)
Line 4: Line 4:
[[File:Arithmetic operations.svg|thumb|alt=Diagram of symbols of arithmetic operations|The main arithmetic operations are addition, subtraction, multiplication, and division.]]
[[File:Arithmetic operations.svg|thumb|alt=Diagram of symbols of arithmetic operations|The main arithmetic operations are addition, subtraction, multiplication, and division.]]


'''Arithmetic''' is an elementary branch of [[mathematics]] that studies [[arithmetic operation|numerical operations]] like [[addition]], [[subtraction]], [[multiplication]], and [[Division (mathematics)|division]]. In a wider sense, it also includes [[exponentiation]], extraction of [[nth root|roots]], and taking [[logarithms]].
'''Arithmetic''' is an elementary branch of [[mathematics]] that studies numerical operations like [[addition]], [[subtraction]], [[multiplication]], and [[Division (mathematics)|division]]. In a wider sense, it also includes [[exponentiation]], extraction of [[nth root|roots]], and taking [[logarithms]].


Arithmetic systems can be distinguished based on the type of numbers they operate on. Integer arithmetic is about calculations with positive and negative [[integer]]s. Rational number arithmetic involves operations on [[fraction]]s of integers. Real number arithmetic is about calculations with [[real number]]s, which include both [[Rational number|rational]] and [[irrational number]]s.
Arithmetic systems can be distinguished based on the type of numbers they operate on. Integer arithmetic is about calculations with positive and negative [[integer]]s. Rational number arithmetic involves operations on [[fraction]]s of integers. Real number arithmetic is about calculations with [[real number]]s, which include both [[Rational number|rational]] and [[irrational number]]s.
Line 12: Line 12:
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]].
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 [[Ancient Egypt|Egyptians]] and the [[Sumer]]ians invented numeral systems to solve practical arithmetic problems in about 3000 BCE. Starting in the 7th and 6th centuries BCE, the [[Ancient Greece|ancient Greeks]] initiated a more abstract study of numbers and introduced the method of rigorous [[mathematical proof]]s. The [[ancient India]]ns developed the concept of [[zero]] and the [[Hindu–Arabic numeral system|decimal system]], which Arab mathematicians further refined and spread to the Western world during the medieval period. The first [[mechanical calculator]]s were invented in the 17th century. The 18th and 19th centuries saw the development of modern [[number theory]] and the formulation of [[Axiomatic system|axiomatic foundations]] of arithmetic. In the 20th century, the emergence of [[electronic calculator]]s and computers revolutionized the accuracy and speed with which arithmetic calculations could be performed.
The practice of arithmetic is at least thousands and possibly tens of thousands of years old. [[Ancient civilizations]] like the [[Ancient Egypt|Egyptians]] and the [[Sumer]]ians 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 proof]]s. The [[ancient India]]ns developed the concept of [[zero]] and the [[Hindu–Arabic numeral system|decimal system]], which Arab mathematicians further refined and spread to the Western world during the medieval period. The first [[mechanical calculator]]s were invented in the 17th century. The 18th and 19th centuries saw the development of modern [[number theory]] and the formulation of [[Axiomatic system|axiomatic foundations]] of arithmetic. In the 20th century, the emergence of [[electronic calculator]]s and computers revolutionized the accuracy and speed with which arithmetic calculations could be performed.


== Definition, etymology, and related fields ==
== Definition, etymology, and related fields ==
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 (mathematics)|division]].<ref>{{multiref | {{harvnb|Romanowski|2008|pp=302–303}} | {{harvnb|HC staff|2022b}} | {{harvnb|MW staff|2023}} | {{harvnb|Bukhshtab|Pechaev|2020}} }}</ref> In a wider sense, it also includes [[exponentiation]], extraction of [[nth root|roots]], and [[logarithm]].<ref>{{multiref | {{harvnb|Bukhshtab|Pechaev|2020}} | {{harvnb|Burgin|2022|pp=57, 77}} | {{harvnb|Adamowicz|1994|p=299}} }}</ref> The term "arithmetic" has its root in the Latin term "{{wikt-lang|la|arithmetica}}" which derives from the Ancient Greek words {{wikt-lang|grc|ἀριθμός}} (arithmos), meaning "number", and {{wikt-lang|grc|ἀριθμητική}} {{wikt-lang|grc|τέχνη}} (arithmetike tekhne), meaning "the art of counting".<ref>{{multiref | {{harvnb|Peirce|2015|p=[https://books.google.com/books?id=oI_yCQAAQBAJ&pg=PA109 109]}} | {{harvnb|Waite|2013|p=[https://books.google.com/books?id=xqKcAQAAQBAJ&pg=PA42 42]}} | {{harvnb|Smith|1958|p=[https://books.google.com/books?id=uTytJGnTf1kC&pg=PA7 7]}} }}</ref>
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 (mathematics)|division]].<ref>{{multiref | {{harvnb|Romanowski|2008|pp=302–303}} | {{harvnb|HC staff|2022b}} | {{harvnb|MW staff|2023}} | {{harvnb|Bukhshtab|Pechaev|2020}} }}</ref> In a wider sense, it also includes [[exponentiation]], extraction of [[nth root|roots]], and [[logarithm]].<ref>{{multiref | {{harvnb|Bukhshtab|Pechaev|2020}} | {{harvnb|Burgin|2022|pp=57, 77}} | {{harvnb|Adamowicz|1994|p=299}} }}</ref> The term "arithmetic" has its root in the Latin term "{{wikt-lang|la|arithmetica}}" which derives from the Ancient Greek words {{wikt-lang|grc|ἀριθμός}} (arithmos), meaning "number", and {{wikt-lang|grc|ἀριθμητική}} {{wikt-lang|grc|τέχνη}} (arithmetike tekhne), meaning "the art of counting".<ref>{{multiref | {{harvnb|Peirce|2015|p=[https://books.google.com/books?id=oI_yCQAAQBAJ&pg=PA109 109]}} | {{harvnb|Waite|2013|p=[https://books.google.com/books?id=xqKcAQAAQBAJ&pg=PA42 42]}} | {{harvnb|Smith|1958|p=[https://books.google.com/books?id=uTytJGnTf1kC&pg=PA7 7]}} }}</ref>


There are disagreements about its precise definition. According to a narrow characterization, arithmetic deals only with [[natural numbers]].<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Hofweber|2016|p=153}} }}</ref> However, the more common view is to include operations on [[integers]], [[rational numbers]], [[real numbers]], and sometimes also [[complex numbers]] in its scope.<ref>{{multiref | {{harvnb|Romanowski|2008|pp=302–303}} | {{harvnb|HC staff|2022b}} | {{harvnb|MW staff|2023}} | {{harvnb|Bukhshtab|Pechaev|2020}} }}</ref> Some definitions restrict arithmetic to the field of numerical calculations.<ref>{{harvnb|Sophian|2017|p=[https://books.google.com/books?id=8FYPEAAAQBAJ&pg=PA84 84]}}</ref> 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.<ref>{{multiref | {{harvnb|Bukhshtab|Pechaev|2020}} | {{harvnb|Stevenson|Waite|2011|p=[https://books.google.com/books?id=sYScAQAAQBAJ&pg=PA70 70]}} | {{harvnb|Romanowski|2008|pp=303–304}} }}</ref>
There are disagreements about its precise definition. According to a narrow characterization, arithmetic deals only with [[natural numbers]].<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Hofweber|2016|p=153}} }}</ref> However, the more common view is to include operations on [[integers]], [[rational numbers]], [[real numbers]], and sometimes also [[complex numbers]] in its scope.<ref>{{multiref | {{harvnb|Romanowski|2008|pp=302–303}} | {{harvnb|HC staff|2022b}} | {{harvnb|MW staff|2023}} | {{harvnb|Bukhshtab|Pechaev|2020}} }}</ref> Some definitions restrict arithmetic to the field of numerical calculations.<ref>{{harvnb|Sophian|2017|p=[https://books.google.com/books?id=8FYPEAAAQBAJ&pg=PA84 84]}}</ref> 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.<ref>{{multiref | {{harvnb|Bukhshtab|Pechaev|2020}} | {{harvnb|Stevenson|Waite|2011|p=[https://books.google.com/books?id=sYScAQAAQBAJ&pg=PA70 70]}} | {{harvnb|Romanowski|2008|pp=303–304}} }}</ref>


Arithmetic is closely related to [[number theory]] and some authors use the terms as synonyms.<ref>{{multiref | {{harvnb|Lozano-Robledo|2019|p=[https://books.google.com/books?id=ESiODwAAQBAJ&pg=PR13 xiii]}} | {{harvnb|Nagel|Newman|2008|p=[https://books.google.com/books?id=WgwUCgAAQBAJ&pg=PA4 4]}} }}</ref> 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 [[prime number|primality]].<ref>{{multiref | {{harvnb|Wilson|2020|pp=[https://books.google.com/books?id=fcDgDwAAQBAJ&pg=PA1 1–2]}} | {{harvnb|Karatsuba|2020}} | {{harvnb|Campbell|2012|p=[https://books.google.com/books?id=yoEFp-Q2OXIC&pg=PT33 33]}} | {{harvnb|Robbins|2006|p=[https://books.google.com/books?id=TtLMrKDsDuIC&pg=PR12-IA1 1]}} }}</ref> Traditionally, it is known as higher arithmetic.<ref>{{multiref | {{harvnb|Duverney|2010|p=[https://books.google.com/books?id=sr5S9oN1xPAC&pg=PR5 v]}} | {{harvnb|Robbins|2006|p=[https://books.google.com/books?id=TtLMrKDsDuIC&pg=PR12-IA1 1]}} }}</ref>
Arithmetic is closely related to [[number theory]] and some authors use the terms as synonyms.<ref>{{multiref | {{harvnb|Lozano-Robledo|2019|p=[https://books.google.com/books?id=ESiODwAAQBAJ&pg=PR13 xiii]}} | {{harvnb|Nagel|Newman|2008|p=[https://books.google.com/books?id=WgwUCgAAQBAJ&pg=PA4 4]}} }}</ref> 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]].<ref>{{multiref | {{harvnb|Wilson|2020|pp=[https://books.google.com/books?id=fcDgDwAAQBAJ&pg=PA1 1–2]}} | {{harvnb|Karatsuba|2020}} | {{harvnb|Campbell|2012|p=[https://books.google.com/books?id=yoEFp-Q2OXIC&pg=PT33 33]}} | {{harvnb|Robbins|2006|p=[https://books.google.com/books?id=TtLMrKDsDuIC&pg=PR12-IA1 1]}} }}</ref> Traditionally, it is known as higher arithmetic.<ref>{{multiref | {{harvnb|Duverney|2010|p=[https://books.google.com/books?id=sr5S9oN1xPAC&pg=PR5 v]}} | {{harvnb|Robbins|2006|p=[https://books.google.com/books?id=TtLMrKDsDuIC&pg=PR12-IA1 1]}} }}</ref>


== Numbers ==
== Numbers ==
Line 40: Line 40:
{{main|Numeral system}}
{{main|Numeral system}}


A [[Numerical digit|numeral]] is a symbol to represent a number and numeral systems are representational frameworks.<ref>{{multiref | {{harvnb|Ore|1948|pp=1–2}} | {{harvnb|HC staff|2022}} | {{harvnb|HC staff|2022a}} }}</ref> 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.<ref>{{multiref | {{harvnb|Ore|1948|pp=8–10}} | {{harvnb|Nakov|Kolev|2013|pp=[https://books.google.com/books?id=xYgCAQAAQBAJ&pg=PA270 270–272]}} }}</ref> Numeral systems are either [[Positional notation|positional]] or non-positional. All early numeral systems were non-positional.<ref>{{multiref | {{harvnb|Stakhov|2020|p=[https://books.google.com/books?id=Fkn9DwAAQBAJ&pg=PA73 73]}} | {{harvnb|Nakov|Kolev|2013|pp=[https://books.google.com/books?id=xYgCAQAAQBAJ&pg=PA271 271–272]}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA17 17–18]}} }}</ref> For non-positional numeral systems, the value of a digit does not depend on its position in the numeral.<ref>{{multiref | {{harvnb|Nakov|Kolev|2013|pp=[https://books.google.com/books?id=xYgCAQAAQBAJ&pg=PA271 271–272]}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA17 17–18]}} }}</ref>
A [[Numerical digit|numeral]] is a symbol to represent a number and numeral systems are representational frameworks.<ref>{{multiref | {{harvnb|Ore|1948|pp=1–2}} | {{harvnb|HC staff|2022}} | {{harvnb|HC staff|2022a}} }}</ref> 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.<ref>{{multiref | {{harvnb|Ore|1948|pp=8–10}} | {{harvnb|Nakov|Kolev|2013|pp=[https://books.google.com/books?id=xYgCAQAAQBAJ&pg=PA270 270–272]}} }}</ref> Numeral systems are either [[positional]] or non-positional. All early numeral systems were non-positional.<ref>{{multiref | {{harvnb|Stakhov|2020|p=[https://books.google.com/books?id=Fkn9DwAAQBAJ&pg=PA73 73]}} | {{harvnb|Nakov|Kolev|2013|pp=[https://books.google.com/books?id=xYgCAQAAQBAJ&pg=PA271 271–272]}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA17 17–18]}} }}</ref> For non-positional numeral systems, the value of a digit does not depend on its position in the numeral.<ref>{{multiref | {{harvnb|Nakov|Kolev|2013|pp=[https://books.google.com/books?id=xYgCAQAAQBAJ&pg=PA271 271–272]}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA17 17–18]}} }}</ref>


{{multiple image
{{multiple image
Line 60: Line 60:
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 <math>10^0</math>, the next digit is multiplied by <math>10^1</math>, and so on. For example, the decimal numeral 532 stands for <math>5 \cdot 10^2 + 3 \cdot 10^1 + 2 \cdot 10^0</math>. 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.<ref>{{multiref | {{harvnb|Romanowski|2008|p=303}} | {{harvnb|Yan|2002|pp=305–306}} | {{harvnb|ITL Education Solutions Limited|2011|p=[https://books.google.com/books?id=CsNiKdmufvYC&pg=PA28 28]}} | {{harvnb|Ore|1948|pp=2–3}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA17 17–18]}} }}</ref>
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 <math>10^0</math>, the next digit is multiplied by <math>10^1</math>, and so on. For example, the decimal numeral 532 stands for <math>5 \cdot 10^2 + 3 \cdot 10^1 + 2 \cdot 10^0</math>. 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.<ref>{{multiref | {{harvnb|Romanowski|2008|p=303}} | {{harvnb|Yan|2002|pp=305–306}} | {{harvnb|ITL Education Solutions Limited|2011|p=[https://books.google.com/books?id=CsNiKdmufvYC&pg=PA28 28]}} | {{harvnb|Ore|1948|pp=2–3}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA17 17–18]}} }}</ref>


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 <math>2^0</math>, the next digit by <math>2^1</math>, and so on. For example, the number 13 is written as 1101 in the binary notation, which stands for <math>1 \cdot 2^3 + 1 \cdot 2^2 + 0 \cdot 2^1 + 1 \cdot 2^0</math>. In computing, each digit in the binary notation corresponds to one [[bit]].<ref>{{multiref | {{harvnb|Nagel|2002|p=178}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA20 20–21]}} | {{harvnb|Null|Lobur|2006|p=[https://books.google.com/books?id=QGPHAl9GE-IC&pg=PA40 40]}} }}</ref> The earliest positional system was developed by [[Babylonia|ancient Babylonians]] and had a radix of 60.<ref>{{harvnb|Stakhov|2020|p=[https://books.google.com/books?id=Fkn9DwAAQBAJ&pg=PA74 74]}}</ref>
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 <math>2^0</math>, the next digit by <math>2^1</math>, and so on. For example, the number 13 is written as 1101 in the binary notation, which stands for <math>1 \cdot 2^3 + 1 \cdot 2^2 + 0 \cdot 2^1 + 1 \cdot 2^0</math>. In computing, each digit in the binary notation corresponds to one [[bit]].<ref>{{multiref | {{harvnb|Nagel|2002|p=178}} | {{harvnb|Jena|2021|pp=[https://books.google.com/books?id=qRpSEAAAQBAJ&pg=PA20 20–21]}} | {{harvnb|Null|Lobur|2006|p=[https://books.google.com/books?id=QGPHAl9GE-IC&pg=PA40 40]}} }}</ref> The earliest positional system was developed by [[ancient Babylonians]] and had a radix of 60.<ref>{{harvnb|Stakhov|2020|p=[https://books.google.com/books?id=Fkn9DwAAQBAJ&pg=PA74 74]}}</ref>


== Operations ==
== Operations ==
Line 194: Line 194:
|}
|}


{{clear}}
{{clear}}{{Multiple image
| image1 = Addition with carry.png

| image2 = Long multiplication.png
[[File:Addition with carry.png|thumb|alt=Diagram of addition with carry|Example of [[Carry (arithmetic)|addition with carry]]. The black numbers are the addends, the green number is the carry, and the blue number is the sum.]]
| caption1 = Example of [[Carry (arithmetic)|addition with carry]]. The black numbers are the addends, the green number is the carry, and the blue number is the sum.

| total_width = 400
| caption2 = 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.
| perrow = 2
}}
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 [[Carry (arithmetic)|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.<ref>{{multiref | {{harvnb|Resnick|Ford|2012|p=[https://books.google.com/books?id=xj-j8pw2HN8C&pg=PA110 110]}} | {{harvnb|Klein|Moeller|Dressel|Domahs|2010|pp=67–68}} }}</ref> Other methods used for integer additions are the [[number line]] method, the partial sum method, and the compensation method.<ref>{{multiref | {{harvnb|Quintero|Rosario|2016|p=[https://books.google.com/books?id=YAXyCwAAQBAJ&pg=PA74 74]}} | {{harvnb|Ebby|Hulbert|Broadhead|2020|pp=[https://books.google.com/books?id=shEHEAAAQBAJ&pg=PA24 24–26]}} }}</ref> 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.<ref>{{harvnb|Sperling|Stuart|1981|p=7}}</ref>
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 [[Carry (arithmetic)|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.<ref>{{multiref | {{harvnb|Resnick|Ford|2012|p=[https://books.google.com/books?id=xj-j8pw2HN8C&pg=PA110 110]}} | {{harvnb|Klein|Moeller|Dressel|Domahs|2010|pp=67–68}} }}</ref> Other methods used for integer additions are the [[number line]] method, the partial sum method, and the compensation method.<ref>{{multiref | {{harvnb|Quintero|Rosario|2016|p=[https://books.google.com/books?id=YAXyCwAAQBAJ&pg=PA74 74]}} | {{harvnb|Ebby|Hulbert|Broadhead|2020|pp=[https://books.google.com/books?id=shEHEAAAQBAJ&pg=PA24 24–26]}} }}</ref> 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.<ref>{{harvnb|Sperling|Stuart|1981|p=7}}</ref>


A basic technique of integer multiplication employs repeated addition. For example, the product of <math>3 \times 4</math> can be calculated as <math>3 + 3 + 3 + 3</math>.<ref>{{harvnb|Sperling|Stuart|1981|p=8}}</ref> 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.<ref>{{multiref | {{harvnb|Ma|2020|pp=[https://books.google.com/books?id=2Tr3DwAAQBAJ&pg=PA35 35–36]}} | {{harvnb|Sperling|Stuart|1981|p=9}} }}</ref> Other techniques used for multiplication are the [[grid method]] and the [[lattice method]].<ref>{{harvnb|Mooney|Briggs|Hansen|McCullouch|2014|p=[https://books.google.com/books?id=_dPgAwAAQBAJ&pg=PT148 148]}}</ref> 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 multiplication|Toom–Cook algorithm]].<ref>{{multiref | {{harvnb|Klein|2013|p=[https://books.google.com/books?id=GYpEAAAAQBAJ&pg=PA249 249]}} | {{harvnb|Muller|Brunie|Dinechin|Jeannerod|2018|p=[https://books.google.com/books?id=h3ZZDwAAQBAJ&pg=PA539 539]}} }}</ref> A common technique used for division is called [[long division]]. Other methods include [[short division]] and [[Chunking (division)|chunking]].<ref>{{harvnb|Davis|Goulding|Suggate|2017|pp=[https://books.google.com/books?id=7T8lDwAAQBAJ&pg=PA11 11–12]}}</ref>
[[File:Long multiplication.png|thumb|alt=Diagram of long multiplication|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.]]

A basic technique of integer multiplication employs repeated addition. For example, the product of <math>3 \times 4</math> can be calculated as <math>3 + 3 + 3 + 3</math>.<ref>{{harvnb|Sperling|Stuart|1981|p=8}}</ref> 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.<ref>{{multiref | {{harvnb|Ma|2020|pp=[https://books.google.com/books?id=2Tr3DwAAQBAJ&pg=PA35 35–36]}} | {{harvnb|Sperling|Stuart|1981|p=9}} }}</ref> Other techniques used for multiplication are the [[Grid method multiplication|grid method]] and the [[Lattice multiplication|lattice method]].<ref>{{harvnb|Mooney|Briggs|Hansen|McCullouch|2014|p=[https://books.google.com/books?id=_dPgAwAAQBAJ&pg=PT148 148]}}</ref> 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]].<ref>{{multiref | {{harvnb|Klein|2013|p=[https://books.google.com/books?id=GYpEAAAAQBAJ&pg=PA249 249]}} | {{harvnb|Muller|Brunie|Dinechin|Jeannerod|2018|p=[https://books.google.com/books?id=h3ZZDwAAQBAJ&pg=PA539 539]}} }}</ref> A common technique used for division is called [[long division]]. Other methods include [[short division]] and [[Chunking (division)|chunking]].<ref>{{harvnb|Davis|Goulding|Suggate|2017|pp=[https://books.google.com/books?id=7T8lDwAAQBAJ&pg=PA11 11–12]}}</ref>


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.<ref>{{harvnb|Haylock|Cockburn|2008|p=[https://books.google.com/books?id=hgAr3maZeQUC&pg=PA49 49]}}</ref> One way to ensure that the result is an integer is to [[Rounding|round]] the result to a whole number. However, this method leads to inaccuracies as the original value is altered.<ref>{{multiref | {{harvnb|Prata|2002|p=[https://books.google.com/books?id=MsizNs-zVMAC&pg=PA138 138]}} | {{harvnb|Musser|Peterson|Burger|2013|pp=[https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA135 135–136]}} }}</ref> 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.<ref>{{harvnb|Koepf|2021|p=[https://books.google.com/books?id=rOU3EAAAQBAJ&pg=PA49 49]}}</ref>
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.<ref>{{harvnb|Haylock|Cockburn|2008|p=[https://books.google.com/books?id=hgAr3maZeQUC&pg=PA49 49]}}</ref> One way to ensure that the result is an integer is to [[Rounding|round]] the result to a whole number. However, this method leads to inaccuracies as the original value is altered.<ref>{{multiref | {{harvnb|Prata|2002|p=[https://books.google.com/books?id=MsizNs-zVMAC&pg=PA138 138]}} | {{harvnb|Musser|Peterson|Burger|2013|pp=[https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA135 135–136]}} }}</ref> 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.<ref>{{harvnb|Koepf|2021|p=[https://books.google.com/books?id=rOU3EAAAQBAJ&pg=PA49 49]}}</ref>
Line 211: Line 213:
{{main|Number theory}}
{{main|Number theory}}


Number theory studies the structure and properties of integers as well as the relations and laws between them.<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Grigorieva|2018|pp=[https://books.google.com/books?id=mEpjDwAAQBAJ&pg=PR8 viii–ix]}} | {{harvnb|Page|2003|p=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 15]}} }}</ref> Some of the main branches of modern number theory include [[elementary number theory]], [[analytic number theory]], [[algebraic number theory]], and [[geometric number theory]].<ref>{{multiref | {{harvnb|Page|2003|p=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 34]}} | {{harvnb|Yan|2002|p=12}} }}</ref> Elementary number theory studies aspects of integers that can be investigated using elementary methods. Its topics include [[divisibility]], [[factorization]], and [[prime number|primality]].<ref>{{multiref | {{harvnb|Page|2003|pp=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 18–19, 34]}} | {{harvnb|Bukhshtab|Nechaev|2014}} }}</ref> Analytic number theory, by contrast, relies on techniques from analysis and calculus. It examines problems like [[prime number theorem|how prime numbers are distributed]] and the claim that [[Goldbach's conjecture|every even number is a sum of two prime numbers]].<ref>{{multiref | {{harvnb|Page|2003|p=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 34]}} | {{harvnb|Karatsuba|2014}} }}</ref> Algebraic number theory employs algebraic structures to analyze the properties of and relations between numbers. Examples are the use of [[Field (mathematics)|fields]] and [[Ring (mathematics)|rings]], as in [[algebraic number field]]s 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.<ref>{{multiref | {{harvnb|Page|2003|pp=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 34–35]}} | {{harvnb|Vinogradov|2019}} }}</ref> Further branches of number theory are [[probabilistic number theory]], which employs methods from [[probability theory]],<ref>{{harvnb|Kubilyus|2018}}</ref> [[combinatorial number theory]], which relies on the field of [[combinatorics]],<ref>{{harvnb|Pomerance|Sárközy|1995|p=[https://books.google.com/books?id=5ktBP5vUl5gC&pg=PA969 969]}}</ref> [[computational number theory]], which approaches number-theoretic problems with computational methods,<ref>{{harvnb|Pomerance|2010}}</ref> and applied number theory, which examines the application of number theory to fields like [[physics]], [[biology]], and [[cryptography]].<ref>{{multiref | {{harvnb|Yan|2002|pp=12, 303–305}} | {{harvnb|Yan|2013a|p=[https://books.google.com/books?id=74oBi4ys0UUC&pg=PA15 15]}} }}</ref>
Number theory studies the structure and properties of integers as well as the relations and laws between them.<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Grigorieva|2018|pp=[https://books.google.com/books?id=mEpjDwAAQBAJ&pg=PR8 viii–ix]}} | {{harvnb|Page|2003|p=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 15]}} }}</ref> Some of the main branches of modern number theory include [[elementary number theory]], [[analytic number theory]], [[algebraic number theory]], and [[geometric number theory]].<ref>{{multiref | {{harvnb|Page|2003|p=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 34]}} | {{harvnb|Yan|2002|p=12}} }}</ref> Elementary number theory studies aspects of integers that can be investigated using elementary methods. Its topics include [[divisibility]], [[factorization]], and [[primality]].<ref>{{multiref | {{harvnb|Page|2003|pp=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 18–19, 34]}} | {{harvnb|Bukhshtab|Nechaev|2014}} }}</ref> Analytic number theory, by contrast, relies on techniques from analysis and calculus. It examines problems like [[prime number theorem|how prime numbers are distributed]] and the claim that [[Goldbach's conjecture|every even number is a sum of two prime numbers]].<ref>{{multiref | {{harvnb|Page|2003|p=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 34]}} | {{harvnb|Karatsuba|2014}} }}</ref> Algebraic number theory employs algebraic structures to analyze the properties of and relations between numbers. Examples are the use of [[Field (mathematics)|fields]] and [[Ring (mathematics)|rings]], as in [[algebraic number field]]s 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.<ref>{{multiref | {{harvnb|Page|2003|pp=[https://www.sciencedirect.com/science/article/abs/pii/B0122274105005032 34–35]}} | {{harvnb|Vinogradov|2019}} }}</ref> Further branches of number theory are [[probabilistic number theory]], which employs methods from [[probability theory]],<ref>{{harvnb|Kubilyus|2018}}</ref> [[combinatorial number theory]], which relies on the field of [[combinatorics]],<ref>{{harvnb|Pomerance|Sárközy|1995|p=[https://books.google.com/books?id=5ktBP5vUl5gC&pg=PA969 969]}}</ref> [[computational number theory]], which approaches number-theoretic problems with computational methods,<ref>{{harvnb|Pomerance|2010}}</ref> and applied number theory, which examines the application of number theory to fields like [[physics]], [[biology]], and [[cryptography]].<ref>{{multiref | {{harvnb|Yan|2002|pp=12, 303–305}} | {{harvnb|Yan|2013a|p=[https://books.google.com/books?id=74oBi4ys0UUC&pg=PA15 15]}} }}</ref>


Influential theorems in number theory include the [[fundamental theorem of arithmetic]], [[Euclid's theorem]], and [[Fermat's last theorem]].<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Křížek|Somer|Šolcová|2021|pp=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA23 23, 25, 37]}} }}</ref> 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 [[18 (number)|number 18]] is not a prime number and can be represented as <math>2 \times 3 \times 3</math>, all of which are prime numbers. The [[19 (number)|number 19]], by contrast, is a prime number that has no other prime factorization.<ref>{{multiref | {{harvnb|Křížek|Somer|Šolcová|2021|p=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA23 23]}} | {{harvnb|Riesel|2012|p=[https://books.google.com/books?id=ITvaBwAAQBAJ&pg=PA2 2]}} }}</ref> Euclid's theorem states that there are infinitely many prime numbers.<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Křížek|Somer|Šolcová|2021|p=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA25 25]}} }}</ref> Fermat's last theorem is the statement that no positive integer values can be found for <math>a</math>, <math>b</math>, and <math>c</math>, to solve the equation <math>a^n + b^n = c^n</math> if <math>n</math> is greater than <math>2</math>.<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Křížek|Somer|Šolcová|2021|p=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA37 37]}} }}</ref>
Influential theorems in number theory include the [[fundamental theorem of arithmetic]], [[Euclid's theorem]], and [[Fermat's last theorem]].<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Křížek|Somer|Šolcová|2021|pp=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA23 23, 25, 37]}} }}</ref> 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 <math>2 \times 3 \times 3</math>, all of which are prime numbers. The [[number 19]], by contrast, is a prime number that has no other prime factorization.<ref>{{multiref | {{harvnb|Křížek|Somer|Šolcová|2021|p=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA23 23]}} | {{harvnb|Riesel|2012|p=[https://books.google.com/books?id=ITvaBwAAQBAJ&pg=PA2 2]}} }}</ref> Euclid's theorem states that there are infinitely many prime numbers.<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Křížek|Somer|Šolcová|2021|p=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA25 25]}} }}</ref> Fermat's last theorem is the statement that no positive integer values can be found for <math>a</math>, <math>b</math>, and <math>c</math>, to solve the equation <math>a^n + b^n = c^n</math> if <math>n</math> is greater than <math>2</math>.<ref>{{multiref | {{harvnb|Bukhshtab|Nechaev|2016}} | {{harvnb|Křížek|Somer|Šolcová|2021|p=[https://books.google.com/books?id=tklEEAAAQBAJ&pg=PA37 37]}} }}</ref>


=== Rational number arithmetic ===
=== Rational number arithmetic ===
Line 239: Line 241:
The precision of numerical quantities can be expressed uniformly using [[Normalized number|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 <math>8.276 \times 10^6</math> with significand 8.276 and exponent 6, and the normalized scientific notation of the number 0.00735 is <math>7.35 \times 10^{-3}</math> with significand 7.35 and exponent &minus;3.<ref>{{multiref | {{harvnb|Wallis|2013|p=[https://books.google.com/books?id=ONgRBwAAQBAJ&pg=PA20 20]}} | {{harvnb|Roe|deForest|Jamshidi|2018|p=[https://books.google.com/books?id=3ppYDwAAQBAJ&pg=PA24 24]}} }}</ref> 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 {{tmath|1.20 \times 10^3}} explicitly has 3.<ref>{{harvnb|Lustick|1997}}</ref>
The precision of numerical quantities can be expressed uniformly using [[Normalized number|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 <math>8.276 \times 10^6</math> with significand 8.276 and exponent 6, and the normalized scientific notation of the number 0.00735 is <math>7.35 \times 10^{-3}</math> with significand 7.35 and exponent &minus;3.<ref>{{multiref | {{harvnb|Wallis|2013|p=[https://books.google.com/books?id=ONgRBwAAQBAJ&pg=PA20 20]}} | {{harvnb|Roe|deForest|Jamshidi|2018|p=[https://books.google.com/books?id=3ppYDwAAQBAJ&pg=PA24 24]}} }}</ref> 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 {{tmath|1.20 \times 10^3}} explicitly has 3.<ref>{{harvnb|Lustick|1997}}</ref>


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.<ref>{{harvnb|Muller|Brisebarre|Dinechin|Jeannerod|2009|pp=[https://books.google.com/books?id=baFvrIOPvncC&pg=PA13 13–16]}}</ref> 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 [[Round-off error|rounding errors]].<ref>{{multiref | {{harvnb|Koren|2018|p=[https://books.google.com/books?id=wUBZDwAAQBAJ&pg=PA71 71]}} | {{harvnb|Muller|Brisebarre|Dinechin|Jeannerod|2009|pp=[https://books.google.com/books?id=baFvrIOPvncC&pg=PA13 13–16]}} | {{harvnb|Swartzlander|2017|p=[https://books.google.com/books?id=VOnyWUUUj04C&pg=SA11-PA19 11.19]}} }}</ref> 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 <math>(a + b) + c</math> is sometimes different from the result of {{nobr|<math>a + (b + c)</math>.}}<ref>{{multiref | {{harvnb|Stewart|2022|p=[https://books.google.com/books?id=twafEAAAQBAJ&pg=PA26 26]}} | {{harvnb|Meyer|2023|p=[https://books.google.com/books?id=-X-_EAAAQBAJ&pg=PA234 234]}} }}</ref> 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.<ref>{{multiref | {{harvnb|Muller|Brisebarre|Dinechin|Jeannerod|2009|p=[https://books.google.com/books?id=baFvrIOPvncC&pg=PA54 54]}} | {{harvnb|Brent|Zimmermann|2010|p=[https://books.google.com/books?id=-8wuH5AwbwMC&pg=PA79 79]}} | {{harvnb|Cryer|2014|p=[https://books.google.com/books?id=_x3pAwAAQBAJ&pg=PA450 450]}} }}</ref> 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.<ref>{{harvnb|Duffy|2018|p=[https://books.google.com/books?id=BTttDwAAQBAJ&pg=PT1225 1225]}}</ref>
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.<ref>{{harvnb|Muller|Brisebarre|Dinechin|Jeannerod|2009|pp=[https://books.google.com/books?id=baFvrIOPvncC&pg=PA13 13–16]}}</ref> 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 error]]s.<ref>{{multiref | {{harvnb|Koren|2018|p=[https://books.google.com/books?id=wUBZDwAAQBAJ&pg=PA71 71]}} | {{harvnb|Muller|Brisebarre|Dinechin|Jeannerod|2009|pp=[https://books.google.com/books?id=baFvrIOPvncC&pg=PA13 13–16]}} | {{harvnb|Swartzlander|2017|p=[https://books.google.com/books?id=VOnyWUUUj04C&pg=SA11-PA19 11.19]}} }}</ref> 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 <math>(a + b) + c</math> is sometimes different from the result of {{nobr|<math>a + (b + c)</math>.}}<ref>{{multiref | {{harvnb|Stewart|2022|p=[https://books.google.com/books?id=twafEAAAQBAJ&pg=PA26 26]}} | {{harvnb|Meyer|2023|p=[https://books.google.com/books?id=-X-_EAAAQBAJ&pg=PA234 234]}} }}</ref> 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.<ref>{{multiref | {{harvnb|Muller|Brisebarre|Dinechin|Jeannerod|2009|p=[https://books.google.com/books?id=baFvrIOPvncC&pg=PA54 54]}} | {{harvnb|Brent|Zimmermann|2010|p=[https://books.google.com/books?id=-8wuH5AwbwMC&pg=PA79 79]}} | {{harvnb|Cryer|2014|p=[https://books.google.com/books?id=_x3pAwAAQBAJ&pg=PA450 450]}} }}</ref> 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.<ref>{{harvnb|Duffy|2018|p=[https://books.google.com/books?id=BTttDwAAQBAJ&pg=PT1225 1225]}}</ref>


=== Tool use ===
=== Tool use ===
Line 269: Line 271:


== Axiomatic foundations ==
== Axiomatic foundations ==
[[Axiomatic system|Axiomatic foundations]] of arithmetic try to provide a small set of laws, called [[axiom]]s, 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 proof]]s in a rigorous manner. Two well-known approaches are the [[Dedekind–Peano axioms]] and [[Set theory|set-theoretic]] constructions.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Bukhshtab|Pechaev|2020}} | {{harvnb|Tiles|2009|p=[https://books.google.com/books?id=mbn35b2ghgkC&pg=PA243 243]}} }}</ref>
[[Axiomatic system|Axiomatic foundations]] of arithmetic try to provide a small set of laws, called [[axiom]]s, 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 proof]]s in a rigorous manner. Two well-known approaches are the [[Dedekind–Peano axioms]] and [[set-theoretic]] constructions.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Bukhshtab|Pechaev|2020}} | {{harvnb|Tiles|2009|p=[https://books.google.com/books?id=mbn35b2ghgkC&pg=PA243 243]}} }}</ref>


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 function|successor]].{{efn|The successor of a natural number is the number that comes after it. For instance, 4 is the successor of 3.}} 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.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Ferreiros|2013|p=[https://books.google.com/books?id=-WL0BwAAQBAJ&pg=PA251 251]}} | {{harvnb|Ongley|Carey|2013|pp=[https://books.google.com/books?id=x-_KDwAAQBAJ&pg=PA26 26–27]}} }}</ref>
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 function|successor]].{{efn|The successor of a natural number is the number that comes after it. For instance, 4 is the successor of 3.}} 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.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Ferreiros|2013|p=[https://books.google.com/books?id=-WL0BwAAQBAJ&pg=PA251 251]}} | {{harvnb|Ongley|Carey|2013|pp=[https://books.google.com/books?id=x-_KDwAAQBAJ&pg=PA26 26–27]}} }}</ref>
Line 305: Line 307:
=== Education ===
=== Education ===
{{main|Mathematics education}}
{{main|Mathematics education}}
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 [[number sense|sense of numbers]] and to familiarize them with fundamental numerical operations like addition, subtraction, multiplication, and division.<ref>{{multiref | {{harvnb|NCTM Staff}} | {{harvnb|Musser|Peterson|Burger|2013|loc=Curriculum Focal Points for Prekindergarten Through Grade 8 Mathematics, p. 44, p. 130}} | {{harvnb|Odom|Barbarin|Wasik|2009|p=[https://books.google.com/books?id=MIuyhc8W-A8C&pg=PA589 589]}} }}</ref> It is usually introduced in relation to concrete scenarios, like counting [[bead]]s, 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, [[Base ten block|counting blocks]], and abacuses.<ref>{{multiref | {{harvnb|Laski|Jor’dan|Daoust|Murray|2015|pp=1–3}} | {{harvnb|Musser|Peterson|Burger|2013|pp=[https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA59 59, 90–91, 93–94, 106–108]}} | {{harvnb|Nurnberger-Haag|2017|p=[https://books.google.com/books?id=Uls6DwAAQBAJ&pg=PA215 215]}} }}</ref>
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 [[number sense|sense of numbers]] and to familiarize them with fundamental numerical operations like addition, subtraction, multiplication, and division.<ref>{{multiref | {{harvnb|NCTM Staff}} | {{harvnb|Musser|Peterson|Burger|2013|loc=Curriculum Focal Points for Prekindergarten Through Grade 8 Mathematics, p. 44, p. 130}} | {{harvnb|Odom|Barbarin|Wasik|2009|p=[https://books.google.com/books?id=MIuyhc8W-A8C&pg=PA589 589]}} }}</ref> It is usually introduced in relation to concrete scenarios, like counting [[bead]]s, 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.<ref>{{multiref | {{harvnb|Laski|Jor’dan|Daoust|Murray|2015|pp=1–3}} | {{harvnb|Musser|Peterson|Burger|2013|pp=[https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA59 59, 90–91, 93–94, 106–108]}} | {{harvnb|Nurnberger-Haag|2017|p=[https://books.google.com/books?id=Uls6DwAAQBAJ&pg=PA215 215]}} }}</ref>


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.<ref>{{multiref | {{harvnb|NCTM Staff}} | {{harvnb|Musser|Peterson|Burger|2013|loc=Curriculum Focal Points for Prekindergarten Through Grade 8 Mathematics, pp. [https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA208 208, 304, 340, 362]}} }}</ref> 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 [[algorithm]]s and [[calculator]]s to solve complex arithmetic problems.<ref>{{multiref | {{harvnb|NCTM Staff}} | {{harvnb|Musser|Peterson|Burger|2013|loc=Curriculum Focal Points for Prekindergarten Through Grade 8 Mathematics}} | {{harvnb|Carraher|Schliemann|2015|p=[https://books.google.com/books?id=lpFGCgAAQBAJ&pg=PA197 197]}} | {{harvnb|Ruthven|2012|pp=[https://books.google.com/books?id=RjZzAgAAQBAJ&pg=PA435 435, 443–444]}} }}</ref>
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.<ref>{{multiref | {{harvnb|NCTM Staff}} | {{harvnb|Musser|Peterson|Burger|2013|loc=Curriculum Focal Points for Prekindergarten Through Grade 8 Mathematics, pp. [https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA208 208, 304, 340, 362]}} }}</ref> 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 [[algorithm]]s and [[calculator]]s to solve complex arithmetic problems.<ref>{{multiref | {{harvnb|NCTM Staff}} | {{harvnb|Musser|Peterson|Burger|2013|loc=Curriculum Focal Points for Prekindergarten Through Grade 8 Mathematics}} | {{harvnb|Carraher|Schliemann|2015|p=[https://books.google.com/books?id=lpFGCgAAQBAJ&pg=PA197 197]}} | {{harvnb|Ruthven|2012|pp=[https://books.google.com/books?id=RjZzAgAAQBAJ&pg=PA435 435, 443–444]}} }}</ref>
Line 312: Line 314:
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]].<ref>{{multiref | {{harvnb|De Cruz|Neth|Schlimm|2010|pp=[https://kops.uni-konstanz.de/server/enwiki/api/core/bitstreams/08a99b71-10aa-4c26-8cd0-9fff4e1e5427/content 59–60]}} | {{harvnb|Grice|Kemp|Morton|Grace|2023|loc=Abstract}} }}</ref> For example, it investigates how collections of concrete items are first encountered in perception and subsequently associated with numbers.<ref>{{harvnb|De Cruz|Neth|Schlimm|2010|pp=[https://kops.uni-konstanz.de/server/enwiki/api/core/bitstreams/08a99b71-10aa-4c26-8cd0-9fff4e1e5427/content 60–62]}}</ref> A further field of inquiry concerns the relation between numerical calculations and the use of language to form representations.<ref>{{harvnb|De Cruz|Neth|Schlimm|2010|p=[https://kops.uni-konstanz.de/server/enwiki/api/core/bitstreams/08a99b71-10aa-4c26-8cd0-9fff4e1e5427/content 63]}}</ref> 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.<ref>{{harvnb|Grice|Kemp|Morton|Grace|2023|loc=Abstract}}</ref>
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]].<ref>{{multiref | {{harvnb|De Cruz|Neth|Schlimm|2010|pp=[https://kops.uni-konstanz.de/server/enwiki/api/core/bitstreams/08a99b71-10aa-4c26-8cd0-9fff4e1e5427/content 59–60]}} | {{harvnb|Grice|Kemp|Morton|Grace|2023|loc=Abstract}} }}</ref> For example, it investigates how collections of concrete items are first encountered in perception and subsequently associated with numbers.<ref>{{harvnb|De Cruz|Neth|Schlimm|2010|pp=[https://kops.uni-konstanz.de/server/enwiki/api/core/bitstreams/08a99b71-10aa-4c26-8cd0-9fff4e1e5427/content 60–62]}}</ref> A further field of inquiry concerns the relation between numerical calculations and the use of language to form representations.<ref>{{harvnb|De Cruz|Neth|Schlimm|2010|p=[https://kops.uni-konstanz.de/server/enwiki/api/core/bitstreams/08a99b71-10aa-4c26-8cd0-9fff4e1e5427/content 63]}}</ref> 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.<ref>{{harvnb|Grice|Kemp|Morton|Grace|2023|loc=Abstract}}</ref>


One of the concepts studied by psychology is [[numeracy]], which is the capability to comprehend numerical concepts, apply them to concrete situations, and [[Logical reasoning|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.<ref>{{multiref | {{harvnb|Victoria Department of Education Staff|2023}} | {{harvnb|Askew|2010|pp=[https://books.google.com/books?id=yqbSaXf0RKwC&pg=PA33 33–34]}} | {{harvnb|Dreeben-Irimia|2010|p=[https://books.google.com/books?id=L3gqsXsoiiAC&pg=PA102 102]}} }}</ref> 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 policy|insurance policies]].<ref>{{multiref | {{harvnb|Victoria Department of Education Staff|2023}} | {{harvnb|Barnes|Rice|Hanoch|2017|p=[https://books.google.com/books?id=yzMlDwAAQBAJ&pg=PA196 196]}} | {{harvnb|Gerardi|Goette|Meier|2013|pp=11267–11268}} | {{harvnb|Jackson|2008|p=[https://books.google.com/books?id=tLuPAgAAQBAJ&pg=PA152 152]}} }}</ref>
One of the concepts studied by psychology is [[numeracy]], which is the capability to comprehend numerical concepts, apply them to concrete situations, and [[Logical reasoning|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.<ref>{{multiref | {{harvnb|Victoria Department of Education Staff|2023}} | {{harvnb|Askew|2010|pp=[https://books.google.com/books?id=yqbSaXf0RKwC&pg=PA33 33–34]}} | {{harvnb|Dreeben-Irimia|2010|p=[https://books.google.com/books?id=L3gqsXsoiiAC&pg=PA102 102]}} }}</ref> 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]].<ref>{{multiref | {{harvnb|Victoria Department of Education Staff|2023}} | {{harvnb|Barnes|Rice|Hanoch|2017|p=[https://books.google.com/books?id=yzMlDwAAQBAJ&pg=PA196 196]}} | {{harvnb|Gerardi|Goette|Meier|2013|pp=11267–11268}} | {{harvnb|Jackson|2008|p=[https://books.google.com/books?id=tLuPAgAAQBAJ&pg=PA152 152]}} }}</ref>


=== Philosophy ===
=== Philosophy ===
Line 320: Line 322:
According to [[Platonism]], numbers have mind-independent existence: they exist as [[abstract objects]] outside spacetime and without causal powers.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Horsten|2023|loc=§ 3. Platonism}} }}</ref>{{efn|An [[Quine–Putnam indispensability argument|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.{{sfn|Colyvan|2023|loc=Lead Section}}}} This view is rejected by [[Intuitionism|intuitionists]], who claim that mathematical objects are mental constructions.<ref>{{harvnb|Horsten|2023|loc=§ 2.2 Intuitionism}}</ref> Further theories are [[logicism]], which holds that mathematical truths are reducible to [[logical truth]]s,<ref>{{multiref | {{harvnb|Horsten|2023|loc=§ 2.1 Logicism}} | {{harvnb|Hofweber|2016|pp=174–175}} }}</ref> and [[Formalism (philosophy of mathematics)|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.<ref>{{harvnb|Weir|2022|loc=Lead Section}}</ref>
According to [[Platonism]], numbers have mind-independent existence: they exist as [[abstract objects]] outside spacetime and without causal powers.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Horsten|2023|loc=§ 3. Platonism}} }}</ref>{{efn|An [[Quine–Putnam indispensability argument|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.{{sfn|Colyvan|2023|loc=Lead Section}}}} This view is rejected by [[Intuitionism|intuitionists]], who claim that mathematical objects are mental constructions.<ref>{{harvnb|Horsten|2023|loc=§ 2.2 Intuitionism}}</ref> Further theories are [[logicism]], which holds that mathematical truths are reducible to [[logical truth]]s,<ref>{{multiref | {{harvnb|Horsten|2023|loc=§ 2.1 Logicism}} | {{harvnb|Hofweber|2016|pp=174–175}} }}</ref> and [[Formalism (philosophy of mathematics)|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.<ref>{{harvnb|Weir|2022|loc=Lead Section}}</ref>


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]].<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Sierpinska|Lerman|1996|p=830}} }}</ref> Some proponents of this view state that arithmetic knowledge is innate while others claim that there is some form of [[Logical intuition|rational intuition]] through which mathematical truths can be apprehended.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Sierpinska|Lerman|1996|pp=827–876}} }}</ref> A more recent alternative view was suggested by [[Naturalism (philosophy)|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.<ref>{{multiref | {{harvnb|Horsten|2023|loc=§ 3.2 Naturalism and Indispensability}} | {{harvnb|Sierpinska|Lerman|1996|p=830}} }}</ref>
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]].<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Sierpinska|Lerman|1996|p=830}} }}</ref> 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.<ref>{{multiref | {{harvnb|Oliver|2005|p=58}} | {{harvnb|Sierpinska|Lerman|1996|pp=827–876}} }}</ref> A more recent alternative view was suggested by [[Naturalism (philosophy)|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.<ref>{{multiref | {{harvnb|Horsten|2023|loc=§ 3.2 Naturalism and Indispensability}} | {{harvnb|Sierpinska|Lerman|1996|p=830}} }}</ref>


=== Others ===
=== Others ===
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.<ref>{{multiref | {{harvnb|Lockhart|2017|pp=1–2}} | {{harvnb|Bird|2021|p=3}} | {{harvnb|Aubrey|1999|p=[https://books.google.com/books?id=_NhpY_VPdCsC&pg=PA49 49]}} }}</ref> [[Cryptography]] relies on arithmetic operations to protect sensitive information by [[encrypt]]ing data and messages.<ref>{{multiref | {{harvnb|Omondi|2020|p=[https://books.google.com/books?id=_m7NDwAAQBAJ&pg=PR8 viii]}} | {{harvnb|Paar|Pelzl|2009|p=[https://books.google.com/books?id=f24wFELSzkoC&pg=PA13 13]}} }}</ref>
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 [[Marketing research|analyze market trends]]. In the field of [[engineering]], it is used to measure quantities, calculate loads and forces, and design structures.<ref>{{multiref | {{harvnb|Lockhart|2017|pp=1–2}} | {{harvnb|Bird|2021|p=3}} | {{harvnb|Aubrey|1999|p=[https://books.google.com/books?id=_NhpY_VPdCsC&pg=PA49 49]}} }}</ref> [[Cryptography]] relies on arithmetic operations to protect sensitive information by [[encrypt]]ing data and messages.<ref>{{multiref | {{harvnb|Omondi|2020|p=[https://books.google.com/books?id=_m7NDwAAQBAJ&pg=PR8 viii]}} | {{harvnb|Paar|Pelzl|2009|p=[https://books.google.com/books?id=f24wFELSzkoC&pg=PA13 13]}} }}</ref>


Arithmetic is intimately connected to many branches of mathematics that depend on numerical operations. [[Algebra]] relies on arithmetic principles to solve [[equation]]s using variables. These principles also play a key role in [[calculus]] in its attempt to determine [[rates of change]] and areas under [[curve]]s. [[Geometry]] uses arithmetic operations to measure the properties of shapes while [[statistics]] utilizes them to analyze numerical data.<ref>{{multiref | {{harvnb|Musser|Peterson|Burger|2013|p=[https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA17 17]}} | {{harvnb|Kleiner|2012|p=[https://books.google.com/books?id=7NcEIteAfyYC&pg=PA255 255]}} | {{harvnb|Marcus|McEvoy|2016|p=[https://books.google.com/books?id=x29VCwAAQBAJ&pg=PA285 285]}} | {{harvnb|Monahan|2012}} }}</ref> 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.<ref>{{multiref | {{harvnb|Gallistel|Gelman|2005|pp=559–560}} | {{harvnb|Ali Rahman|Shahrill|Abbas|Tan|2017|pp=373–374}} | {{harvnb|Li|Schoenfeld|2019|loc=Abstract, Introducation}} | {{harvnb|Asano|2013|pp=xiii–xv}} }}</ref>
Arithmetic is intimately connected to many branches of mathematics that depend on numerical operations. [[Algebra]] relies on arithmetic principles to solve [[equation]]s using variables. These principles also play a key role in [[calculus]] in its attempt to determine [[rates of change]] and areas under [[curve]]s. [[Geometry]] uses arithmetic operations to measure the properties of shapes while [[statistics]] utilizes them to analyze numerical data.<ref>{{multiref | {{harvnb|Musser|Peterson|Burger|2013|p=[https://books.google.com/books?id=8jh7DwAAQBAJ&pg=PA17 17]}} | {{harvnb|Kleiner|2012|p=[https://books.google.com/books?id=7NcEIteAfyYC&pg=PA255 255]}} | {{harvnb|Marcus|McEvoy|2016|p=[https://books.google.com/books?id=x29VCwAAQBAJ&pg=PA285 285]}} | {{harvnb|Monahan|2012}} }}</ref> 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.<ref>{{multiref | {{harvnb|Gallistel|Gelman|2005|pp=559–560}} | {{harvnb|Ali Rahman|Shahrill|Abbas|Tan|2017|pp=373–374}} | {{harvnb|Li|Schoenfeld|2019|loc=Abstract, Introducation}} | {{harvnb|Asano|2013|pp=xiii–xv}} }}</ref>
Line 330: Line 332:
{{portal|Arithmetic|Mathematics}}
{{portal|Arithmetic|Mathematics}}
* [[Algorism]]
* [[Algorism]]
* [[Expression (mathematics)]]
* [[Finite field arithmetic]]
* [[Finite field arithmetic]]
* [[Outline of arithmetic]]
* [[Outline of arithmetic]]

Latest revision as of 22:37, 30 November 2024

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

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.

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]
Number line showing different types of numbers
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]

Diagram of a right triangle
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]

Diagram showing tally marks
Photo of tally sticks
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]

Diagram of hieroglyphic numerals
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]
Diagram of addition
Diagram of division
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]
Diagram showing addition
Diagram showing subtraction
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]
Diagram showing multiplication
Diagram showing division
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]
Diagram showing exponentiation
Diagram showing logarithm
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]
Diagram of number line method
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]
Painting of students engaged in mental arithmetic
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]

Photo of a Chinese abacus
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]
Diagram of modular arithmetic using a clock
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]
Photo of the Ishango bone
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]

Photo of Leibniz's stepped reckoner
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]