Натуральные числа

Банкомат проверяет карту через алгоритм Луна - mod 10 арифметика за 50 микросекунд. Каждая транзакция Visa - модульная арифметика на чипе. 700 миллиардов операций в день. И всё это арифметика, изобретённая шумерами 5000 лет назад для подсчёта ячменя.

• **Штрих-коды и QR-коды:** каждый товар на планете - уникальное натуральное число. Алгоритм Луна проверяет корректность номера карты за одну операцию mod 10.
• **RSA-криптография:** безопасность всего интернет-банкинга строится на одном факте про натуральные числа - перемножить два огромных простых числа легко, а разложить результат обратно - невозможно за разумное время.
• **Хэш-функции:** SHA-256 (защита биткоина) работает исключительно с натуральными числами и операцией mod 2^32. 700 миллиардов транзакций Visa в год - это натуральная арифметика на кремниевом чипе.

Кость Ишанго - математика каменного века

В 1960 году в Конго нашли кость павиана с зарубками. Группы: 11, 13, 17, 19 - это простые числа. Другая сторона: 3, 6, 4, 8, 10, 5 - удвоения и деления. Кто-то 20 000 лет назад систематически работал с числами.

Математическое мышление старше письменности на 15 000 лет. Шумеры, создавшие первую систему счисления 5000 лет назад, стояли на плечах безымянных пастухов.

Пеано и строгость математики

1889 год. Итальянец Пеано задал вопрос, который казался наивным: а что такое числа вообще? Из 5 аксиом он вывел всю арифметику - сложение, умножение, индукцию. Эти аксиомы сегодня лежат в основе формальной верификации программ.

Вопросы, которые кажутся наивными, часто оказываются самыми глубокими.

Аксиомы Пеано - фундамент под всей формальной математикой. Proof assistants (Coq, Lean) используют их для верификации кода. Без них нельзя доказать корректность криптографического алгоритма.

Откуда взялся счёт

**30 000 лет назад.** Пастух каменного века выгоняет овец на пастбище. Как убедиться вечером, что все вернулись? Цифр нет. Письменности нет. Слов «сто» и «тысяча» не существует. Но проблема учёта реальна - потеря овцы это потеря имущества, еды, выживания.

**Решение гениально просто:** одна овца - один камешек в мешок. Вечером выкладываешь камешки по одному. Остались лишние? Овца потерялась. Так родился **счёт** - не из абстрактных формул, а из страха. И это соответствие «один к одному» до сих пор является фундаментом всей математики.

Счёт возник из **соответствия один-к-одному**: каждому предмету ставим в пару метку. Эта идея работает без знания чисел - и именно её компьютеры используют до сих пор. Указатель на объект в памяти - это современный камешек пастуха.

Что такое натуральные числа

**Натуральные числа** - числа для счёта предметов: 1, 2, 3, 4, 5, ... От латинского *naturalis* - природные, врождённые. Их придумал не математик. Их придумал пастух с мешком камней.

**Свойства натуральных чисел:** • **Наименьший элемент:** 1 - самое маленькое натуральное • **Нет наибольшего:** всегда можно прибавить 1. Это не аксиома - это теорема, следствие аксиом Пеано. • **Дискретность:** между 5 и 6 нет натуральных чисел. Именно это отличает их от вещественных. • **Упорядоченность:** любые два можно сравнить. Компьютер использует это тысячу раз в секунду при сортировке.

Натуральные числа **замкнуты** по сложению и умножению: результат всегда остаётся натуральным. Но вычитание - нет: 3 - 5 = -2. Это не ошибка, это математическая дверь: за ней целые числа **Z**. Каждый раз, когда операция «выходит» за пределы множества, математики изобретали новое.

Великий спор о нуле

Вопрос, который разделяет математиков уже несколько веков: **является ли ноль натуральным числом?** Не нерешённая задача - а вопрос соглашения. И ответ зависит от того, кто и зачем спрашивает.

**В этом курсе:** мы считаем, что 0 ∉ ℕ (традиционное определение). Но всегда уточняйте определение в конкретном учебнике или курсе!

**Почему в программировании индексы с нуля?** Индекс - это смещение от начала массива. Первый элемент имеет смещение 0. `arr[i]` находится по адресу `arr + i × размер_элемента`. При i=0 получаем просто `arr`. Это не прихоть - это минус одна операция вычитания при каждом обращении к памяти. В горячем коде это миллиарды наносекунд.

Бесконечность натуральных чисел

Натуральных чисел **бесконечно много**. Звучит как данность - но это теорема. И доказывается она просто: от противного.

**Аксиомы Пеано (1889):** 1. 1 - натуральное число 2. У каждого n есть «следующее» n' = n + 1 3. 1 не является следующим ни для какого числа 4. Если n' = m', то n = m 5. **Индукция:** если P(1) верно и P(n) → P(n+1), то P верно для всех натуральных Из этих пяти аксиом выводятся ВСЕ свойства натуральных чисел.

Бесконечность натуральных чисел - **счётная бесконечность** (ℵ₀, «алеф-ноль»). Парадокс: это «маленькая» бесконечность. Вещественных чисел принципиально «больше» - это доказал Кантор в 1874 году диагональным аргументом. Но это отдельная история - и отдельный урок.

Ключевые идеи

• Натуральные числа ℕ = {1, 2, 3, ...} - числа для счёта. Шумеры считали урожай ячменя, Visa считает 700 миллиардов операций в день. Один объект.
• Ноль - предмет спора: в российской школе 0 ∉ ℕ, в ISO 80000-2 и информатике 0 ∈ ℕ. Важно знать контекст.
• Наименьший элемент - 1, наибольшего нет. Добавь 1 к любому числу - получишь большее натуральное.
• Замкнутость: + и × всегда дают натуральное. Вычитание и деление - нет. Именно это вынудило математиков изобрести Z, Q, R, C.

Связанные темы

Натуральные числа - фундамент всей математики:

• Целые числа — Расширяем натуральные нулём и отрицательными
• Простые числа — Особые натуральные - кирпичики арифметики
• Бесконечность — Глубокое изучение «размера» множеств

Вопросы для размышления

• Шумеры считали ячмень, Visa считает транзакции - одна арифметика через 5000 лет. Что именно в натуральных числах делает их настолько универсальными?
• Алгоритм Луна проверяет карту через mod 10. Почему натуральная арифметика с остатком от деления защищает банковские данные лучше, чем сложные схемы?
• В какой момент у древнего пастуха появилась бы потребность в нуле? Когда «ничего» становится числом?

Связанные уроки

• calc-01-sequences