Актика — действие-центричный дуал Diakrisis
Каноническое расширение Diakrisis в ДЦ-направлении.
Историческая линия ДЦ-мысли
Назначение документа
Канонический дуальный примитив Актика
0. Зачем эта страница
ε-инвариант и каталог актов
1. Определение
Теорема 108.T — AC/OC-дуальность
Формальная версия теоремы — MSFS Theorem~
09.T — Дуал-AFN-T (абсолютно-акт-no-go)
1. Формулировка
Структурные теоремы Актика (110.T–127.T)
Теоремы 107.T–109.T имеют формальный аналог в MSFS §11 (Theorem~
За пределами Метастемологии — формальное погружение Чурилова в Актика
0. Тезис
Формально-логическая ДЦ-линия в Актика
0. Мотивация
Эскиз stdlib Verum для ядра Актика (core.action.*)
0. Мотивация