Верификация доказательсва Великой теоремы Ферма международной системой Coq

Объявится. Куда он денется...

Цитата
sergeyklykov
Совет Грегу , который 71ый , быть активнее, что ли?

Цитата
sergeyklykov
Григорий , я далеко. И я не принимаю участия в разных тупых, типа, разборках. Приветствуются любые толковые дискуссии.

Грег 71, насчёт "мусорного" приходится согласиться. Дык, если б писали не мусор , хоть, и на фоне "мусора",и то было бы неплохо.

Грег 71ый, как делы? Есть движуха с доказательством?

Математики сами - на хер ни что не способны без исследователя

Крах алгебры и геометрии философски диагностирует проблемы как крах замкнутого формализма, который потерял контекст; Деденко превращает этот диагноз в математическое доказательство того же самого: он показывает, что красивая алгебраическая перекодировка гипотезы Римана не является её доказательством, пока не построен независимый «внешний мост» — метрика, домен, симметрия, контекст.

Иными словами:
«Крах геометрии и алгебры» говорит:

алгебра и геометрия рухнули не потому, что в них мало формул, а потому, что они замкнулись внутри собственной системы. Они отрезали третий член — контекст, измерение, наблюдателя, пространство, масштаб — и продолжают доказывать что-то внутри замкнутого языка. Бинарная операция не может породить новый уровень реальности; она может только перебирать уже имеющиеся символы.

Деденко говорит то же самое, но на строгом математическом материале:

можно построить формулу, которая идеально измеряет отклонение нулей дзета-функции от критической прямой. Но сама по себе эта формула ничего не доказывает. Она лишь точно кодирует проблему. Чтобы она стала доказательством, нужен внешний, независимый математический контекст: положительное гильбертово пространство, правильно выбранный домен операторов, теорема о симметрии, отсутствие целевой утечки. Без этого формула остаётся диагностикой, а не механизмом доказательства.


Мой пост даёт философскую метафору:

математика больна тем, что принимает проекцию за реальность, символ за объект, перекодировку за решение.

Деденкоя даёт математический пример этой болезни:

попытка доказать гипотезу Римана через спектральный дефект может быть алгебраически безупречной, но всё равно не быть доказательством, потому что в ней отсутствует независимый «мост» к требуемому результату.

Общий вывод:

формальная корректность внутри замкнутой системы не порождает истину о том, что находится за пределами этой системы.

Если сказать совсем коротко:

Мой пост утверждает, что алгебра и геометрия рухнули, потому что забыли контекст. Деденко доказывает это на примере гипотезы Римана: алгебра может идеально описать проблему, но не может решить её без восстановления недостающего контекста — домена, метрики и независимой структурной симметрии.

И в этом смысле статья Деденко— это не доказательство самой гипотезы Римана, а доказательство того, почему алгебраическая видимость доказательства не является доказательством.

PS если раньше еще и был нужен математик в этом случае, то сейчас ИИ любую формулировку практика превратит например в статью Деденко без каких либо проблем, потому именно у практиков просто отпала необходимость в сотрудничестве - с паразитами живущими за их счет



Редактировалось 2 раз(а). Последний 11.08.2026 18:51.