[eli5] What is the formal, technical definition of the addition operation?

341 views

I recently saw a [great video](https://www.youtube.com/watch?v=dKtsjQtigag) by Another Roof on youtube using set theory to explain what numbers are. He explains that when we try to define a number, it’s hard because we tend to describe the adjective form of the number, e.g., “there are three people.” but what IS three? How do we define it with as few assumptions about mathematics as possible? He goes on to explain and show how the numbers can be derived using set theory, and that got me thinking:

Can we apply the same rigorous definitions to the arithmetic operators?

I saw another one of his videos which I thought would help, literally called [How to Add](https://www.youtube.com/watch?v=rhhhUAAAh-g), but he ends up defining the properties of addition, not what addition is. For example, when defining addition, he lists off a few defining factors:

*n + 0 := n*

*n + 1 := S(n)* (where S(n) means the successor of n, i.e. the next natural number)

But these things only tell us properties of addition. If we have no idea what it means to add, then how can we know that n + 0 is n, or that n + 1 is S(n)? These defining factors assume that we know what it is to add a posteriori. If we are to assume as little as possible about math in order to create it from the ground up, then we can’t assume to know what addition is.

He then gives the more general case:

*n + S(k) = S(n + k)*

which recursively just breaks into *S ( S ( S… S (1) ) )*, so that 2 + 3 is just *S ( S ( S ( S (1) ) )*

However, this is quite clunky, and if someone were to know literally nothing about addition except for this, they would have a terrible time calculating the sum of large numbers. Remember, we don’t want to assume anything, and I want to extend that to the reader of the definition. If we assume that the reader can remember large sums, then this definition is easy to carry out. if we remember what 2 + 3 is, then it’ll be much easier to figure out 2 + 4 (though this in itself poses more problems if we are to assume little to nothing). However, that is still an assumption, and I’d like to eliminate outside variables completely from the definition, and focus on the required logic alone.

I also wish to find a completely abstract definition, because many definitions on the internet describe addition by showing the combination of two groups of items. But physical things are an assumption. It assumes that in the mathematical universe, there are things. It’s a bit pedantic, but I believe it’s important. It’s best to have a definition that relies on logic alone.

So my question is:

Is there a way to define the addition operation in such a way that:

1. it captures what it means to “add”
2. it is rigorously provable
3. It assumes little to nothing about mathematics and little to nothing about the observer
4. it is concise as possible, so that any possible reader of the definition can know how to add by knowing only the definition and the natural numbers, and
5. it is completely abstract

I’ve tried to answer this question by myself but all the sources i could find defined properties of addition, not a definition for the operation itself.It’s an important question, because addition is one of, if not the, most basic operations you can perform on a set of numbers. And as we know, math builds on itself. So if a tight, concise definition of addition can’t be reached, then the whole foundation is shaky.

This is probably a noob question for set theorists, and I may be flawed in some of my reasoning, but I’m not a mathematician so sue me.

TL;DR : read the list

In: 3

8 Answers

Anonymous 0 Comments

>How do we define it with as few assumptions about mathematics as possible? He goes on to explain and show how the numbers can be derived using set theory, and that got me thinking:

First a note on this.

I used to think the von neuman construction of the naturals was something super profound but its not really, its just an example of how we can construct the idea of the naturals in set theory.

The more important thing though is what exactly a number is, and this is the discussion it leads to.

The important idea of numbers is **numbers exist because we can count, more precisely they exist because there is always a “next” number.** Here we use the successor function, S, to define this counting, but the basic idea is that if we have something somewhere where for every element of something there exists a “next” element, we have defined the basics of counting and as a result there is some notion of number that exists with that. The von neumann construction is just an example of this, its not “the true hidden meaning behind the natural numbers.”

> But these things only tell us properties of addition. If we have no idea what it means to add

This leads to a philosophical discussion, unfortunately or fortunately something we have to get into when we get this low into math. Addition is a human invention, there is some notion of it in the real world but our conception of it at least is exactly that, our conception of it. We invented it, we define its properties, the only thing is these properties have to be logically consistent with the rest of our number system idea. We in fact have various notions of addition, natural addition, rational addition, finite field addition, even things like elliptic curve addition are all some sort of notions of addition, we call these all addition because they satisfy the certain addition properties, usually most if not all.

In the basic notion of the naturals that you have above, we can say that “addition a function where you apply succession to the first numeral for every time succession is applied to the second.” But what is important is that this definition can provably satisfy the properties of addition which we choose are the properties of addition. To create this we worked backwards, we start with the requirements and narrow ourselves onto a solution.

You are viewing 1 out of 8 answers, click here to view all answers.