t:solid windowtext .5pt; padding:0cm 5.4pt 0cm 5.4pt'> <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Л<o:p></o:p></span></p> </td> <td width=48 style='width:36.0pt;border-top:none;border-left:none;border-bottom: solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt: solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt: solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'> <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>И<o:p></o:p></span></p> </td> <td width=84 style='width:63.0pt;border-top:none;border-left:none;border-bottom: solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt: solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt: solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'> <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>И<o:p></o:p></span></p> </td> </tr> <tr style='mso-yfti-irow:4;mso-yfti-lastrow:yes'> <td width=67 style='width:50.4pt;border:solid windowtext 1.0pt;border-top: none;mso-border-top-alt:solid windowtext .5pt;mso-border-alt:solid windowtext .5pt; padding:0cm 5.4pt 0cm 5.4pt'> <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Л<o:p></o:p></span></p> </td> <td width=48 style='width:36.0pt;border-top:none;border-left:none;border-bottom: solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt: solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt: solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'> <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Л<o:p></o:p></span></p> </td> <td width=84 style='width:63.0pt;border-top:none;border-left:none;border-bottom: solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;mso-border-top-alt: solid windowtext .5pt;mso-border-left-alt:solid windowtext .5pt;mso-border-alt: solid windowtext .5pt;padding:0cm 5.4pt 0cm 5.4pt'> <p class=MsoNormal align=center style='text-align:center;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>И<o:p></o:p></span></p> </td> </tr> </table> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Все другие связки в КЯЛП имеют те же таблицы и вторую серию таблиц, где "ложно".<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Можно различать так же строгую, материальную, дедуктивную, индуктивную экспликации, таблицы для которых будут составлены обратно таблицам соответствующих связок языка логики предикатов. Собственно говоря, можно различать виды конъюнкции и других связок с тем, что таблицы их будут противоположны таблицам видов импликации и т. д. ,спускаясь до бесконечности для каждой атомарной связки, что соответствует системам логик </span><span lang=EN-US style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> -- измерений таким образом, что геделевский номер всегда есть формула. <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Экспликация делает язык логики предикатов конструктивным, будучи рядовой логической связкой, т. к. истинностью языка логики предикатов с ее участием будет его выполнение на алгебраических системах. Сводной таблицей истинности КЯЛП (конструктивного языка логики предикатов) будет тогда числовой концепт теории вероятностей, а именно как будет интерпретировать не число успешных исходов испытаний, лишь <u>приблизительно</u> предлагаемое теорией вероятностей, а функция математического ожидания ("случайная реальность" Вольфа), сама возможность (модальность) функции математического ожидания отождествляется здесь нами со сводной таблицей КЯЛП.<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Закон</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'> </span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%'>модальности</span><span lang=EN-US style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'><o:p></o:p></span></p> <p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'>De dicto<span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span>DEs<o:p></o:p></span></p> <p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'><span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span>MEs = ----</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height: 150%'><o:p></o:p></span></p> <p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'><span style='mso-spacerun:yes'> </span>de re<span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span>Hes<span style='mso-spacerun:yes'> </span><o:p></o:p></span></p> <p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>(выведение из теоремы Ферма и закона больших чисел)<o:p></o:p></span></p> <p class=MsoNormal style='text-indent:35.45pt;line-height:150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'><o:p> </o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Математическое ожидание тем выше, чем выше дисперсия случайной величины (десигнируемая постоянной λ - мера неупорядоченности) и обратно зависит от энтропии случайной величины (десигнируемая постоянной α - мера беспорядка).<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Под математическим ожиданием мы понимаем таким образом функцию употреблений символов в конструктивном языке логике предикатов (языке логики предикатов, где к числу логических связок добавлена экспликация), вводя, таким образом, вместо испытаний в теории вероятностей, число которых есть концепт математического понятия числа в теории вероятностей, понятие употреблений (референция которого является употребление символов), что резюмируется нами как предложение конструктивной теории вероятностей, конфигурацией, схемой систем которой, копирующей операции конструктивным как числа, отношения, показывающие, показатели этих операций, является конфигурация понятия модальность.<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Произведем интерпретацию понятия модальности, конфигурация которого (сообразно номинальным и реальным определениями схоластов) есть интерпретация принципа десигнации, употребляемого конструктивной теорией вероятностей. Как известно, понятием "числового ряда" понятие суммы обобщается на некоторые случаи бесконечного множества слагаемых и изучается свойства таких обобщенных сумм. Аналитическое выражение, имеющее формально вид суммы, содержащей бесконечно много слагаемых, называется бесконечным рядом, или, просто, рядом. В нашем случае суммируется символы, цепочка которых имеет своим кодом геделевский номер. Назовем такой ряд конструктивным или осмысленным, это некоторый музей, пантеон символов. Поскольку символ, будучи записан как член числового ряда, есть знак, имеющий некоторую конфигурацию, а именно является референциальной точкой в системе отсчета, осью абсцисс которой является ось ординалов, а осью ординат -- ось кардиналов, то заданиями числового ряда, как выполнением операций трансфинитивной логики, определяются конструктивные планы конфигурации (совершенной группы простых чисел) и конструктивные операции над конфигурациями, являющиеся функциями комплексного переменного, причем эти определения являются следствиями подстановки операторов, как элементов конструктивного класса, принадлежность которого этому классу устанавливается посредством принципиально осуществимой совокупности действий, как знаков значения, или значений показателей операции вычислимости числового ряда, где его вычислимость является аналитическим продолжением в область комплексных чисел, мощность измеряется в ординалах, порядок (счетность) в кардиналах, обратно канторовской теории множеств, где предполагаемое множество есть оператор ряда символов, реферируемый в ординалах (счетно-вычислимый), измеряемый в кардиналах (счетно-вычислимый), определим таким образом в рамках трансфинитзма канторовскую теорию множеств как теорию оперирования, где показателем операции является трансфинитивное число.<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Пусть задана последовательность комплексных чисел </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>U<sub>n</sub></span><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'>, </span><span lang=EN-US style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> = 1, 2, ... . Составим новую последовательность чисел </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>S<sub>n</sub></span><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'>, </span><span lang=EN-US style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> = 1, 2, ..., следующим образом:<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Ψ<sub>0</sub> = </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%;mso-ansi-language:EN-US'>U</span><span style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%'>'<sub>1</sub>, Ψ<sub>1</sub> = </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%;mso-ansi-language:EN-US'>U</span><span style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%'>'<sub>2</sub>,<span style='mso-spacerun:yes'> </span></span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'>U</span><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'>'<sub>1</sub> = </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%'>1</span></sub><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'><o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Ψ<sub>2</sub> = Ψ<sub>0</sub> + Ψ<sub>1<span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span></sub></span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>U</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%'>'<sub>2</sub> = </span><span lang=EN-US style='font-size: 14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>1</span></sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'>2</span></sub><span style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%'><o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Ψ<sub>3 </sub>= Ψ<sub>1</sub> + Ψ<sub>2<span style='mso-spacerun:yes'> </span></sub></span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%;mso-ansi-language:EN-US'>U</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>'<sub>3</sub> = </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%;mso-ansi-language:EN-US'>U</span><sub><span style='font-size: 14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>1</span></sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'>2</span></sub><span style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%'>3</span></sub><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'><o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>Ψ<sub>4</sub> = Ψ<sub>2</sub> + Ψ<sub>3<span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span><span style='mso-spacerun:yes'> </span></sub></span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>U</span><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%'>'</span><sub><span lang=EN-US style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> = </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'>1</span></sub><span style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language: EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt; line-height:150%'>2</span></sub><span style='font-size:14.0pt;mso-bidi-font-size: 12.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:EN-US'>U</span><sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>3</span></sub><span style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'> + ... </span><span lang=EN-US style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%; mso-ansi-language:EN-US'>U<sub>n</sub></span><span style='font-size:14.0pt; mso-bidi-font-size:12.0pt;line-height:150%'><o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>Ψ<sub>5</sub> = Ψ<sub>3</sub> + Ψ<sub>4</sub>,<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>где Ψ - так называемые числа Фибоначчи, бесконечная последовательность которых определяется рекуррентной формулой Ψ</span><sub><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>+1</span></sub><span style='font-size:14.0pt;line-height:150%'> = <span style='mso-spacerun:yes'> </span>Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'> + Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>.<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>Результат Матиясевича в том, что любое перечислимое свойство конечной последовательности числе является диофантовым, еще<span style='mso-spacerun:yes'> </span>раз доказывает нам понятийную структуру геделевского номера, смысла, требующего образования понятия перечислимости, выразимую в формуле <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>p</span><span style='font-size:14.0pt;line-height:150%'>! + 1 его априорно диофантовую характерность. Формулой конструктивного числового ряда является уравнение волновой функции Шредингера, представляющей асимптотический характер выполнения теоремы Ферма целыми числами в конструктивном числовом ряду Свойство Матиясевича (свойство пары числе (а, </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>b</span><span style='font-size:14.0pt;line-height:150%'>), где есть число Фибоначчи с номером 2а, </span><span lang=EN-US style='font-size:14.0pt;line-height:150%; mso-ansi-language:EN-US'>b</span><span style='font-size:14.0pt;line-height: 150%'> = Ψ<sub>2а</sub>) назовем прагматическим квалитатизмом, или креативностью, тождества пустого множества и сингулярного термина, смысла понятия тождества, математического понятия "оператор", десигнирует оператора в языке всеобщей арифметики, финитизмом оператора, трансфинитизмом этого финитизма которого является оператор конструктивного числового ряда. Конструктивный числовой ряд есть кольцо над полем комплексных чисел, телом кольца является арифметическая операция трансфинитивных чисел, показателем которой является физическое понятие твердого тела. Пусть конструктивная операция Ψ<sup>2</sup> (Ψ<sub>0</sub>, Ψ<sub>1</sub>, Ψ<sub>2</sub> ...) ставит произвольно заданной совокупности конфигурацией Ψ<sub>0</sub>, Ψ<sub>1</sub>, Ψ<sub>2</sub> ... в соответствие некоторую конфигурацию Ψ. При этом определением операции Ψ<sup>2</sup> (Ψ<sub>0</sub>, Ψ<sub>1</sub>, Ψ<sub>2</sub> ..., Ψ</span><sub><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size: 14.0pt;line-height:150%'>) является креативность, то есть это определение дает принципиально осуществимый способ построения конфигурации Ψ, когда конфигурации Ψ<sub>0</sub>, Ψ<sub>1</sub>, Ψ<sub>2</sub> ..., Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span></sub><span style='font-size:14.0pt;line-height:150%'>заданы. Для класса последовательностей символов определим операцию </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>S</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>, Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>), состоящую в приписывании, употреблении, к символу Ψ</span><sub><span lang=EN-US style='font-size: 14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>, символа Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span></sub><span style='font-size:14.0pt;line-height:150%'>, или употребление.<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>Оператором конфигурации </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>S</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>, Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>) являются все операторы конфигураций Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%; mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt; line-height:150%'>-1 </span></sub><span style='font-size:14.0pt;line-height: 150%'>и Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height: 150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt; line-height:150%'>, назовем это задачей сходимости ряда, сходимость ряда конструируется, любой числовой ряд таким образом сводится таким образом, что для него выполняется необходимое условие сходимости ряда, так как для любой пары элементов конфигурации </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>S</span><span style='font-size:14.0pt; line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>, Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>) -- определено отношение порядка, число ординала. Задача сводимости числового ряда решается в ординалах. Так, например, ряд, члены которого образуют геометрическую прогрессию 1+ </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q</span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height:150%'>+ </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q</span><sup><span style='font-size:14.0pt;line-height:150%'>2</span></sup><span style='font-size: 14.0pt;line-height:150%'> + </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>q</span><sup><span style='font-size: 14.0pt;line-height:150%'>3</span></sup><span style='font-size:14.0pt; line-height:150%'> +... </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>q<sup>n</sup></span><span style='font-size:14.0pt;line-height:150%'>..., при |</span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q</span><span style='font-size:14.0pt;line-height:150%'>| ≥ 1 расходится, ибо его общий член </span><span lang=EN-US style='font-size:14.0pt;line-height:150%; mso-ansi-language:EN-US'>U<sub>n</sub></span><span lang=EN-US style='font-size: 14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height: 150%'>= </span><span lang=EN-US style='font-size:14.0pt;line-height:150%; mso-ansi-language:EN-US'>q<sup>n</sup></span><sup><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span></sup><span style='font-size: 14.0pt;line-height:150%'>не стремится к нулю Решением задачи по сводимости данного числового ряда является следующая группа </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height:150%'>-- группа ординалов, подстановок, решающих диофантовые уравнения 3 степени (проблема Гильберта). Ординалы имеют биекцию на множество натуральных со стороны их мощности кардиналы -- счетности, трансфинитивные<span style='mso-spacerun:yes'> </span>числа -- вычислимости. Каждый оператор, принадлежащий конфигурации Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1 </span></sub><span style='font-size:14.0pt;line-height:150%'>, отличается от оператора, входящего в конфигурацию Ψ</span><sub><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size: 14.0pt;line-height:150%'>, на ординал. Для пар (х, у), входящих в Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>) установлено свойство креативности Матиясевича. Легко видеть, что если Ψ</span><sub><span lang=EN-US style='font-size: 14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1 </span></sub><span style='font-size:14.0pt;line-height:150%'>и Ψ, представлены соответственно последовательности значений </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>x</span><sub><span style='font-size: 14.0pt;line-height:150%'>1</span></sub><span style='font-size:14.0pt; line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;line-height: 150%;mso-ansi-language:EN-US'>x</span><sub><span style='font-size:14.0pt; line-height:150%'>2</span></sub><span style='font-size:14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>x</span><sub><span style='font-size:14.0pt;line-height:150%'>3</span></sub><span style='font-size:14.0pt;line-height:150%'> ... </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x<sub>n</sub></span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height:150%'><o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>и <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>у<sub>1</sub> у<sub>2</sub> у<sub>3</sub> ... у</span><sub><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size: 14.0pt;line-height:150%'>, то конфигурация (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>) является функцией у = </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'> (х).<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>Операция </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>R</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>) (референт операции подстановки), смысл которой состоит в том, что в конфигурации Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'> всюду, где она входит, заменяется Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>, поскольку </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height:150%'>есть число кардинала.<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>Итак, конструктивная операция есть конфигурации. Заменяемая по некоторым правилам трансфинитивным числом, она, следовательно, имеет оператор, заменяемый ординалом, и показатель ("степень уверенности" Больцано), заменяемый кардинальным числом.<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>Определим операцию <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size: 14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt; line-height:150%'>), где <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>n</span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height:150%'>-- есть геделевский номер <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size: 14.0pt;line-height:150%'> 2) совпадает с </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>R</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>)<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size: 14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt; line-height:150%'>) есть результат замены в </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size: 14.0pt;line-height:150%'> 2)<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>f</span><span lang=EN-US style='font-size:14.0pt;line-height:150%'> </span><span style='font-size:14.0pt;line-height:150%'>везде, где она входит, символом Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'> <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>R</span><span style='font-size:14.0pt;line-height:150%'> [</span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>, 2) </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>', Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><span style='font-size:14.0pt;line-height:150%'>]<o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span style='font-size:14.0pt;line-height:150%'>Для определения (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size: 14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt; line-height:150%'>) для любого </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt; line-height:150%'> (< отношения порядка) можно написать <o:p></o:p></span></p> <p class=MsoNormal style='text-align:justify;text-indent:35.45pt;line-height: 150%'><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language: EN-US'>T</span><span style='font-size:14.0pt;line-height:150%'> (Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>-1</span></sub><span style='font-size:14.0pt;line-height:150%'>; </span><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f</span><span style='font-size:14.0pt;line-height:150%'>; Ψ</span><sub><span lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n</span></sub><sub><span style='font-size:14.0pt;line-height:150%'>,</span></sub><span style='font-size: 14.0pt;line-height:150%'> </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>n</span><span style='font-size:14.0pt; line-height:150%'>) = </span><span lang=EN-US style='font-size:14.0pt; line-height:150%;mso-ansi-language:EN-US'>R</span><span style='font-size:14.0pt; line-height:150%'> [</span><span lang=EN-US style='font-size:14.0pt;line-height: 150%;mso-ansi-lang