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

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

@@ Строка 162: / Строка 162: @@
 Однако, как известно, запись <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]]).
+Таким образом, получаем, что в пространстве вещественных чисел нельзя ни умножать, ни делить. Единственное разумное объяснение этого факта заключается в том, что вещественных чисел не существует, а есть только пустое множество, множество, состоящее из пустого множества, прочие ординальные числа и Ктулху, спящий в толще вод. Существование же вещественных чисел в классической (''фу, какое извращение! — прим. ред.'') математике доказывается путём построения их из рациональных, которые, в свою очередь, из целых, которые, в свою очередь, из натуральных, которые на самом деле являются конечными кардинальными, которые являются предельными ординальными, которые существуют, как только что было показано. Возникающий парадокс разрешается так же просто, как и все остальные, с помощью Аксиоматики CZF (см. статью [[Фхтангенс]]). Древние (ну, не все, [[Ктулху|один древний]] знал) не опирались на факт существования Ктулху, и поэтому продолжали строить числовые системы, хотя любой здравомыслящий человек знает, что числовых систем существует всего две: хтоническая (<math>\{\emptyset,\tilde{\mathsf{K}}\}</math>) и двоичная ([[01100001]]).
 == Конец математики ==