Да. Здесь у Корнеса есть **одна важная правильная мысль**, но она не отменяет главного различия с AMMO.
Его тезис: *«я не создаю новую математику, я описываю работающий алгоритм»*. Именно по этому критерию AMMO тоже следует описывать — **не как новую аксиоматику и не как новую философию**, а как конкретную арифметическую конструкцию, работу которой можно проверять вычислением и строгими выводами.
Но у него есть слабое место: фраза «алгоритм работает → все возникающие следствия истинны» сама по себе математическим доказательством не является. Работоспособность алгоритма и доказанность глобального свойства — разные вещи.
Я бы ответил ему так:
Корнес, в одном принципиальном пункте я с тобой согласен: работающую систему действительно не следует путать с новой аксиоматикой или новым языком математики.
Но тогда этот же критерий нужно одинаково применять и к AMMO.
AMMO-990 мы не объявляем новой математикой. Мы исследуем конкретно работающую арифметическую конструкцию и фиксируем те свойства, которые из неё действительно следуют. В ней есть заданный арифметический класс, уровни, переходы между уровнями, горизонтальные прогрессии, циклы делимости и система локальных операторов. Это не философские постулаты — каждую такую вещь можно непосредственно вычислить и проверить.
При этом мы сознательно разделяем три уровня:
1. что непосредственно вычисляется;
2. что доказано для конструкции;
3. что пока является открытой гипотезой.
И вот здесь проходит принципиальная граница.
Если алгоритм действительно работает, это доказывает работоспособность алгоритма. Но не автоматически доказывает любое глобальное утверждение, которое мы можем сформулировать на основании его работы. Для этого требуется отдельное доказательство.
Именно поэтому в AMMO мы не выдаём локальную выживаемость после конечного набора killers за доказательство бесконечности простых. Мы фиксируем доказанные локальные свойства отдельно, вычислительные результаты отдельно, а глобальный переход оставляем открытым там, где его пока не удалось закрыть.
Есть и ещё одно отличие.
AMMO не пытается вводить новый фундаментальный язык. Его конструкция целиком работает внутри собственного заранее заданного арифметического класса. В этом и состоит её структурная особенность: горизонтальные и вертикальные связи, переходы и делимость рассматриваются не как разрозненные формулы, а как элементы одной внутренней системы.
Поэтому спор здесь не о том, «кто придумал новую математику».
Правильный вопрос гораздо проще:
какие свойства конкретной конструкции являются следствиями её арифметики, какие уже доказаны, какие только вычислительно наблюдаются и где именно остаётся незакрытый шаг?
Вот это уже нормальный математический разговор.
И если ты утверждаешь, что твой алгоритм даёт определённое следствие, то его можно проверять именно так: показать алгоритм, вывести следствие и отделить проверяемую работу системы от утверждения, которое требует отдельного доказательства.
То же самое правило мы применяем к AMMO.
