Аксиоматическое ядро отм

В.К. Петросян (Вадимир). ОБЩАЯ ТЕОРИЯ МЕТАЛОГАРИФМОВ. Ы 2-х тт.

*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и вычислительном участии) ChatGPT (OpenAI), GPT-5.6 Sol
*********


АКСИОМАТИЧЕСКОЕ ЯДРО ОТМ
1. Статус настоящей аксиоматики
Настоящее приложение представляет первую рабочую аксиоматическую схему Общей теории металогарифмов.

Она не претендует на окончательность.

Её задача:

выделить минимальное ядро;

отделить определения от гипотез;

создать основу для доказательств;

подготовить ОТМ к машинной формализации.

Аксиоматика строится для конечных положительных целочисленных моделей.

Расширения на:

рациональные;

вещественные;

комплексные;

трансфинитные

области требуют отдельного исследования.

2. Область базовой модели
Пусть:

D = {1,2,3,...}

множество положительных целых чисел.

Базовая степенная субоперация:

P:D x D -> D

задаётся:

P(A,B)=A^B

Для минимальной версии ОТМ все параметры предполагаются конечными и корректно определёнными.

3. Состояние
Состоянием базовой металогарифмической системы назовём набор:

S_i=(A_i,SL_i,X_i)

а в расширенной форме:

S_i=(A_i,SL_i,R_i,I_i,K_i,M_i,L_i,X_i)

Не все координаты обязаны использоваться во всех классах ОТМ.

4. Аксиома определённости состояния
Перед выполнением каждой субоперации все параметры, необходимые для её вычисления, должны быть определены.

Если:

X_i=A_i^SL_i

то до вычисления X_i должны существовать определённые:

A_i

и:

SL_i

5. Аксиома степенной субоперации
Базовой числовой операцией ядра ОТМ является степенная субоперация:

X_i=A_i^SL_i

Расширенные операции могут воздействовать на параметры этой субоперации, но не изменяют её семантику без явного определения нового класса.

6. Аксиома упорядоченного перехода
В последовательном каскаде состояние:

S_(i+1)

может использовать только:

заранее заданные параметры;

или:

результаты, уже определённые к моменту его построения.

Таким образом запрещается неразрешённая скрытая циклическая зависимость.

7. Аксиома закона перехода
Каждый переход:

S_i -> S_(i+1)

определяется явным законом:

TL_i

или фиксированным правилом класса каскада.

Например:

A_(i+1)=X_i

SL_(i+1)=X_i

8. Аксиома каскадной композиции
Если выход одного цикла типологически допустим как вход следующего, циклы могут быть соединены:

C_i ][ C_(i+1)

Оператор:

][

является структурным оператором передачи, а не арифметической операцией.

9. Аксиома ранга
Для выбранной ранговой операции ранг:

R

определяет число внутренних последовательных переходов одной полной операции.

Если:

R=N

то полная операция содержит:

N

внутренних ранговых переходов.

Ранг не является числом внешних итераций.

10. Аксиома внешней итерации
Пусть:

F_R

полная операция ранга R.

Тогда внешняя итерационность:

I=N

означает N последовательных применений всей операции:

F_R

согласно заданному закону наследования состояния.

Таким образом:

R

и:

I

являются независимыми координатами.

11. Каноническая ранговая операция
Для базовой симметричной самостепенной модели определим:

a_0=A

a_(k+1)=a_k^a_k

для:

k=0,...,R-1

Тогда:

RankOp(A,R)=a_R

Это каноническая ранговая модель ОТМ.

Она не утверждается как единственно возможная форма любого металогарифма.

12. Следствие о числе внутренних переходов
Из определения RankOp непосредственно следует:

операция:

RankOp(A,R)

содержит ровно R последовательных самостепенных переходов.

Для:

R=0

результат:

A

без внутреннего преобразования.

Для:

R=1

A^A

Для:

R=2

(A^A)^(A^A)

при полном синтаксическом раскрытии.

13. Теорема о полном синтаксическом дереве канонического ранга
Для канонической модели:

a_(k+1)=a_k^a_k

при полном синтаксическом раскрытии без повторного использования уже вычисленного поддерева после R переходов имеется:

2^R

копий первоначального объекта A

и:

2^R-1

узлов операции возведения в степень.

Доказательство
Для:

R=0

имеется одна копия A:

2^0=1

и ноль степенных узлов:

2^0-1=0

Предположим, что после R ступеней имеется:

2^R

копий A

и:

2^R-1

степенных узлов.

Следующий объект:

a_(R+1)=a_R^a_R

содержит две полные копии предыдущего дерева и один новый степенной узел.

Число копий A:

2*2^R=2^(R+1)

Число степенных узлов:

2*(2^R-1)+1

=2^(R+1)-1

Утверждение доказано по индукции.

Важно:

это размер полностью инлайненного синтаксического дерева.

Это не число последовательных вычислительных шагов, если предыдущий результат сохраняется и повторно используется.

14. Аксиома наследования
Если результат полной операции становится начальным значением следующей внешней итерации, это должно быть указано явным законом наследования.

В канонической модели:

X_(j+1)=F_R(X_j)

15. Аксиома детерминированности базового ядра
Для фиксированных:

начального состояния;

ранга;

числа итераций;

законов перехода

базовая ОТМ-конструкция должна определять не более одного следующего состояния на каждом шаге.

Недетерминированные и многозначные системы относятся к отдельному расширению.

16. Аксиома конечности базовой конструкции
В минимальном ядре:

R

и:

I

конечны.

Следовательно, каждая конкретная операция содержит конечное число последовательно определённых стадий.

Это не означает практической доступности результата.

17. Аксиома различения вычислимости и эксплицируемости
Если конечная конструкция однозначно задаёт алгоритм вычисления результата, практическая невозможность полного вычисления или записи не превращает её автоматически в невычислимую функцию.

Следует различать:

формальную вычислимость;

ресурсную вычислимость;

цифровую эксплицируемость.

18. Аксиома явной рекурсии
Рекуррентная конструкция должна ссылаться только на уже определённое предыдущее состояние.

Например:

X_(n+1)=F(X_n)

является корректной последовательной рекурсией.

19. Аксиома явной самореференции
Если конструкция имеет вид:

X=F(X)

то она не считается автоматически вычислимой последовательной операцией.

Для её корректности требуется отдельно определить механизм решения задачи самосогласованности.

Например:

фиксированную точку;

итерационный предел;

систему ограничений;

доказательство существования и единственности.

20. Принцип корректной рефлексивности
Рефлексивная конструкция считается операционально определённой, если существует:

либо явный порядок вычисления;

либо отдельный формальный механизм получения самосогласованного состояния.

Это одно из основных ограничений ОТМ.

21. Аксиома типовой совместимости
Каждый параметр имеет семантический тип.

Например:

NUMBER

RANK

ITERATION

LAW

CASCADE

OPERATOR

PROFILE

ENVIRONMENT

Передача результата между объектами разных типов требует явно определённого преобразования.

Это положение особенно важно для будущей машинной реализации OTM-TN.

22. Аксиома структурной различимости
Числовое равенство результатов не влечёт автоматически структурной эквивалентности генераторов.

Если:

value(G1)=value(G2)

то из этого не следует:

G1 ==struct G2

Тем самым ОТМ различает:

число

и:

способ его порождения.

23. Аксиома семантической декодируемости записи
Каждая нормативная запись OTM-TN должна допускать однозначный структурный разбор на заданной версии языка.

Короткая запись допустима только при наличии определённого правила её расширения.

Именно поэтому:

SML N

может быть высокосемантической единицей,

но произвольное:

Z

без определения не является новым математическим уровнем.

24. Принцип ядра и оболочки
Основное ядро ОТМ должно оставаться ограниченным классом рангово-итерационных степенных систем.

Модификаторы;

кодоны;

генотипы;

метакодоны;

произвольные алгебраические операции

относятся к расширенной оболочке.

Этот принцип предохраняет ОТМ от превращения в синоним произвольного программирования.

25. Первая нормальная форма базовой конструкции
Рабочая полная форма:

ML(A=...,SL=...,R=...,I=...)[CASCADE]{LAWS}

Например:

ML(A=2,SL=2,R=3,I=2)[PC1 ][ PC2]{TL:A_next=X}

Короткие формы допустимы только как сокращения известных нормальных форм.

26. Уровни дальнейшей аксиоматизации
После минимального ядра необходимо отдельно строить:

аксиоматику динамических рангов;

аксиоматику асимметрии;

аксиоматику модификаторов;

аксиоматику рефлексивных систем;

аксиоматику SML;

аксиоматику экспликационных уровней;

теорию эквивалентности;

теорию инвариантов.

Таким образом настоящее ядро является началом, а не завершением формализации ОТМ.