Метатеория связей

Авторы и предъявление

Минутная экспозиция

«Метатеория связей» (МТС) исходит из постулата «всё есть связь»: связь берётся как единственная форма существования, а аксиома универсальности гласит «всякий конструкт есть связь, не существует ничего, кроме связей». [E]

Центральный ход задаёт связь как отношение ссылки на значение, r → v, где и ссылка, и значение — сами связи, играющие соответствующие роли; сети таких связей строятся вокруг акорня — полностью самозамкнутой связи формы ∞, несущей «смысл смысла». [E]

Аппарат теории опирается на ачисла (последовательность абит, однозначно идентифицирующая связь в сети) и абит как минимальную единицу (1 — смысл связи, 0 — смысл несвязи ↛), на три нотации — круглую, квадратную и пучковую — и на систему аксиом A1–A7. [E]

МТС заявлена как метатеория, описывающая любые математические объекты и любые теории: натуральные числа в ней вводятся как метрика ачисла, то есть дистанция до ∞. [E]

Опорой служат открытые репозитории: anum_docs с ридером и валидатором нотации [E] и aprover — ассоциативный прувер нотации с живым демо. [E]

Прувер, однако, отстаёт от текущего состояния теории, доказанного полного прувера актуальной МТС пока нет, аксиоматику сам автор держит в черновом статусе, а связь с устройством сильного ИИ опирается на авторское намерение, а не на реализованную архитектуру. [E]

Ключевые конструкты

Основания и обязательства

• Онтологическое обязательство — монизм связи: связь принята как единственная форма существования, а аксиома универсальности отрицает разделение мира на «объекты» и «связи», поскольку «всякий конструкт есть связь, не существует ничего, кроме связей». Объекты и математические объекты вторичны и эмерджентны относительно сети связей; даже несвязь не существует в природе и выражается только через связь (C014, C004, C003; [E] ).
• Эпистемическое и методологическое обязательство — формальный путь, а не философское заявление: теория строится на системе аксиом A1–A7 и на трёх нотациях (круглой для смыслов, квадратной для формы связи и абитов, пучковой для пучка связей), а натуральные числа реконструируются внутри самой теории как метрика ачисла, дистанция до акорня ∞ (C013, C008; [E] ). Законным ходом признаётся вывод из аксиоматики и работа с нотацией, а не отсылка к внешнему авторитету.
• Метатеоретическое притязание: МТС заявлена как метатеория, описывающая любые математические объекты и любые теории (C006; [E] ). Границу этого притязания корпус пока не доказывает — формализована ли универсальность как теорема или конструкция, а не как программное заявление, остаётся открытым вопросом; это авторская программа, требующая отдельного доказательства.
• Обязательство по реализуемости — ставка на проверяемость через код: открытые репозитории несут ридер и валидатор нотации МТС с конвертерами ачисел и тестами (C015; [E] ) и ассоциативный прувер нотации aprover с живым демо (C027; [E] ). При этом доказанный полный прувер актуальной МТС не зафиксирован: прувер aprover, по словам автора, отстаёт от текущего состояния теории (C016, C028; [E] ).
• Дефицит здесь — дефицит источника, а не утверждение об авторе: статус аксиоматики A1–A7 автор сам помечает как сырой и черновой. Состав соавторства МТС зафиксирован разделом «Авторы и соавторы» README репозитория: ведущий автор — Вертушкин Роман Павлович, соавторы — Дьяченко, Шакиров, Бурдуков и Глазунов; индивидуальная роль каждого соавтора в теории остаётся для авторской сверки (C017, C026; [E] ). Один из соавторов, Бурдуков Александр Николаевич, выступал в том же сообществе AGI Russia с собственным докладом о сознании как метаалгоритме, где сознание определено как алгоритм генерации, распознавания и использования моделей и связано с устройством сильного ИИ; этот доклад не пользуется языком МТС и сам по себе не фиксирует роль соавтора в самой теории (C029; [E] ).

Рефлексивность — конститутивная. МТС применяет свой аппарат к самой себе: формулы и аксиомы теории объявлены связями, то есть собственный инструмент теории входит в её предмет, а не остаётся внешним комментарием к готовой конструкции (C004, C003; [E] ). Для более точной разметки не хватает отдельного авторского разбора консеквенций и напряжений этого самоприменения: аксиоматика держится в черновом статусе, и развёрнутого рассмотрения альтернатив монизму связи в корпусе пока не зафиксировано (C017; [E] ).

Операционная состоятельность

Уровень O2 . Основание: МТС задаёт формальную аксиоматику A1–A7, собственную нотацию (круглую, квадратную, пучковую) и понятийную рамку, в которой связь, акорень, ачисла, абит и несвязь работают как словарь переописания математических объектов и теорий [E] ; вдобавок открытые репозитории несут прототип ридера и валидатора нотации МТС с конвертерами ачисел [E] и ассоциативный прувер нотации aprover с живым демо [E] , то есть аппарат теории уже можно читать, проверять, доказывать и сериализовать машинно. Этот аппарат меняет язык наблюдателя и позволяет переописывать поле, но прямого маршрута действия для отдельного класса агентов он пока не предписывает: перенос в работу требует доделки.

Граница до следующего уровня: независимая проверка полноты универсального притязания в корпусе не зафиксирована; прувер aprover уже работает, но, по словам автора, отстаёт от текущей теории, поэтому доказанного полного прувера актуальной МТС нет, а часть материала автор держит в черновом статусе. [E] Уровень — маркер применимости аппарата, а не оценка ценности теории.

Зрелость

Ранняя формулировка. Основание: за пределы объявленной программы теория вышла дальше чистого манифеста — обнаружены первичный корпус с текстами оснований, аксиоматики и нотации и прототип чтения и валидации нотации в коде. [E] При этом центральный тезис и конструкты сформулированы, но корпус остаётся тонким, а сам автор помечает аксиоматику и формулировки МТС как сырые и находящиеся в разработке. [E]

Граница повышения: до разработанной программы не хватает доказанной универсальной претензии (формализованной как теорема или конструкция, а не как заявление) и прувера, отвечающего актуальной теории, — прувер aprover уже опубликован, но отстаёт от текущего состояния МТС; недостаёт также авторской сверки профиля. [E]

Прототипы и инженерные реализации

Обнаружен открытый репозиторий anum_docs с инженерной поверхностью в каталоге core: ридер нотации МТС (mtc_reader) и валидатор (validate_root), а также конвертеры ачисел (anum_to_text, text_to_anum) и сопровождающие тесты. [E] Воплощённый фрагмент теории — формальная нотация МТС и сериализация ачисел: код читает, проверяет и преобразует нотацию. Статус — рабочий прототип чтения, валидации и сериализации нотации.

Прувер нотации МТС реализован отдельным репозиторием aprover — веб-приложение на Vue/TypeScript под лицензией Unlicense с живым демо, которое парсит, визуализирует и проверяет выражения формальной нотации и три формата ачисел (.mtl, .astr, .anum). [E] По словам автора, прувер отстаёт от текущего состояния теории: отражены не все актуальные конструкты и аксиомы, поэтому доказанного полного прувера актуальной МТС пока нет. [E] Сопутствующие проекты автора (jsonRVM, avm, nnets) дают контекст происхождения МТС, но их связь именно с теорией МТС не установлена, поэтому как реализации МТС они не записаны.

Связанные профили

Корпус и свидетельства

Состояние профиля

Подтверждены самоназвание «Метатеория связей», ведущее авторство Вертушкина Романа Павловича и состав соавторства по разделу «Авторы и соавторы» README (Дьяченко, Шакиров, Бурдуков, Глазунов), постулат «всё есть связь», система аксиом A1–A7, а также конструкты: связь, акорень, ачисла, абит, несвязь и три нотации (круглая, квадратная, пучковая). Первичный репозиторий теории с текстами оснований и нотации, прототип ридера и валидатора нотации опираются на. [E]

Прувер нотации реализован отдельным репозиторием aprover с живым демо, но, по словам автора, отстаёт от текущей теории, поэтому доказанного полного прувера актуальной МТС пока нет. [E] Связь с устройством сильного ИИ держится на авторском намерении, а не на реализованной архитектуре. [E] Аксиоматику сам автор помечает как сырую и черновую. [E]

Состав соавторства зафиксирован README; индивидуальная роль каждого соавтора и каноничность альтернативных названий («Протокол ачисел») требуют уточнения. Авторская сверка профиля не зафиксирована.