Альтернативный подход к модификации одного математического метода, обеспечивающий повышение его эффективности при одновременном повышении степени его конструктивности

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

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

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

В работе [4] была предложена модификация метода из работы [3], при которой при значительном повышении

№ 3 (52), Том 10, 2014 Академический журнал Западной Сибири

эффективности не происходило снижение степени конструктивности, поскольку в работе [3] порядком исчисления предикатов было натуральное число, а в работе [4] порядком исчисления предикатов был кватернион [1], коэффициентами которого также являлись натуральные числа.

Альтернативный подход к модификации метода из работы [2] состоит в замене формулы (2) из работы [2] формулой следующего вида:

(Ǝ VIRTUAL PREDICATE CALCULUS OF ORDER (IRRATIONAL NUMBER)) →

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

В виду того, что в приведённой выше формуле вместо реального исчисления предикатов используется виртуальное исчисление предикатов, теряют смысл все ограничения по степени конструктивности предлагаемого метода.