The post has been translated automatically. Original language: Russian
In the IT world, we write algorithms every day, train neural networks, and operate with terabytes of data. Mathematics is at the heart of all this magic, and for us, the statement that two plus two equals four is a hardcode, a basic truth that does not require verification.
But in fundamental mathematics, there is no "just like that." Any truth must be proven. Just as an operating system is based on a basic core, so all arithmetic is based on a set of basic rules. If you are ever asked how exactly the equation $2+2=4$ is proved, now you will have an accurate answer algorithm.
🧩 Peano Axioms: The "Source Code" of arithmetic
To prove that $2+2=4$, mathematicians use the Peano axioms (named after the Italian mathematician Giuseppe Peano). This is a set of strict rules created at the end of the 19th century that define what natural numbers are and how they work.
In this system, there are no familiar numbers in a vacuum. There is only zero (or one in some interpretations) and a sequence function, which is designated as $S(n)$ (from English successor — next).
The function $S(n)$ simply takes a number and returns the one that follows it strictly.
Step 1: Declaring variables
Let's "declare" our numbers through the sequence function, taking zero as the starting point.:
- One is the number following zero.:$$1 = S(0)$$
- Two is the number following one.:$$2 = S(1)$$
- A three is the number following a two.:$$3 = S(2)$$
- A four is the number following a three.:$$4 = S(3)$$
Step 2: Writing the addition function
Now we need to define the mathematical logic of addition. In the Peano system, addition is defined recursively through two strict rules (where $a$ and $b$ are any natural numbers):
- Base case: Adding zero does not change anything.$$a + 0 = a$$
- Recursive step: Adding to the number $a$ the number following $b$ is the same as taking the number following the result of adding $a$ and $b$. $$a+S(b) = S(a + b)$$
Step 3: Compilation of the proof (Calculation 2+2)
Now we have all the necessary introductory notes. Let's prove our equation step by step, using only the rules that we described above.
We want to calculate $2 + 2$. Recall that the second two is $S(1)$. We substitute:
$$2 + 2 = 2 + S(1)$$
We apply our "Recursive rule" of addition. Taking the following function outside:
$$2 + S(1) = S(2 + 1)$$
Now we need to understand what $2 + 1$ is. We know that $1 = S(0)$. We substitute:
$$2 + 1 = 2 + S(0)$$
We apply the recursive rule again, taking $S$ outside:
$$2 + S(0) = S(2 + 0)$$
According to the "Basic Rule" of addition, adding zero does not change the number, so $2 + 0 = 2$. Means:
$$S(2 + 0) = S(2)$$
And according to our original declaration of variables, the number following the two $S(2)$ is a three:
$$S(2) = 3$$
Let's go back to the beginning of our chain, where we stopped at $S(2 + 1)$, which has now turned into $S(3)$. And what is $S(3)$ according to our declaration?
$$S(3) = 4$$
What had to be proved!
Conclusion
Mathematics is an ideal framework with strict typing. The proof that $2+2=4$ took mathematicians Alfred North Whitehead and Bertrand Russell more than 300 pages in their fundamental work Principia Mathematica (they proved $1+1=2$, starting with absolute zero logical concepts).
Fortunately, today we don't have to rewrite these 300 pages every time to run a simple program. But understanding how these fundamental gears work perfectly develops systems and algorithmic thinking.
В мире ИТ мы ежедневно пишем алгоритмы, тренируем нейросети и оперируем терабайтами данных. В основе всей этой магии лежит математика, и для нас утверждение, что два плюс два равно четырем — это хардкод, базовая истина, не требующая проверки.
Но в фундаментальной математике не бывает «просто так». Любая истина должна быть доказана. Как операционная система строится на базовом ядре, так и вся арифметика строится на наборе базовых правил. Если вас когда-нибудь спросят, как именно доказывается уравнение $2+2=4$, теперь у вас будет точный алгоритм ответа.
🧩 Аксиомы Пеано: «Исходный код» арифметики
Чтобы доказать, что $2+2=4$, математики используют аксиомы Пеано (названы в честь итальянского математика Джузеппе Пеано). Это набор строгих правил, созданных в конце XIX века, которые определяют, что такое натуральные числа и как они работают.
В этой системе нет привычных нам цифр в вакууме. Есть только ноль (или единица в некоторых интерпретациях) и функция следования, которая обозначается как $S(n)$ (от английского successor — следующий).
Функция $S(n)$ просто берет число и возвращает то, которое идет строго за ним.
📦 Шаг 1: Объявляем переменные
Давайте «задекларируем» наши цифры через функцию следования, взяв за точку отсчета ноль:
- Единица — это число, следующее за нулем:$$1 = S(0)$$
- Двойка — это число, следующее за единицей:$$2 = S(1)$$
- Тройка — это число, следующее за двойкой:$$3 = S(2)$$
- Четверка — это число, следующее за тройкой:$$4 = S(3)$$
⚙️ Шаг 2: Пишем функцию сложения
Теперь нам нужно задать математическую логику сложения. В системе Пеано сложение определяется рекурсивно через два строгих правила (где $a$ и $b$ — любые натуральные числа):
- Базовый случай (Base case): Прибавление нуля ничего не меняет.$$a + 0 = a$$
- Рекурсивный шаг (Recursive step): Прибавить к числу $a$ следующее за $b$ число — это то же самое, что взять число, следующее за результатом сложения $a$ и $b$.$$a + S(b) = S(a + b)$$
🚀 Шаг 3: Компиляция доказательства (Вычисление 2+2)
Теперь у нас есть все необходимые вводные. Давайте докажем наше уравнение пошагово, используя только правила, которые мы описали выше.
Мы хотим вычислить $2 + 2$. Вспоминаем, что вторая двойка — это $S(1)$. Подставляем:
$$2 + 2 = 2 + S(1)$$
Применяем наше «Рекурсивное правило» сложения. Выносим функцию следования наружу:
$$2 + S(1) = S(2 + 1)$$
Теперь нам нужно понять, что такое $2 + 1$. Мы знаем, что $1 = S(0)$. Подставляем:
$$2 + 1 = 2 + S(0)$$
Снова применяем рекурсивное правило, вынося $S$ наружу:
$$2 + S(0) = S(2 + 0)$$
По «Базовому правилу» сложения, прибавление нуля не меняет число, поэтому $2 + 0 = 2$. Значит:
$$S(2 + 0) = S(2)$$
А по нашей изначальной декларации переменных, число, следующее за двойкой $S(2)$ — это тройка:
$$S(2) = 3$$
Возвращаемся к началу нашей цепочки, где мы остановились на $S(2 + 1)$, которое теперь превратилось в $S(3)$. А что такое $S(3)$ по нашей декларации?
$$S(3) = 4$$
Что требовалось доказать!
Вывод
Математика — это идеальный фреймворк со строгой типизацией. Доказательство того, что $2+2=4$, заняло у математиков Альфреда Норта Уайтхеда и Бертрана Рассела в их фундаментальном труде Principia Mathematica более 300 страниц (они доказывали $1+1=2$, начиная с абсолютного нуля логических концепций).
К счастью, сегодня нам не нужно каждый раз переписывать эти 300 страниц, чтобы запустить простую программу. Но понимание того, как работают эти фундаментальные шестеренки, отлично развивает системное и алгоритмическое мышление.
Share
