设为首页收藏本站
开启辅助访问 切换到窄版

数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
数学中国»论坛 › 数学中国综合论坛 › 综合论坛 › 炮打康托，炮轰西方谬论数学大本营
返回列表 发新帖
查看: 3957|回复: 0

炮打康托，炮轰西方谬论数学大本营

[复制链接]
发表于 2007-9-28 19:06 | 显示全部楼层 |阅读模式
19世纪末20世纪初,德国伟大的数学家康托创建了集合论,不久这一开创性成果就为广大数学家所接受了，并且获得广泛而高度的赞誉。数学家们发现，从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论被誉为是"构建现代数学大厦的基石",几乎所有的数学全都可以建立在集合论的基础之上.这一发现令数学家们所陶醉.
然尔集合论被数学界所广泛承认的道路却并不是一帆风顺的,19世纪末他所从事的关于连续性和无穷的研究从根本上背离了数学中关于无穷的使用和解释的传统，从而引起了激烈的争论乃至严厉的谴责,
集合论最激烈的反对者是康托曾经的老师克罗内克，他认为只有他研究的数论及代数才最可靠,他对康托的研究对象和论证手段都表示强烈的反对,另一位德国的知觉主义者魏尔认为，康托把无穷分成等级是雾上之雾。法国数学界的权威人物庞加莱曾预言：我们的“后一代将把（康托的）集合论当作一种疾病",就连成功解决第二次数学危机的著名数学家柯西也不承认集合论.
之所以集合论会遭受到如此巨大的非议,是因为康托在集合论中论证了一个令人吃惊的结论:部分等于整体.举自然数集合为例:若一自然数集为有限集,在这个集合中有P个自然数元素,则在这个集合中偶数的数目为P/2个,可知在有限的自然数集合中偶数的数目少于自然数的数目,但是康托在论述到无限集合的时候,却得出来了在无限集合之中全体偶数的数目与全体自然数的数目一样多,只要让所有的自然数与所有的偶数建立起一一对应就可以了:1对应2,2对应4,3对应6,4对应8.........由于自然数的数目是无穷多的,所以偶数的数目也是无穷多的,这样所有的自然数都能找到唯一的一个偶数与之相对应,所以自然数与偶数一样多.)
这从根本上违反了人们的直觉,让人不可思议,但100年来的集合论的发展,却又表明了康托的这种证明方法是准确无误的.
然尔100年后,中国的民间天才数学爱好者李冕先生成功的在自然数集与偶数集等势的这个论述中推导出来了罗素悖论(罗素悖论引发了第三次数学危机),从尔证明康托的集合论就是一个彻头彻尾的谬论.
下面就是李冕先生从自然数集与偶数集的一一对应之中所推导出来的罗素悖论的过程:-t7Ns
设两个自然数集合：
第一个集合为：Ｎ＝｛1,2,3,4,5,.......n......}
第二个集合为：M=A1∪A2∪A3.........∪An......
　　　　A1=｛１，２｝
　　　　 A2＝｛３，４}
　　　　A3={５，６｝　　　
　A4={７，８｝ :
　　　．．．．．．．．
　
在上面的两个集合之中，第一个集合Ｎ为自然数的全体集合，在这个集合之中，包含有全部所有的自然数．
　　第二个集合称为是自然数的分段集合，在这个集合之中，每２个自然数分为一段，每一段的最后一个数均为偶数，Ａ１，Ａ２，Ａ３，．．．．．其实就是自然数集合N中的真子集．而集合Ｍ就是自然数集所有分段真子集的一个并集．
　从这里可以看出来，Ｎ中包含有所有的自然数，而Ｍ中也包含有所有的自然数，Ｍ中的任何一个元素也全都是Ｎ中的元素，所以Ｍ＝Ｎ，Ｍ与Ｎ实际上就是同一个集合，或者可以说Ｍ是Ｎ的自身．可以这样表示为:M=A1∪A2∪A3.........∪An......=｛1,2,3,4,5,.......n......}=N.　
　　在集合Ｍ与集合Ｎ之间做一个一一对应，即自然数与偶数之间的一一对应：１对应Ａ１中的偶数２，２对应Ａ２中的偶数４，３对应Ａ３中的偶数６，４对应Ａ４中的偶数８．．．．．．n 对应An中的偶数2n.........　　
　　然后：采用＂自然数区间套进＂的方法来进行分析：　
　　将Ａ１与Ａ２相并：A1∪A2＝｛１，２，３，４，｝，在这个集合之中包含有A1和A2的原象1和2,所以原象集合｛１，２｝是集合A1∪A2中的一个真子集．
　　将Ａ１，Ａ２，Ａ３相并：A1∪A2∪A3＝｛１，２，３，４，５，６｝，在这个集合之中包含有A1,A2和A3的原象1,2,3,所以原象集合｛１，２，３｝是A1∪A2∪A3中的一个真子集．
　　依此类推：原象集合｛１，２，３，４｝是并集合A1∪A2∪A3∪A４中的一个真子集．．．．．原象集合｛１，２，３，．．．．n｝是并集合A1∪A2∪A3.........∪An中的一个真子集．．．．．．
　　采用这种＂自然数区间套进＂的方法，当Ｎ中包含有所有原象的时候，Ｎ=｛１，２，３，.....n.......},而Ｍ也包含了Ｎ中的所有原象的象，Ｍ＝A1∪A2∪A3.........∪An......，
　　最后得出：原象集合Ｎ是集合Ｍ的一个真子集．
　　也就是说：自然数集是自然数集的一个真子集． )
　　由此便会产生一个矛盾：根据真子集的定义：如果集合Ｎ中的任何一个元素全都是集合Ｍ的元素，并且在集合Ｍ中至少有一个元素不属于集合Ｎ，那么集合Ｎ就叫做集合Ｍ的真子集．
　由于集合Ｎ是集合Ｍ的真子集，所以在集合Ｍ之中，有不属于集合Ｎ的自然数，设这个不属于Ｎ的自然数为Ｘ，问Ｘ属不属于Ｎ？
　　根据真子集的定义，Ｘ不属于Ｎ，但根据自然数集的定义：自然数集是包含有所有自然数的集合，Ｎ是全体自然数的集合，而Ｘ是一个自然数，所以Ｘ属于Ｎ. _
这个悖论可以归类于理发师悖论之列，即引发第三次数学危机的罗素悖论．
从以上的论述来看，康托用一一对应的方法来论述自然数集与偶数集等势中包含有悖论，而且是引发第三次数学危机的罗素悖论,所以康托的集合论就是彻头彻尾的谬论,用这种谬论来构建数学大厦的基础,是终究要倒塌的.
回复

使用道具 举报

返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies E
您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

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

GMT+8, 2025-7-26 22:31 , Processed in 0.078968 second(s), 16 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代码输入: