Построение непротиворечивой математики как процедуры логического вывода. Возврат к непосредственному определению универсума. Более сложная конструктивизация метода

ОАО «ГСКБ «Алмаз-Антей», г. Железнодорожный, Россия

В работе [1] был предложен один неконструктивный метод. В работе [2] была произведена конструкти-визация этого метода. В настоящей статье также производится конструктивизация метода из работы [1] более сложным способом, чем в работе [2].

По степени надёжности метод из работы [2] и предлагаемый в настоящей статье метод сопоставимы между собой и превосходят предложенный в работе [1] неконструктивный метод.

По степени эффективности неконструктивный метод из работы [1] превосходит предлагаемый в настоящей статье метод, а последний превосходит метод, предложенный в работе [2].

Конструктивизация предложенного в работе [1] метода производится в соответствии с рисунком 1.

На рисунке 1 маленькие точки обозначают позиции, на которых расположены инскрипции пустой строки символов, а большая точка обозначает позицию, на которой расположена инскрипция любой непустой строки символов.

Рисунок 1