数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 4542|回复: 3

宇宙真相(104):实数不可数违反科学原理

[复制链接]
发表于 2020-5-18 13:26 | 显示全部楼层 |阅读模式
本帖最后由 谢芝灵 于 2020-5-18 05:41 编辑

宇宙真相(104):实数不可数违反科学原理

   
作者:宇宙邪灵

定理:对角线法证明实数不可数的逻辑漏洞。
证明:
可数的“数”汉语解释:“数”是一个动词。把数字一个个标识,“数”数字。
可数的定义:数字符号排列,能与自然数列一一对应。也叫可列,可记。
不可数定义:数字符号排列,不能与自然数列一一对应。
康托实数不可数定义:闭间[0,n]的所有元素f(n)个,且与自然数列一一对应后,总能找出一个新元素p不在f(n)之中。

假设1: 无限元素为数。
注明:如果无限元素为非数,我们就没资格把无限元素当数来讨论和应用。
所以只有 假设无限元素为数,才能取无限元素当数来应用。
假设2: 所有实数都能用阿拉伯符号表示。
注明:如果某个实数,不能用阿拉伯符号表示。我们就没资格把所有实数用阿拉伯符号表示来讨论和应用。

【康托设计:在闭间[0,1] 所有实数用十进制阿拉伯符号无限小数表示,
假设3:[0,1]所有实数能与自然数一一对应。】
   
康托对角线方法:在[0,1]中,
取第一个实数(无限元素): 0.a0a1a2a3....
取第二个实数(无限元素): 0.b0b1b2b3....
取第三个实数(无限元素): 0.c0c1c2c3....
........................................

上面所有实数组合记为(M)
注:因为[0,1]中最后一个元素为1,康托把1=0.9999...
为了整体视觉效果,把:0.9999...=0.n0n1n2n3...
其实就是:9=n0=n1=n2=n3=...
所以上面(M)也可以为:
取第一个实数: 0.a0a1a2a3...
取第二个实数: 0.b0b1b2b3...
取第三个实数: 0.c0c1c2c3...
........................................
取第n个实数(最后一个):0.n0n1n2n3...nk...

康托取对角线上的数:0.a0b1c2d3...nk
康托找出了 一个新数0.a0b1c2d3...nk,不在(M)之中。
这里出了矛盾,所以(M)之中数不可数。
三个假设,得出了一个矛盾。
这个矛盾能算在“假设3”上吗?不能!
康托把矛盾的出现少在“假设3”,他必须证明前两个假设。
他没证明前两个假设。这就是他实数不可数的逻辑漏洞。
证毕!

总结:
康托实际用了三个假设,这个矛盾出在前两个假设上。
数的公理(公设):元素A满足 A{=,<,>}。
解释上公理:元素A能进入{=,<,>},则A为数。
如:1=1;a=a;a+1>a;b-1<b;势A=势A,既等势。
这些元素(1,a,b,势A)都是数。
有限(有穷)元素的定义:从第一个元素a,单列排列,再到(有)一个元素p,你只讨论a到p,则p是a到p的最后一个元素。
简述:从第一个元素a,元素依次排列,有一个你想终止的一个最后元素。
有限(有穷)的定义的符号:a...p
【注意:你从a开始再到了p,不管你中间经过了多少元素,哪怕是天文数,你到了p,得a到p中间的元素为有限个。你是依次经过了中间才到了p,你能到达的所有元素都是有限。得 a到p之间为有限个元素,既a到p为有限。当你拿掉最后一个p,又有倒数第二个元素q变为新的a...q,因为你是依次各个元素经过q才到p。为什么规定单列排?为了保证有限:是防止无限个单列,因为无限个单列就是无限了。为了防了元素大小的扯皮,符号中的a和p属于序列号:第一个,最后一个。每个序列符号是有限元素,因为每个序列符号是不能分割为两个序列符号,你增加元素,只能增加序列号。在数轴上可以标识点为序列符号,点是不能分割的。所以每个序列号为有限元素。如:1,2,3,4,5 其中5为最后一个,当你增加一个最后元素k,则k为最后一个;1,2,3,4,5 你减少其中的5,则4为最后一个。我用的第一个,最后一个 就是包含了序列号。】

无限(无穷)元素定义:从第一个元素a开始,你设定程序:元素依次单列排列,不能结束,没有你愿意终止的元素(没有最后一个元素)。
简述:从第一个元素a,元素依次排列,没有最后一个元素
无限(无穷)的定义的符号:a...
【注意:有限符号a...p中的省略号为有限个数,你拿掉p,又有倒数第二个变为新数列的最后一个,属于写得完因为繁而省略;无限符号a...属于没最后一个元素、属于写不完用省略。】

由无限的定义,得无限程序:A....
不能满足 :A....= 。因为有最后一个元素,与定义矛盾。
同理,不能满足 :A....<,
同理,不能满足 :A....>,
所以无限元素为非数,不能进入{=,<,>}。
也就不能有:lim 0.333...=1/3
也就不能有: 0.333...=1/3
也就不能有:1+2+3+4+5+6+...=y,当然解不出 y=-1/12
也就不能有:0.999...=1
证明了所有无限元素不是数。
证毕!

最后注明:
你所有反驳我的所谓“事实、证据、反例、理论”全部为错。你们的属错觉。
如,我用逻辑证明了太阳没围着地球转,你拿来了观察实验:在地球上某一圈设了n观察点,每个观察点都报告太阳从正上方经过。你的事实实验为你们的错觉。
你只能接受“太阳没围着地球转”这个事实。
如,我用逻辑证明了你我都只有一张照片厚,你拿再多测量反例。属视觉、测量错觉。
你只能接受“你我都只有一张照片厚”这个事实。
因为我的合逻辑定义和定理证明在源头,我源头正确,你们后来的与我冲突,则你们的为错。
我是源头正确(定义合逻辑)、程序正确。
我们只能用“合逻辑的定义”为讨论的标准,
你拿“合逻辑定义”以外的“事实、证据、反例、理论”全为非科学论证,不能参于我们的科学论证。
 楼主| 发表于 2020-5-18 13:42 | 显示全部楼层
最后注明:
你所有反驳我的所谓“事实、证据、反例、理论”全部为错。你们的属错觉。
如,我用逻辑证明了太阳没围着地球转,你拿来了观察实验:在地球上某一圈设了n观察点,每个观察点都报告太阳从正上方经过。你的事实实验为你们的错觉。
你只能接受“太阳没围着地球转”这个事实。
如,我用逻辑证明了你我都只有一张照片厚,你拿再多测量反例。属视觉、测量错觉。
你只能接受“你我都只有一张照片厚”这个事实。
因为我的合逻辑定义和定理证明在源头,我源头正确,你们后来的与我冲突,则你们的为错。
我是源头正确(定义合逻辑)、程序正确。
我们只能用“合逻辑的定义”为讨论的标准,
你拿“合逻辑定义”以外的“事实、证据、反例、理论”全为非科学论证,不能参于我们的科学论证。
回复 支持 反对

使用道具 举报

发表于 2020-5-18 16:33 | 显示全部楼层
谢芝灵 发表于 2020-5-18 05:42
最后注明:
你所有反驳我的所谓“事实、证据、反例、理论”全部为错。你们的属错觉。
如,我用逻辑证明了 ...

谢芝灵:现行实数理论与康托尔的实数不可列的证明 都不对,应当反对。 但实践需要 把 1/3  表示为 十进小数,为此需要进行1被3除的除法 运算。 这时 就得不到1/3的 绝对准十进小数表达式。 这些事实 时必须被尊重的。但 实践需要 也是应单解决,所以 需要根据除法 的每一步的性质 得到针对误差界序列{1/10^n} 的十进小数 数列0.3,0.33,0.333,……。这个数列 具有性质第一   lim n→∞0.33……3(n个3)=1/3, 第二,在这个数列中可以找到1/3 任意 误差界下的 十进小数的 近似表达式。所以 就能在 足够准近似 意义 满足 生产实际的需要。 所以笔者称 现行 教科书中无尽循环小数 为这样的康托尔 基本 数列的简写。,
回复 支持 反对

使用道具 举报

发表于 2020-5-23 11:21 | 显示全部楼层
实践对jzkyllcjl 就是吃狗屎.对正确面对数学理论问题的人来说就是运用数理逻辑作研究分析论证.jzkyllcjl 之所以被抛弃,就是因为不知道如何正确地实践,正确地研究.
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-10 17:02 , Processed in 0.080788 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: