Математика: различия между версиями

← Предыдущая правка Следующая правка →

@@ Строка 143: / Строка 143: @@
 == Противоречивость математики ==
 === Деление на 1 ===
-Заметим, что если взять любое <math>a</math> и поделить его на 1, то получится с очевидностью: <math>\frac {a}{1} = \frac {a}{0+1}</math>, что, как известно, равно <math>\frac {a}{0+1} = \frac {a}{01}</math>, а, так как знак произведения математики обычно опускают, то <math>\frac {a}{01} = \frac {a}{0*1}</math>, что эквивалентно <math>\frac {a}{01} = \frac {\frac {a}{0}}{1}</math>. Правая часть этого равенства равна <math>\frac {a}{0}</math>, а самая левая так до сих пор и осталась равной
+Заметим, что если взять любое <math>a</math> и поделить его на 1, то получится, очевидно, <math>\frac {a}{1} = \frac {a}{0+1}</math>, что, как известно, равно <math>\frac {a}{0+1} = \frac {a}{01}</math>, а, так как знак произведения математики обычно опускают, то <math>\frac {a}{01} = \frac {a}{0*1}</math>, что эквивалентно <math>\frac {a}{01} = \frac {\frac {a}{0}}{1}</math>. Правая часть этого равенства равна <math>\frac {a}{0}</math>, а самая левая так до сих пор и осталась равной
 <math>\frac {a}{1}</math>, что должно быть равно самому <math>a</math>.
 Заметим, что так как <math>\forall a\neq \widetilde{\mathsf{K}}</math> имеет место <math>aа \neq 0 = a*0</math>, то <math>\frac {a}{0} \neq a</math> но, как было доказано ранее, <math>\frac {a}{0} = a</math>, откуда сразу же вытекает, что <math>\forall a\neq \widetilde{\mathsf{K}}: a\neq a</math>, что явно доказывает, что функция деления на 1 эквивалентна [[фхтангенс]]у.
+=== 1 на деление ===
+Рассмотрим функцию двух переменных <math>\div:\mathbb{R}\times(\mathbb{R}\setminus\{0\})\rightarrow\mathbb{R}</math> и функцию одной переменной <math>\upharpoonleft:\mathbb{R}\rightarrow\mathbb{R}</math>, действующие по следующим правилам: <math>\div(a,b)=\frac{a}{b}</math> и <math>\upharpoonleft(a)=1</math>. Рассмотрим продолжение функции <math>\upharpoonleft</math> на область определения функции <math>\div</math>, такое, что <math>\upharpoonleft(a,b)=1</math>. Теперь можно корректно определить произведение этих двух функций: <math>\div\upharpoonleft:\mathbb{R}\times(\mathbb{R}\setminus\{0\})\rightarrow\mathbb{R}</math>, действующее по правилу <math>(\div\upharpoonleft)(a,b)=\div(a,b)*\upharpoonleft(a,b)=\frac{a}{b}*1</math>.
+Однако, как известно, запись <math>\div\upharpoonleft</math> обозначает функцию одного переменного <math>\mathfrak{bl}:\mathbb{R}\rightarrow\mathbb{R}</math>, переводящую <math>x\longmapsto\frac{x}{1}</math>. Таким образом, получаем: <math>\frac{x}{1}(a,b)=\frac{a}{b}*1</math>. Несложные преобразования в пределах школьного курса приводят к следующему тождеству: <math>(\div\upharpoonleft)^{-1}(a,b)=\frac{a}{b}*\upharpoonleft^2(a,b)</math>, сократим, получим <math>(\div\upharpoonleft)^{-1}=\frac{a}{b}*\upharpoonleft^2</math>, то есть <math>\frac{1}{\div\upharpoonleft}=\frac{a}{b}*\upharpoonleft^2</math>. Умножая левую и правую часть на <math>\div\upharpoonleft b</math>, видим следующее: <math>b=a*\upharpoonleft^3*\div</math>, то есть любоее заранее заданное ненулевое число b представляется в виде произведения независящих от него вещественного числа a и двух функций. Положим b=1, a=1, тогда, подставляя, получим <math>\upharpoonleft=\upharpoonleft^4\div</math>, то есть <math>(\upharpoonleft^3)^{-1}=\upharpoonleft^{-3}=\div</math>, что невозможно, так как область определения функции в левой части — <math>\mathbb{R}</math>, а область определения функции в правой части — <math>\mathbb{R}\times(\mathbb{R}\setminus\{0\})</math>.
+Таким образом, получаем, что в пространстве вещественных чисел нельзя ни умножать, ни делить. Единственное разумное объяснение этого факта заключается в том, что вещественных чисел не существует, а есть только пустое множество, множество, состоящее из пустого множества, прочие ординальные числа и Ктулху, спящий в толще вод. Существование же вещественных чисел в классической (''фу, какое извращение! — прим. ред.'') математике доказывается путём построения их из рациональных, которые, в свою очередь, из целых, которые, в свою очередь, из натуральных, которые на самом деле являются конечными кардинальными, которые являются предельными ординальными, которые существуют, как только что было показано. Возникающий парадокс разрешается так же просто, как и все остальные, с помощью Аксиоматики CZF (см. статью [[Фхтангенс]]). Древние (ну, не все, [[Ктулху|один древний]] знал) не опирались на факт существования Ктулху, и поэтому продолжали строить числовые системы, хотя любой здравомыслящий человек знает, что числовых систем существует всего две: хтоническая (<math>\{\emptyset,\widetilde{\mathsf{K}}\}</math>) и двоичная ([[01100001]]).
 {{science-stub}}