Статья на Habr предлагает нетривиальный эксперимент: взять понятия из религиозной метафизики — свободу воли, грех, любовь, Бога — и записать их в виде строгих математических определений, пригодных для численной проверки. Основой служит авторская философская система «Вера Паломника — Исход», которую автор последовательно формализует, начиная с предыдущей статьи о вариационном исчислении как метафоре свободы.
Центральный объект модели — пространство Ω, множество всех допустимых жизненных траекторий γ(t). Траектория здесь — непрерывная кривая в пространстве состояний человека (физических, психических, социальных, духовных), соединяющая точку рождения A и точку смерти или цели B, не пересекающая запрещённые области O. Математически это стандартная конструкция из вариационного исчисления, которую физики используют для описания траекторий частиц, а экономисты — для моделирования последовательностей выборов. Автор переносит этот аппарат в метафизику, постулируя, что в отличие от детерминистической физики, где траектория единственна, в жизни существует континуальное множество возможных путей.
Свобода воли в модели измеряется энтропией S распределения p(γ) по пространству траекторий. Это прямая аналогия с информационной энтропией Шеннона: если человек жёстко детерминирован — все вероятности сосредоточены на одной траектории, S=0; если выбор полностью свободен — распределение равномерно, S=Smax. Такой подход позволяет говорить о степени свободы количественно, а не только качественно. Для ML-инженеров это язык, уже знакомый по задачам стохастической оптимизации и diversity в поиске решений.
Энтропия выбора S введена как мера свободы воли: детерминизм соответствует S=0, полная свобода — S=Smax.
Особый интерес представляет формализация греха. Автор определяет ΔSгрех как уменьшение энтропии выбора другого человека или агента в результате чьих-то действий. Иными словами, грех — это принуждение: сужение пространства возможных траекторий для другого. Определение намеренно операциональное: его можно проверить численно. В вычислительном эксперименте на MATLAB это моделируется как ситуация, когда агент вынужден следовать единственным путём в поле с препятствиями, и измеряется падение энтропии распределения путей.
Функция полезности Любви U(γ) строится через лагранжиан L — функцию, интегрируемую вдоль траектории. Автор противопоставляет гладкость этой функции «барьерным» функциям, которые он приписывает традиционным религиям: вместо жёстких запретов — непрерывная оценка качества пути. Архитектор в модели — не программист, задающий конкретный маршрут, а создатель самого пространства Ω: начальных условий, правил и ограничений. Это ближе к деистической концепции, чем к теизму с прямым вмешательством.
Математический аппарат статьи не выходит за пределы продвинутого бакалавриата: вариационное исчисление, теория вероятностей, основы оптимизации. Код на MATLAB, приведённый в тексте, строит дискретную сетку 30×30, размещает препятствия (три круга и прямоугольник) и визуализирует случайные пути из Ω. Автор явно оговаривает: цель не доказать существование Бога или свободы воли, а показать, что из принятых аксиом следуют проверяемые математические соотношения, которые не противоречат исходным аксиомам.
Подобные попытки формализовать метафизику через физико-математический аппарат не новы: от спинозовской «Этики», написанной в стиле геометрических теорем, до современных работ по квантовой теории сознания. Отличие данного подхода — в явной связи с конкретной религиозной системой и в том, что модель предлагается как рабочий инструмент для трёх аудиторий одновременно: философов, физиков и ML-инженеров. Насколько такое объединение окажется продуктивным — покажет реакция каждого из этих сообществ.
