В железках 70-80х годов был встроен какой-то язык программирования, заменявший операционную систему. Был ли плюс? Определенно был - включил и работай. Был ли минус? Определенно был - интерпретатор отжирал часть памяти.
Эпоха самых классных компов это конец 70х-начало 80х...
Купил-включил-работает. Прикольно? Определенно. Но работает фигово. Если кто-то не в курсе, то мелкогады не включали floit в минималки, а Возняк вообще не думал что это надо... А вот рассчитать площадь с float и без разница громадная. Да и умножение стандартными средствами и фичами это тоже проблема. Сейчас полно вариантов как обеспечить быстрые арифметические операции для x86, но нет никаких примеров стандартных.
PASCAL
Pascal один из лучших скриптовых языков. Пиши какую-ту-там последовательность, смотри на вывод и оцени вывод.
Он ведь крут! Понятен! Легко переписываем в обычный язык! Что еще нужно для языка программирования? Все что проще вообще не ОЯП.
WYANG
Пиши на чем хочешь - компилируй в то что надо. Идея была взята из 80х - транслятор. Использование - сплошь и рядом. Как минимум два компилятора OPASCAL транслируют в С/С+/С++ перед компиляцией... TMTPascal не всегда Pascal... QBacic это C#...
А что если представить IDE, где код не важен. Главное написать структурную целостность и общую структуру. Остальное проделает транслятор и компилятор?
WYANG - whoare you want language.
WYANG это IDE поддерживающее разметку и определение языка и цель компиляции.
И сразу есть два плюса и два минуса:
Минус 1. Оно, в описанном идеале, не работает. Минус 2. Оно вообще не работает по описанным принципам.
Плюс 1. Оно работает, оно классно работает, для определенных вариантов. Плюс 2. Оно работает частично для определенных систем, работа чего вызывает сомнение. Генерируемый перед компиляцией код удивляет.
КОНЕЦ
Писать новый язык - непродуктивное дело. Лучше всего написать что-то легкое, в удобочитаемом виде, а потом транслятор и компилятор.
Мы прошли первую ступень этой иерархии, мир натуральных чисел (ℕ), идеальных для счета дискретных объектов. Но реальность богаче наших представлений о ней: она требует учета не только наличия, но и отсутствия, не только роста, но и убыли, не только движения вперед, но и направления назад. Натуральные числа с их ограниченностью a - b, где a > b, оказались недостаточными для описания всего спектра человеческого опыта и научных задач.
Продолжая наше путешествие по иерархии чисел ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ, мы вступаем в царство целых чисел (ℤ). Это мир, расширяющий горизонты ℕ, включая в себя не только положительные величины, но и их зеркальные отражения, отрицательные числа, а также важнейший символ пустоты и равновесия — ноль.
Примечание: ℕ, ℤ, ℚ, ℝ и ℂ— стандартные символы Юникода (exempli gratia, ℕ = U+2115), предназначенные специально для множества натуральных, целых, рациональных, вещественных и комплексных чисел соответственно. Использование данных символов исключает двусмысленность, вроде "...пусть N — натуральное число, тогда N ∈ N", что только запутает читателя.
Мир натуральных чисел (ℕ), мир счёта, сложения и умножения, казался древним математикам полным и самодостаточным. Однако сама жизнь ставила задачи, которые ℕ решить не могли:
Как выразить долг? Как формализовать убыль? Как решить уравнение x + 5 = 3?
Ответом стало появление целых чисел (ℤ), расширивших ℕ включением отрицательных чисел и нуля как полноценного объекта:
ℤ = {…, -3, -2, -1, 0, 1, 2, 3, …}.
Практические истоки целых чисел находятся в древних цивилизациях. В Китае эпохи Хань (200 г. до н.э.) трактат "Цзючжан Суаньшу" ввёл палочки двух цветов: красные для прибыли (正), чёрные для долга (負). Запись 赤三 黑五 (красные 3, чёрные 5) означала чистый долг в 2 единицы — прообраз -2.
В Индии V-VII вв. Брахмагупта в "Брахмаспхута-сиддханте" формализовал ноль и арифметику:
"...имущество" (дхана) + "долг" (рина) = их разность,
Произведение двух "долгов" (-a × -b) = "имущество" (+ab).
Хотя его попытка определить 0/0 = 0 была ошибочна, это смело расширило горизонты. Через исламский мир (аль-Хорезми, VIII-IX вв.) эти идеи достигли Европы, но встретили сопротивление.
Декарт в XVII веке называл отрицательные корни "ложными",
...но часто случается, что некоторые из этих корней ложны или меньше, чем ничто. La Géométrie, 1637
а Паскаль отвергал вычитание 4 из 0 как абсурд:
...я понимаю, что можно обозначить долг знаком минус [...], но как можно представить величину меньшую, чем ничто? Lettres de Pascal à Fermat, 1654
Современник Паскаля, английский математик Джон Валлис, парировал: "...если кто-то не может понять, как -5 может быть меньше нуля, пусть представит термометр: температура ниже нуля действительно существует".
Перелом наступил лишь когда координатная прямая Декарта дала отрицательным числам геометрическую интерпретацию: точки левее нуля.
..и чтобы отличать эти равные, но противоположные по знаку числа, если корни истинные [положительные], я пишу их сразу после с знаком +; а если ложные [отрицательные], то с знаком -.
La Géométrie, 1637
Философский триумф целых чисел состоялся в XVIII-XIX веках. Леонард Эйлер в трудах по алгебре легитимировал операции с отрицательными числами,
Следовательно, ясно, что произведение -a на -b должно быть таким же, как произведение a на b, а именно +ab. ... Следовательно, если говорят, что -3 умножить на -4 дает +12, то это верное правило.)
Vollständige Anleitung zur Algebra, 1770
а Уильям Гамильтон включил ℤ в структуру коммутативного кольца (термин "коммутативное кольцо" появился позже, в 1897 у Д. Гильберта "Zahlbericht", формализован в 1921 Э. Нетёр "Idealtheorie in Ringbereichen" и устоялся в 1930 Б. ван дер Варденом "Moderne Algebra"), где каждое число имеет противоположное (a + (-a) = 0), а ноль стал нейтральным элементом (a + 0 = a, a × 0 = 0).
Ключевой скачок был не в символах, а в качественном преодолении ограничений ℕ:
1) Уравнение x + a = b разрешимо при любых a, b,
2) Появилась симметрия (-a как "зеркало" a),
3) Числа абстрагировались от контекста: -5 — не только долг, но и температура, смещение, заряд.
Как подчеркнул Герман Ганкель, это воплотило "принцип перманентности": законы ℕ сохранились при расширении до ℤ.
Если две формы, выраженные в общей арифметике, равны, то они должны оставаться равными и тогда, когда входящие в них символы перестают обозначать простые величины, и, следовательно, операции приобретают более общее содержание.
Законы арифметических операций, установленные для исходной системы чисел, должны сохраняться при любом их расширении, если только это не ведёт к противоречиям.
Объясним суть принципа на практике:
Возьмём сходный закон для ℕ, exempli gratia, дистрибутивность: a × (b + c) = a×b + a×c.
Расширение до ℤ:
При добавлении отрицательных чисел и нуля возник ключевой вопрос:
Как определить операции для новых объектов, чтобы старые правила не рухнули?
Пример с умножением:
Для натуральных 3 × 2 = 6.
Чтобы сохранить дистрибутивность в ℤ, пришлось принять:
Так дистрибутивность потребовалаположительное × отрицательное = отрицательное.
Принцип работает, только если новые объекты не создают парадоксов. Например, в ℤ сохранилось a × 0 = 0, но деление на ноль запрещено — оно разрушает структуру (1 = 2 и т.д.).
В прошлом посте мы обещали рассмотреть историю нуля подробнее. История нуля, напомним, началась с ранних форм-заполнителей пустоты (с 3000 г. до н.э.). Вавилоняне использовали двойной клин (˅˅) в шестидесятеричной системе (например, 1˅˅3 = 1×60² + 0×60 + 3), но это был лишь символ пропуска разряда, а не число.
Майя в I в. н.э. применяли знак-ракушку в двадцатеричном календаре для обозначения "начала" (день 0) и бесконечности, но не использовали его в вычислениях.
Древние Китай и Египет оставляли пустые места в записях (например, 4‿5 для 405), не создавая отдельного символа.
Революция произошла в Индии (III–IX вв.). В манускрипте Бакхшали (III–IV вв.) обнаружен древнейший символ нуля — жирная точка (●), служившая заполнителем в расчётах. Математик Брахмагупта в 628 г. в труде "Брахмаспхута-сиддханта" впервые определил ноль как число:
a + 0 = a, a − 0 = a,
a × 0 = 0,
0 ÷ a = 0 (деление на ноль он назвал "бесконечностью").
Символ превратился в кружок с именем "шунья" (санскр. "пустота"). Через арабов (Аль-Хорезми, IX в.) система распространилась в Европу: арабское "сыфр" (صفر) дало термины "цифра" и "шифр", а итальянцы преобразовали его в "zero".
В Европе (XII–XVII вв.) ноль встретил сопротивление.
В 1299 году Флоренция издала закон, полностью запретивший использование арабских цифр (включая ноль) в официальных документах, бухгалтерии и торговых записях. Арабские цифры легко поддавались исправлениям: например, 10 можно было превратить в 100 добавлением нуля, а 1 — в 7 или 9 минимальными правками. Власти требовали писать числа только словами или римскими цифрами, поскольку подделать текст было сложнее.
Церковь объявила его "дьявольским", ссылаясь на Аристотеля, отрицавшего пустоту. Однако купцы тайно использовали ноль в расчётах, а Фибоначчи в 1202 г. описал его в "Книге абака". К XV веку с развитием книгопечатания ноль узаконился. Научный прорыв совершил Декарт в XVII веке, сделав ноль началом координат в системе осей (x, y), что заложило основы аналитической геометрии и матанализа.
Хотя аксиомы Пеано описывают натуральные числа (ℕ), целые числа (ℤ) требуют более сложной структуры. Их можно построить двумя путями: расширением ℕ или независимой аксиоматизацией. Рассмотрим оба подхода.
1. Построение ℤ из ℕ через классы эквивалентности
Целые числа формально определяют как упорядоченные пары натуральных чисел (разность как абстракция):
(a, b) ∼ (c, d) ⇔ a + d = b + c.
Пример: (5, 3) ∼ (2, 0), так как 5 + 0 = 3 + 2 → обе пары кодируют число 2. Или (3, 5) ∼ (0, 2) → кодируют -2. Ноль: класс пар вида (a, a) (например, (4, 4) = 0).
Операции:
Сложение: (a,b) + (c,d) = (a+c, b+d),
Умножение: (a,b) × (c,d) = (ac+bd, ad+bc).
(5,3) (это 2) + (3,5) (это -2) = (8,8) = 0.
2. Аксиоматизация как коммутативного кольца
ℤ можно задать аксиомами алгебраической структуры (кольца). Основные аксиомы:
В ℤ есть симметрия (для каждого элемента существует противоположный), нет аксиомы индукции (она заменяется структурой кольца) и ℤ содержит ℕ как подмножество натуральных чисел (1, 2, 3, ...).
Отдельно отметим аксиомы порядка для ℤ
Чтобы ввести сравнение целых чисел, добавляют:
Трихотомия: ∀a,b ∈ ℤ верно ровно одно: a < b, a = b, a > b.
Монотонность сложения: a < b ⇒ a + c < b + c.
Монотонность умножения: a < b ∧ c > 0 ⇒ a·c < b·c.
-5 < 3, так как 3 - (-5) = 8 > 0.
Как ℕ вкладывается в ℤ?
Существует изоморфное вложениеf: ℕ → ℤ, сохраняющее операции:
f(0_ℕ) = 0_ℤ,
f(S(n)) = f(n) + 1.
Так натуральные числа становятся подмножеством ℤ:
ℕ = {0, 1, 2, ...} ⊂ ℤ.
Введение целых чисел (ℤ) расширяет арифметику натуральных чисел (ℕ), но не преодолевает принципиальные ограничения, установленные теоремой Гёделя о неполноте. Рассмотрим причины.
Во-первых, почему ℤ не "сильнее" ℕ для теоремы Гёделя? Целые числа строятся из натуральных через классы эквивалентности пар (например, (a, b) ∼ (c, d) ⇔ a + d = b + c). Любое утверждение о ℤ можно выразить в терминах ℕ. Если система аксиом для ℕ (Пеано) неполна, то её расширение до ℤ, основанное на тех же принципах, также будет неполным. Теорема Гёделя применима ко всем системам, содержащим арифметику ℕ.
Утверждение "...машина Тьюринга с номером n не останавливается на пустом вводе":
Формулируется через номера алгоритмов (n ∈ ℕ),
Остаётся недоказуемым в аксиомах Пеано и, следовательно, в ℤ, так как ℤ определяется через ℕ.
Во-вторых, однако, расширение до целых чисел решает конкретные алгебраические проблемы, но не затрагивает "неуловимость" гёделевских утверждений:
Разрешимость уравнений:
В ℤ всегда есть решение для x + a = b (где a, b ∈ ℤ), что невозможно в ℕ.
Недоказуемость мета-утверждений:
Гипотезы о свойствах ℕ (например, о распределении простых чисел) остаются за пределами формальных систем.
В-третьих, как и для натуральных чисел, так и для целых существуют принципиальные задачи или парадоксы, демонстрирующие сложность данной числовой системы.
1. Уравнение Пелля (x² - dy² = 1) и его фундаментальные решения
Для данного неквадратного целого d > 1, найти все целочисленные решения (x, y) уравнения x² - dy² = 1.
Пара (x, y) ищется именно в целых числах. Уравнение тривиально в ℝ, но его решения в ℤ обладают глубокой структурой.
Хотя известно, что существует бесконечно много решений (фундаментальное решение порождает их все алгоритмически), нахождение самого фундаментального решения для произвольного d не имеет известной эффективной формулы. Его "размер" (величина x и y) может быть астрономически огромным даже для умеренных d, что делает проблему вычислительно трудной. Задача упирается в тонкую арифметику колец целых алгебраических чисел, выходящую за рамки элементарной арифметики ℤ.
2. Проблема остановки для целочисленных линейных программ
Можно ли определить (алгоритмически или в рамках арифметики ℤ), остановится ли программа, которая на каждом шаге вычисляет значение линейного полинома с целыми коэффициентами от целочисленных переменных и проверяет условие вида P(x₁, x₂, ..., xₙ) >= 0 для перехода?
Переменные, коэффициенты, условия — все целочисленно. Это ограниченный, но важный класс программ, работающих исключительно с целыми числами и линейными операциями.
Проблема остановки даже для этого подкласса программ алгоритмически неразрешима. Это следствие неразрешимости общей 10-й проблемы Гильберта (доказанной Матиясевичем). Не существует алгоритма (и, следовательно, не может быть доказательства в достаточно сильной формальной системе, охватывающей ℤ), которое для любой такой программы и любого начального состояния целочисленных переменных корректно ответило бы, достигнет ли программа состояния остановки. Это конкретная неразрешимая проблема, живущая внутри ℤ.
3. Гипотеза Бёрча — Свиннертон-Дайер (BSD)
Гипотеза глубоко связывает алгебраические свойства (ранг) эллиптической кривой, заданной уравнением y² = x³ + ax + b с целыми коэффициентамиa, b (и дискриминантом без квадратов), с аналитическими свойствами ее L-функции в точке s=1. Конкретно: порядок нуля L-функции в s=1 должен равняться рангу группы рациональных точек кривой.
Кривая определяется целыми коэффициентами. Ранг — это максимальное число независимых рациональных точек бесконечного порядка на кривой, но сама группа точек и ее структура неразрывно связаны с арифметикой ℤ и ℚ. Вычисление ранга — задача целочисленной арифметической геометрии.
Это одна из "Проблем тысячелетия". Доказательство (или опровержение) гипотезы BSD даже для кривых ранга 0 и 1 остается недостижимым. Она требует синтеза глубоких теорий (модулярные формы, L-функции, теория групп), выходящих далеко за рамки аксиоматики кольца целых чисел. Ее статус подчеркивает, что даже "естественные" вопросы о диофантовых уравнениях (частный случай — точки кривой с целыми/рациональными координатами) в ℤ могут быть невероятно сложными и, возможно, неразрешимыми в рамках "элементарных" систем.
4. Задача о представимости множеств полиномами над ℤ (проблема Диофанта , теорема Матиясевича):
Множество M ⊆ ℤ называется диофантовым, если существует полином P(x, y₁, y₂, ..., yₙ) с целыми коэффициентами такой, что: x ∈ M ⇔ ∃ y₁, y₂, ..., yₙ ∈ ℤ : P(x, y₁, y₂, ..., yₙ) = 0.
Вся задача — о существовании целочисленных решений полиномиальных уравнений для определения подмножеств целых чисел.
Теорема Матиясевича (решившая 10-ю проблему Гильберта негативно) показывает, что существуют алгоритмически неразрешимые множества целых чисел (например, множество номеров машин Тьюринга, останавливающихся на пустом вводе), которые тем не менее являются диофантовыми! Это означает, что для такого множества Mсуществует полином P, как описано выше, но нет алгоритма (и не может быть доказательства в достаточно сильной формальной системе, основанной на ℤ), который по произвольному x ∈ ℤ корректно определил бы, принадлежит ли x множеству M. Это прямой пример гёделевской неполноты, воплощенный внутри арифметики целых чисел через диофантовы множества.
5. Проблема Фробениуса для n > 2 чисел:
Пусть даны nцелых положительных чисел a₁, a₂, ..., aₙ, таких что НОД(a₁, a₂, ..., aₙ) = 1. Найти наибольшее целое число g(a₁, a₂, ..., aₙ), которое не может быть представлено в виде неотрицательной целой линейной комбинации: x₁a₁ + x₂a₂ + ... + xₙaₙ где xᵢ ∈ ℕ ∪ {0}.
Задача целиком о представлении целых неотрицательных чисел целочисленными комбинациями. Искомое число g — целое.
Для n=2 существует простая формула: g(a, b) = a·b - a - b. Однако для n >= 3 не существует общей замкнутой формулы для g(a₁, a₂, ..., aₙ). Более того, вычисление g для произвольного набора из n >= 3 чисел является NP-трудной задачей. Хотя это и не прямая недоказуемость в смысле Гёделя, это демонстрирует фундаментальную вычислительную сложность, присущую даже сравнительно простым комбинаторным задачам в ℤ. Невозможность найти общую эффективную формулу или алгоритм подчеркивает ограниченность наших возможностей предсказать поведение систем в ℤ.
Целые числа (ℤ) являются фундаментом цифровой эпохи: они лежат в основе криптографии (протоколы ZKP, zk-SNARKs), компьютерных систем (дополнительный код, координатные сетки) и точных наук (квантовые вычисления, инженерия).
Но даже ℤ недостаточно. Уравнение
2x = 1
неразрешимо в целых числах. Этот вызов приведёт нас к миру рациональных чисел (ℚ), следующей ступени великой иерархии ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ.
Наш главный приоритет - публикация качественного и достоверного материала. Каждая статья проходит многоэтапную проверку нашей командой. Важно: материалы нашего проекта носят исключительно информативный характер. Они не являются образовательным контентом и не заменяют академические источники.
Не #математика Плоды с этого дерева варят, жарят, засахаривают, перемалывают в муку и пекут из этой муки лепешки. Как правило, все приготовленное лучше съедать сразу - хранится приготовленная еда недолго. Зато сухари, сделанные из этого дара природы, могут пролежать несколько лет и сохраниться в идеальном состоянии. Первым, кто рассказал европейцам об этом дереве и его чудесных плодах, стал английский мореплаватель Уильям Дампир. Много позже отведавшие их другие путешественники уверяли, что вкус плодов больше напоминает картофель. Деревья начали разводить как источник дешёвой пищи для рабов, гнущих спины на плантациях. О каком дереве рассказал Уильям Дампир?
В этой игре шарики нужно собирать согласно арифметическим операциям сложения и умножения.
То есть, выделяем к примеру шары с числами 1, 1, 2 (1 + 1 = 2).
1+1=2
Или 2, 3, 6 (2 * 3 = 6).
Инструкция к игре.
Тогда шары исчезают и игроку начисляются очки.
Если рядом нет нужного шара - можно поменять местами любую пару шаров. Но при этом сверху упадёт ещё один шар.
Фичи
В качестве классических фичей мы добавили:
Бомбы - уничтожают шары квадратом 3 на 3 клетки. Появляются если собрать в квадрат 4 шара с одинаковыми числами.
Ракеты - уничтожают вертикальную или горизонтальную линию из шаров.
Постепенное "протухание шаров" - они со временем теряют цвет.
Из самодеятельности у нас есть разная мелкая скотина:
Мышь - подходит исподтишка и начинает грызть какой-нибудь шар, пока число на нём не превратится в 0 или шар не станет бетонным.
Крыса - ведёт себя как мышь, но вроде чем-то отличается в плане коварства, уже не помню чем :) Вроде она грызёт так, что шары становятся бетонными и их можно уничтожить только бомбой или ракетой.
Кот Платон - гоняет мышей и крыс и иногда даже ловит их (если повезёт). У кота есть своя картонная "комната", доступная через меню. Там можно поднять ему настроение разными способами. Если этого долго не делать периодически, он куксится и перестаёт гонять мышей и крыс.
Комната кота.
Магазин
Вот такую образовательно-полезную игру мы когда-то запилили с одним хорошим человеком.
Уильям Гамильтон в середине XIX века занимался алгебраическим описанием поворотов трехмерного тела в пространстве. Самого обычного геометрического тела, без изысков, такого как шар, например. Для решения этой задачи, помимо всего прочего, он придумал кватернионы. Но что бы он не делал, всегда натыкался на странную особенность. Алгебраические уравнения, описывающие поворот тела возвращаются к исходному виду только после поворота на 720°, а не на 360°, как, казалось бы должно быть. Гамильтон так и не смог понять что это за чертовщина, и решил, что ну ладно, 720°, так 720°, вот такая странная математическая особенность. Ошибок в своих уравнениях он не нашел и оставил всё как есть.
А теперь перенесемся в наше время. Согласно современным представлениям физики, при повороте на 360° волновая функция частицы с полуцелым спином (например, электрона, протона, нейтрона) меняет знак: ψ -> -ψ (изменяется фаза волновой функции).
То, что сначала Гамильтон открыл чисто математически, потом получило объяснение в физике и было подтверждено рядом экспериментов. Поворот тела на 360° не возвращает его в исходное состояние, как кажется. Полный поворот достигается только поворотом на 720°.
Математика, во всем своём невероятном разнообразии, от криптографии и искусственного интеллекта до теоретической физики и финансовых моделей, опирается на универсальный язык. И этот язык числа. Однако сами числане монолитная сущность. Они существуют в стройной иерархиивзаимосвязанных систем, каждая из которых возникла как ответ на фундаментальные вопросы и ограничения предыдущей.
Примечание: ℕ, ℤ, ℚ, ℝ и ℂ— стандартные символы Юникода (exempli gratia, ℕ = U+2115), предназначенные специально для множества натуральных, целых, рациональных, вещественных и комплексных чисел соответственно. Использование данных символов исключает двусмысленность, вроде "...пусть N — натуральное число, тогда N ∈ N", что только запутает читателя.
В этом цикле статей мы совершим путешествие по удивительным мирам чисел: от простых и интуитивных натуральных чисел (ℕ), служащих для счета дискретных объектов, до загадочных комплексных чисел (ℂ), описывающих волновые процессы в квантовой механике и электротехнике.
Понимание этой иерархии, ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ, не просто академическое упражнение. Это ключ к осознанию того, почему математикаработает так эффективно для описания мира. Мы увидим, как дискретность ℕ и ℤ управляет логикой вычислений, как непрерывность ℝ описывает физические законы движения и изменения, и как двумерность ℂ кодирует информацию о фазе и амплитуде в волновых процессах.
Готовы отправиться в путешествие от камешков до квантовых волн? Начнем с самого основания, мира натуральных чисел (ℕ).
История натуральных чисел началась с практических потребностей древних цивилизаций. Зарубки на костях Ишанго, сделанные около 20 000 лет до н.э., свидетельствуют о первых попытках счета скота, урожая или дней. Шумеры (IV тысячелетие до н.э.) использовали числа для учета зерна, скота и налогов, а вавилоняне применяли их в астрономических расчетах движения планет уже во II тысячелетии до н.э.
Вавилоняне использовали пробел для обозначения нуля в записи чисел (напр., 1‿3 для 103), но не признавали его самостоятельной сущностью.
Эти числа, 1, 2, 3 и далее, стали фундаментом математики, и ноль долгое время не входил в их состав. Но отсутствие нуля было лишь частью решения более сложных задач.
Вавилоняне и майя использовали ноль как позиционный символ, но не считали его числом. В Европе ноль признали лишь в XII веке благодаря трудам Аль-Хорезми, хотя Аристотель отвергал его, утверждая, что
...природа не терпит пустоты.
К вопросу о нуле мы ещё вернёмся в следующих статьях.
Натуральные числа не могли решить уравнения типа x+3=1x+3=1 или корректно выразить результат деления 5 на 3, что позже привело к созданию целых и рациональных чисел. Античные философы, такие как Зенон, оспаривали саму возможность бесконечности ℕ, а средневековые теологи спорили, может ли Бог создать "наибольшее натуральное число".
Формализация ℕ завершилась в XIX веке. Пифагорейцы (V в. до н.э.) пытались свести мир к целым числам, но открытие иррациональности √2 разрушило эту идею.
Пифагорейцы обнаружили, что даже задача измерения диагонали квадрата (√2) неразрешима в рамках ℕ и их дробных отношений — это стал первый кризис оснований математики.
В 1889 году Джузеппе Пеано создал строгую аксиоматику: 1. 1 ∈ ℕ; 2. ∀n,m∈N(S(n)=S(m)⇒n=m) (инъективность функции следования, т. е. каждое число имеет последующее); 3. ∀n∈NS(n)≠1 (непредикативность 1, т. е. 1 не следует ни за каким числом); 4. [P(1) ∧ ∀k (P(k)⇒P(S(k)))]⇒∀nP(n) (принцип математической индукции, т. е. равенство последующих элементов влечет равенство самих чисел); Аксиоматика Пеано (в вариантах с 0 или 1) остаётся стандартом.
Теоремы Курта Гёделя навсегда изменили наше понимание математики, показав принципиальные ограничения формальных систем. Применительно к натуральным числам их суть такова: любая достаточно мощная и непротиворечивая система аксиом (включая аксиомы Пеано) неспособна полностью охватить все истинные свойства натуральных чисел.
Это означает, что всегда существуют утверждения, которые истинны с содержательной точки зрения, но формально недоказуемы в рамках самой системы — и их отрицание также недоказуемо.
"Машина Тьюринга с номером n не останавливается на пустом вводе". Это утверждение истинно для некоторых n (если машина действительно не останавливается) и недоказуемо в аксиомах Пеано. Такие утверждения относятся к конкретным свойствам натуральных чисел (номерам алгоритмов).
2. Натуральные числа обладают интуитивно ясными свойствами: бесконечность ряда 1,2,3,…1,2,3,…, корректность рекурсивных определений (сложение, умножение). Но никакая формальная система не может полностью захватить эту интуицию. Всегда останутся истины, невыводимые из аксиом.
3. Гипотезы в теории чисел могут быть принципиально недоказуемыми в рамках Пеано. Среди них проблема Гольдбаха (4=2+2,6=3+3,8=3+5,…4=2+2,6=3+3,8=3+5,…), гипотеза Римана (о распределении простых чисел) или гипотеза Коллатца (последовательность 3n+13n+1).
Как писал сам Гёдель:
Математические истины не являются исключительно продуктом человеческого разума.
Культурные особенности подчеркивают, что ℕ — не универсальная данность. Так, римская запись (I, II, III) затрудняла вычисления в сравнении с вавилонской позиционной системой. Вавилонская 60-ричная система (остатки в делении часа на 60 минут) превзошла римскую благодаря позиционности: число (2×60 + 12 = 132) записывалось двумя клинописными символами. У аборигенов Австралии (племя гуугу йимитир) числа 1–5 совпадают с названиями частей руки: "большой палец"=1, "мизинец"=5, а 6–19 — комбинации ("мизинец другой руки"=6). Древние майя использовали 20-ричную систему: точка (•) = 1, черта (–) = 5, ракушка = 0; число записывалось как 3•20 + 5 = 65. В средневековой Европе римские цифры (I, V, X) делали деление почти невозможным — для расчётов использовали абак или пальцы, а математики писали трактаты словами ("трижды три — девять");
У племени пираха́ (Амазония) отсутствуют числительные >2 ("много") — это подтверждает гипотезу лингвиста Бенджамина Уорфа: язык формирует математическую реальность.
Философски натуральные числа являются фундаментом математики. Леопольд Кронекер утверждал, что
Бог создал натуральные числа, всё остальное — дело рук человека
Исторические заблуждения, вроде средневековой нумерологии (где числам приписывали мистическую силу), напоминают, что в XIX веке наука отделила математику от эзотерики.
1. Парадокс Гильберта, или Отель бесконечности
Представьте отель с бесконечными номерами (ℕ), где все места заняты. Приезжает новый гость. Можно ли его разместить? Да, если попросить каждого гостя переселиться в соседний номер: гость 1 → 2, 2 → 3, и так далее. Освободившийся номер 1 отдают новичку. Так доказывается, что ℕ + 1 = ℕ. Парадокс иллюстрирует свойство бесконечных множеств: их часть может быть равна целому.
2. Гипотеза Римана, или Великая нерешённая задача
Все "нетривиальные нули" дзета-функции Римана (специальной функции, связанной с простыми числами) лежат на одной волшебной линии — "критической прямой" Re = 1/2. Простые числа (2,3,5,7...) распределены в ℕ хаотично. Бернхард Риман связал их с дзета-функцией. Если гипотеза верна, простые числа (2,3,5,7...) распределены не хаотично, а подчиняются скрытому порядку. Задача входит в список "Проблем тысячелетия" с премией $1 млн.
3. Гипотеза Коллатца, или проблема 3n+1
Если n чётное, разделите его на 2: n/2n/2.Если n нечётное, примените 3n+13n+1.Независимо от начального n, последовательность всегда достигнет 1. Открыта с 1937 года. Проверена для всех n<268n<268, но общее доказательство отсутствует. Пример: для n=27n=27 последовательность требует 111 шагов до достижения 1.
4. Проблема Варинга—Гольдбаха
Верно ли, что для любого натурального n>1n>1 и достаточно большого k, каждое достаточно большое натуральное число NN представимо в виде: N=p1n+p2n+⋯+pkn,N=p1n+p2n+⋯+pkn, где pipi — простые числа? Проблема обобщает проблему Гольдбаха (сумма простых) и проблему Варинга (сумма степеней). Для n=1n=1 и k=3k=3 эквивалентна тернарной проблеме Гольдбаха (доказана Виноградовым в 1937 г.). Для n≥2n≥2 остаётся открытой.
5. Обобщённая гипотеза Ферма о полигональных числах
Любое натуральное число ℕ может быть представлено в виде суммы не более mm mm-угольных чисел. Треугольные числа: Tk=k(k+1)2Tk=2k(k+1) (например, 1, 3, 6).
Квадратные числа: Kk=k2Kk=k2 (например, 1, 4, 9). Для любого m≥3m≥3 существует число g(m)g(m), такое что каждое NN выражается суммой g(m)g(m) mm-угольных чисел. Для квадратов (m=4m=4): g(4)=4g(4)=4 (теорема Лагранжа, 1770 г.).
Для треугольников (m=3m=3): Гаусс доказал, что g(3)=3g(3)=3 (1796 г.).
Доказан Гильбертом в 1909 г., но точные значения g(m)g(m) известны лишь для некоторых mm (например, g(5)=5g(5)=5, g(6)=6g(6)=6).
Сегодня ℕ лежат в основе RSA-шифрования (через простые числа) и теории алгоритмов, где они кодируют программы в машине Тьюринга.
Наш главный приоритет - публикация качественного и достоверного материала. Каждая статья проходит многоэтапную проверку нашей командой. Важно: материалы нашего проекта носят исключительно информативный характер. Они не являются образовательным контентом и не заменяют академические источники.
