Шилов Сергей. К интерпретации в прагматических системах (Критика чистой лингвистики)

| lang=EN-US style='font-size:14.0pt'>

α lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'> - -- | > ----

style='mso-spacerun:yes'> q style='mso-spacerun:yes'>

qⁿ

 

Пусть style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> lang=EN-US>f (x) = Ψ₀xⁿ + Ψ₁x^n-1
+ ...

Ψ _{lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n} style='font-size:14.0pt;line-height:150%'> --

аппроксимация диофантового
управления. Производная f (x) на отрезке [α -- 1, α +1] неограниченна, т. е. существует lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Ord

lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>(ординал) такой, что

| lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f

style='font-size:14.0pt;line-height:150%'>' ( style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x style='font-size:14.0pt;line-height:150%'>) | ≤ style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Ord lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>при α -- 1 ≤ lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>≤ α +1

Достаточно рассмотреть те
рациональные числа p/q, которые лежат в интервале α -- 1, α +1

style='mso-spacerun:yes'>

p style='mso-spacerun:yes'> | Ψ₀ style='mso-ansi-language:EN-US'>pⁿ + lang=EN-US style='font-family:Symbol;mso-ascii-font-family:"Times New Roman";
mso-hansi-font-family:"Times New Roman";mso-ansi-language:EN-US;mso-char-type:
symbol;mso-symbol-font-family:Symbol'>Y₁ style='mso-ansi-language:EN-US'>p^n-1 lang=EN-US style='mso-ansi-language:EN-US'>q + ... | style='mso-ansi-language:EN-US'> 1

| f' (--) | = -------------------- ≥ --

q style='mso-spacerun:yes'>

style='mso-ansi-language:EN-US'>qⁿ style='mso-spacerun:yes'> qⁿ

 

style='mso-spacerun:yes'>

style='mso-spacerun:yes'> style='mso-spacerun:yes'> lang=EN-US style='mso-ansi-language:EN-US'>p style='mso-spacerun:yes'>

поскольку style='mso-spacerun:yes'>

f (--) style='font-size:14.0pt'>≠ 0, (многочлен неприводим, т. к. существуют
коды) и

style='mso-spacerun:yes'>

style='mso-spacerun:yes'> lang=EN-US style='mso-ansi-language:EN-US'>q

|Ψ₀ lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>pⁿ

style='font-size:14.0pt;line-height:150%'> + style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Ψ _{style='font-size:14.0pt;line-height:150%'>1} p^{n style='font-size:14.0pt;line-height:150%'>-1} style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q style='font-size:14.0pt;line-height:150%'> + ... | - простое число.

Используя теорему о
среднем из дифференциального исчисления, мы заключаем, что между α и lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p

style='font-size:14.0pt;line-height:150%'>/ style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q style='font-size:14.0pt;line-height:150%'> (и, следовательно, в интервале,
α -- 1 до α +1) найдется такое число style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x style='font-size:14.0pt;line-height:150%'>, что

f (α lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>
)- f (p/q) = (

α lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> -
p/q) f' (x),

т. е такое число, которое
само будет производной, определением производной, откуда, поскольку lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>f

style='font-size:14.0pt;line-height:150%'> (α) = 0 style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>

style='mso-spacerun:yes'> 1 style='mso-spacerun:yes'>

style='mso-spacerun:yes'> p style='mso-spacerun:yes'> p style='mso-spacerun:yes'> p style='mso-spacerun:yes'> 1 style='mso-spacerun:yes'> p

---- ≤ style='mso-spacerun:yes'> |f ( -- ) | = | f (

style='font-size:14.0pt'>α) -- f ( -- ) | = | α style='mso-ansi-language:EN-US'> style='mso-spacerun:yes'> - -- | |
f' (x)| ≤ ------ | α lang=EN-US style='mso-ansi-language:EN-US'>
- -- | ,

style='mso-spacerun:yes'> qⁿ
q style='mso-spacerun:yes'>

q style='mso-spacerun:yes'> q style='mso-spacerun:yes'> Card style='mso-spacerun:yes'> q

 

(Ord² + Card² = -1)

style='mso-spacerun:yes'> p style='mso-spacerun:yes'>

style='mso-spacerun:yes'> Card

или style='mso-spacerun:yes'> |

α lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'> - lang=EN-US style='mso-ansi-language:EN-US'>-- | ≥ ------ style='mso-spacerun:yes'>

style='mso-spacerun:yes'> style='mso-spacerun:yes'>

q style='mso-spacerun:yes'> qⁿ

lang=EN-US style='mso-ansi-language:EN-US'> 

style='font-size:14.0pt;line-height:150%'>Конструктивный характер аппроксимации
заключается, таким образом, в приравнивании ординалом, измерения той и другой
части равенства в

style='mso-spacerun:yes'>

style='mso-spacerun:yes'> p style='mso-spacerun:yes'> lang=EN-US style='mso-ansi-language:EN-US'>Card style='mso-spacerun:yes'>

ординалах | style='font-size:14.0pt'>α -

-- | style='mso-spacerun:yes'> и ------ style='font-size:14.0pt'> , style='font-size:14.0pt'>где p и lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>q lang=EN-US style='font-size:14.0pt'> связаны
функцией математического

style='mso-spacerun:yes'>

style='mso-spacerun:yes'> style='mso-ansi-language:EN-US'>q
style='mso-spacerun:yes'> qⁿ

ожидания ( lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p

lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>-- простое число, lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q style='font-size:14.0pt;line-height:150%'> -- целое, целость которого как
структура

style='font-size:14.0pt;mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

Card style='mso-spacerun:yes'>

style='font-size:14.0pt'>выявляется

) ------ style='mso-spacerun:yes'> lang=EN-US style='mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

lang=EN-US style='mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

qⁿ

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

style='mso-spacerun:yes'>

lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

Card style='mso-spacerun:yes'> p style='mso-spacerun:yes'>

α_ord = ------ + ----

style='font-size:14.0pt;mso-ansi-language:EN-US'> style='mso-spacerun:yes'> qⁿ style='mso-spacerun:yes'>

q style='mso-spacerun:yes'>

style='font-size:14.0pt;line-height:150%'>есть уравнение аппроксимации, где

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>-- корни многочлена, приравненного
ординалу, а p -- его
код (корень уравнения квадратной формы геделевского номера), lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Card style='font-size:14.0pt;line-height:150%'>, кардиналом же является уравнение
Шреденгера для квадратных форм геделевского номера, он в этом случае является
сингулярным термином трехзначной логики, прикладной в квантовой механике.
Лиувилль основывался, как известно на том, что если бы α (корень
неприводимого многочлена) было алгебраическим, то при некотором фиксированном lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>для всех style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>m lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'> style='mso-spacerun:yes'> выполнялось бы неравенство

style='font-size:14.0pt'>

lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>p_m style='font-size:14.0pt'> lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>γ style='font-size:14.0pt'>
x style='font-size:14.0pt'> 2

style='font-size:14.0pt'>| α - -- |
> -- => style='mso-spacerun:yes'>

----
< ---- style='mso-spacerun:yes'>

style='font-size:14.0pt'>

lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>q_m style='font-size:14.0pt'> lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>qⁿ_m style='font-size:14.0pt'> lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>qⁿ_m style='font-size:14.0pt'> lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>q^{m style='font-size:14.0pt'>+1}_m style='mso-spacerun:yes'>

style='font-size:14.0pt;line-height:150%'> 

а это невозможно, если style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>m style='font-size:14.0pt;line-height:150%'> велико.

style='font-size:14.0pt;line-height:150%'>Закон квадратичных форм занимается в
том, что если α иррационально, то существует бесконечно много рациональных
чисел

p/q (p и lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>q style='font-size:14.0pt;line-height:150%'> взаимно просты), таких, что

style='font-size:14.0pt'>

lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>p style='font-size:14.0pt'> 1

style='font-size:14.0pt'>| α - -- | ≤
-- (принцип Дирихле)

style='font-size:14.0pt'>

lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>q style='font-size:14.0pt'> lang=EN-US style='font-size:14.0pt;mso-ansi-language:EN-US'>q ^{style='font-size:14.0pt'>2}

Квадратичная форма
определена нами как креативность, свойство Матиясевича, о значении многочлена символическое
значение символа, без учета которого невозможно прагматическое значение.

Для построения символического
конструктивного ряда, дескриптивного по отношению к заданному посредством
понятий (информации операторов) формальному языку, допустим, что требуется один
символ с вероятностью p style='font-size:14.0pt;line-height:150%'> (использованием), два символа с использованием lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p

_{style='font-size:14.0pt;line-height:150%'>2}, три символа с использованием lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p _{style='font-size:14.0pt;line-height:150%'>3} и style='mso-spacerun:yes'> т. д., использования есть коды многочлена,
результата, референта оперирования, аппроксимируемого кардиналом к многочлену,
приравненному ординалу.

p₁ + p₂ + ... + p_n = Ord

Спрашивается, сколько в
среднем потребуется символов для построения конструктивного символического
ряда, отвечающего определением прагматики. Для ответа на поставленный вопрос
будем рассуждать следующим образом.

Предположим, мы можем
использовать символ любой конфигурации, любую группу простых чисел,
интерпретирующуюся как модулирующую кольца (будут их идеалами), выполнений
квадратных форм в теореме Ферма, существующих квадратичных форм. Тогда,
конкретизируя теорему Бернулли, мы можем утверждать, что относительное число
операции (модальность, в которых для решения проблемы потребовался только один
символ, равно p). Точно также два символа потребовались в 100 style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p ^{style='font-size:14.0pt;line-height:150%'>2}

style='font-size:14.0pt;line-height:150%'>% style='mso-spacerun:yes'> операций и т. д. Таким образом, в среднем на
решение одной проблемы потребуется приблизительно 1 ∙ lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p ^{style='font-size:14.0pt;line-height:150%'>1} + 2p² + ... + npⁿ lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>символов.

Приблизительность
означает здесь необходимое решение проблемы, поскольку любой символ может быть
нами построен, коль скоро мы овладеем способом построения любого числа,
нулевого символа. Раскроем исходя из вышесказанного понятия математического
ожидания MEs есть умножение многочлена α в определение аппроксимации (см. Ахиезер
"Лекции по теории аппроксимации") MEs style='font-size:14.0pt;line-height:150%'> есть, следовательно, некоторая, определенная по канону
трансфинитивной эстетики, группа. Если style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x _{style='font-size:14.0pt;line-height:150%'>1}

, x₂, ... x_n style='font-size:14.0pt;line-height:150%'> -- многочлены, результаты
оперирования операторов, обозначаются возможными значениями дискретной
случайной величины Es, а p₁, p₂,
... p_n -- соответствующие
им вероятности, использования символов.

style='mso-spacerun:yes'> ∞

Если ряд ∑ lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x_n

lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p_n lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>( style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n style='font-size:14.0pt;line-height:150%'> = 1) сходится абсолютно, то его
сумма называется математическим ожиданием специальной величины lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>MEs style='font-size:14.0pt;line-height:150%'>, измеряющейся в трансфинитивных
числах

n style='font-size:14.0pt'> (геделевский номер)

Es style='font-size:14.0pt'> = --

α lang=EN-US style='font-size:14.0pt'>

(трансфинитивное
число)

Поскольку lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Es

lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>всегда непрерывна, раскрывая
существование закона больших числе, состоящее в "использовании символа
квадратного умножения", проистекающее из явления аппроксимации, то
математическое ожидание Es style='font-size:14.0pt;line-height:150%'> является интегралом

MEs = ∫ lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>xp

style='font-size:14.0pt;line-height:150%'> ( style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x style='font-size:14.0pt;line-height:150%'>) style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>α lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x style='font-size:14.0pt;line-height:150%'>, где style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>( style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x style='font-size:14.0pt;line-height:150%'>) = 1/ style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Inx style='font-size:14.0pt;line-height:150%'>

распределение простых
чисел (используемое, а не вероятностное).

Связь lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>MEs

lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%'>с аппроксимацией доказывает тот факт,
что математическое ожидание тем выше, группа тем значительней (числа значений в
смысле), тем больше дисперсия случайной величины, математическое ожидание
квадрата значения Es от lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>MEs style='font-size:14.0pt;line-height:150%'> style='mso-spacerun:yes'> lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>de lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>dicto style='font-size:14.0pt;line-height:150%'>

DЕ lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>s
= M (Es - MEs)² = ∫ xαF_η(x),

где через lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>F_η

style='font-size:14.0pt;line-height:150%'> ( style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>x style='font-size:14.0pt;line-height:150%'>) обозначается функция распределения
случайной

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

x style='mso-spacerun:yes'> style='mso-spacerun:yes'> x Ord

style='font-size:14.0pt;line-height:150%'>величины

style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> style='font-size:14.0pt;line-height:150%'>η style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> (Es - ME)²
= ---- F_η (x) = ------ style='mso-spacerun:yes'> = Card

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

Inx style='mso-spacerun:yes'> style='mso-spacerun:yes'> Inx

style='font-size:14.0pt;line-height:150%'>(модулирование простыми числами колец
(в качестве их идеалов) над полем рациональных чисел). Энтропия

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>Es style='font-size:14.0pt;line-height:150%'>, или индивидуализируемая функция
есть теория пределов, многообразия пределов, как референциальных точек поле
рациональных чисел, являющихся кодом аппроксимируемых многочленов

HEs = -p₁, I_np₁ - ... p_n Jn p_n

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p_i

style='font-size:14.0pt;line-height:150%'> =1/ style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n style='font-size:14.0pt;line-height:150%'> ( style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n style='font-size:14.0pt;line-height:150%'> -- геделевский номер) lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>H style='font-size:14.0pt;line-height:150%'> = style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>log lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>n style='font-size:14.0pt;line-height:150%'>.

style='font-size:14.0pt;line-height:150%'>Мы берем случай максимальной неопределенности
исхода для символогии

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'> style='mso-spacerun:yes'>

de lang=EN-US style='font-size:14.0pt;line-height:150%'> style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>re

lang=EN-US style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>-
p₁ In p₁ - ... - p_n Jn p_n = - p₁
log p₁ - ...- p_n log p_n

style='font-size:14.0pt;line-height:150%'>Референция неперовских логарифмов