t:solid windowtext .5pt; padding:0cm 5.4pt 0cm 5.4pt'>

Л

И

И

Л

Л

И

Все другие связки в КЯЛП имеют те же таблицы и вторую серию таблиц, где "ложно".

Можно различать так же строгую, материальную, дедуктивную, индуктивную экспликации, таблицы для которых будут составлены обратно таблицам соответствующих связок языка логики предикатов. Собственно говоря, можно различать виды конъюнкции и других связок с тем, что таблицы их будут противоположны таблицам видов импликации и т. д. ,спускаясь до бесконечности для каждой атомарной связки, что соответствует системам логик n -- измерений таким образом, что геделевский номер всегда есть формула.

Экспликация делает язык логики предикатов конструктивным, будучи рядовой логической связкой, т. к. истинностью языка логики предикатов с ее участием будет его выполнение на алгебраических системах. Сводной таблицей истинности КЯЛП (конструктивного языка логики предикатов) будет тогда числовой концепт теории вероятностей, а именно как будет интерпретировать не число успешных исходов испытаний, лишь приблизительно предлагаемое теорией вероятностей, а функция математического ожидания ("случайная реальность" Вольфа), сама возможность (модальность) функции математического ожидания отождествляется здесь нами со сводной таблицей КЯЛП.

Закон модальности

De dicto DEs

MEs = ----

de re Hes

(выведение из теоремы Ферма и закона больших чисел)

 

Математическое ожидание тем выше, чем выше дисперсия случайной величины (десигнируемая постоянной λ - мера неупорядоченности) и обратно зависит от энтропии случайной величины (десигнируемая постоянной α - мера беспорядка).

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

Произведем интерпретацию понятия модальности, конфигурация которого (сообразно номинальным и реальным определениями схоластов) есть интерпретация принципа десигнации, употребляемого конструктивной теорией вероятностей. Как известно, понятием "числового ряда" понятие суммы обобщается на некоторые случаи бесконечного множества слагаемых и изучается свойства таких обобщенных сумм. Аналитическое выражение, имеющее формально вид суммы, содержащей бесконечно много слагаемых, называется бесконечным рядом, или, просто, рядом. В нашем случае суммируется символы, цепочка которых имеет своим кодом геделевский номер. Назовем такой ряд конструктивным или осмысленным, это некоторый музей, пантеон символов. Поскольку символ, будучи записан как член числового ряда, есть знак, имеющий некоторую конфигурацию, а именно является референциальной точкой в системе отсчета, осью абсцисс которой является ось ординалов, а осью ординат -- ось кардиналов, то заданиями числового ряда, как выполнением операций трансфинитивной логики, определяются конструктивные планы конфигурации (совершенной группы простых чисел) и конструктивные операции над конфигурациями, являющиеся функциями комплексного переменного, причем эти определения являются следствиями подстановки операторов, как элементов конструктивного класса, принадлежность которого этому классу устанавливается посредством принципиально осуществимой совокупности действий, как знаков значения, или значений показателей операции вычислимости числового ряда, где его вычислимость является аналитическим продолжением в область комплексных чисел, мощность измеряется в ординалах, порядок (счетность) в кардиналах, обратно канторовской теории множеств, где предполагаемое множество есть оператор ряда символов, реферируемый в ординалах (счетно-вычислимый), измеряемый в кардиналах (счетно-вычислимый), определим таким образом в рамках трансфинитзма канторовскую теорию множеств как теорию оперирования, где показателем операции является трансфинитивное число.

Пусть задана последовательность комплексных чисел Un, n = 1, 2, ... . Составим новую последовательность чисел Sn, n = 1, 2, ..., следующим образом:

Ψ0 = U'1, Ψ1 = U'2, U'1 = U1

Ψ2 = Ψ0 + Ψ1 U'2 = U1 + U2

Ψ3 = Ψ1 + Ψ2 U'3 = U1 + U2 + U3

Ψ4 = Ψ2 + Ψ3 U'n = U1 + U2 + U3 + ... Un

Ψ5 = Ψ3 + Ψ4,

где Ψ - так называемые числа Фибоначчи, бесконечная последовательность которых определяется рекуррентной формулой Ψn+1 = Ψn-1 + Ψn.

Результат Матиясевича в том, что любое перечислимое свойство конечной последовательности числе является диофантовым, еще раз доказывает нам понятийную структуру геделевского номера, смысла, требующего образования понятия перечислимости, выразимую в формуле

p! + 1 его априорно диофантовую характерность. Формулой конструктивного числового ряда является уравнение волновой функции Шредингера, представляющей асимптотический характер выполнения теоремы Ферма целыми числами в конструктивном числовом ряду Свойство Матиясевича (свойство пары числе (а, b), где есть число Фибоначчи с номером 2а, b = Ψ2а) назовем прагматическим квалитатизмом, или креативностью, тождества пустого множества и сингулярного термина, смысла понятия тождества, математического понятия "оператор", десигнирует оператора в языке всеобщей арифметики, финитизмом оператора, трансфинитизмом этого финитизма которого является оператор конструктивного числового ряда. Конструктивный числовой ряд есть кольцо над полем комплексных чисел, телом кольца является арифметическая операция трансфинитивных чисел, показателем которой является физическое понятие твердого тела. Пусть конструктивная операция Ψ2 (Ψ0, Ψ1, Ψ2 ...) ставит произвольно заданной совокупности конфигурацией Ψ0, Ψ1, Ψ2 ... в соответствие некоторую конфигурацию Ψ. При этом определением операции Ψ2 (Ψ0, Ψ1, Ψ2 ..., Ψn) является креативность, то есть это определение дает принципиально осуществимый способ построения конфигурации Ψ, когда конфигурации Ψ0, Ψ1, Ψ2 ..., Ψn заданы. Для класса последовательностей символов определим операцию S (Ψn-1, Ψn), состоящую в приписывании, употреблении, к символу Ψn-1, символа Ψn , или употребление.

Оператором конфигурации S (Ψn-1, Ψn) являются все операторы конфигураций Ψn-1 и Ψn, назовем это задачей сходимости ряда, сходимость ряда конструируется, любой числовой ряд таким образом сводится таким образом, что для него выполняется необходимое условие сходимости ряда, так как для любой пары элементов конфигурации S (Ψn-1, Ψn) -- определено отношение порядка, число ординала. Задача сводимости числового ряда решается в ординалах. Так, например, ряд, члены которого образуют геометрическую прогрессию 1+ q + q2 + q3 +... qn..., при |q| ≥ 1 расходится, ибо его общий член Un = qn не стремится к нулю Решением задачи по сводимости данного числового ряда является следующая группа n -- группа ординалов, подстановок, решающих диофантовые уравнения 3 степени (проблема Гильберта). Ординалы имеют биекцию на множество натуральных со стороны их мощности кардиналы -- счетности, трансфинитивные числа -- вычислимости. Каждый оператор, принадлежащий конфигурации Ψn-1 , отличается от оператора, входящего в конфигурацию Ψn, на ординал. Для пар (х, у), входящих в Ψn-1 (Ψn) установлено свойство креативности Матиясевича. Легко видеть, что если Ψn-1 и Ψ, представлены соответственно последовательности значений x1 x2 x3 ... xn

и

у1 у2 у3 ... уn, то конфигурация (Ψn-1; Ψn) является функцией у = f (х).

Операция R (Ψn-1; f; Ψn) (референт операции подстановки), смысл которой состоит в том, что в конфигурации Ψn-1 f всюду, где она входит, заменяется Ψn, поскольку f есть число кардинала.

Итак, конструктивная операция есть конфигурации. Заменяемая по некоторым правилам трансфинитивным числом, она, следовательно, имеет оператор, заменяемый ординалом, и показатель ("степень уверенности" Больцано), заменяемый кардинальным числом.

Определим операцию

T (Ψn-1; f; Ψn, n), где

n -- есть геделевский номер

T (Ψn-1; f; Ψn, 2) совпадает с R (Ψn-1; f; Ψn)

T (Ψn-1; f; Ψn, n) есть результат замены в T (Ψn-1; f; Ψn, 2)

f везде, где она входит, символом Ψn-1

R [T (Ψn-1; f; Ψn, 2) f', Ψn]

Для определения (Ψn-1; f; Ψn, n) для любого n (< отношения порядка) можно написать

T (Ψn-1; f; Ψn, n) = R [