百科问答小站 logo
百科问答小站 font logo



康托尔著名的对角线证明? 第1页

  

user avatar   yuhang-liu-34 网友的相关建议: 
      

其实很多这些反驳的人,他们没有意识到,他们的“反驳”在于他们的数学哲学立场不同。比如他们实质上是在反对实数的构造方法,比如不承认戴德金分划,或者无限小数的构造方法。那么因为他们反对了实数的构造法,对他们而言,实数就是一个没有定义的东西,[0,1]区间也是一个没有定义的东西,[0,1]里面的元素可不可数也就不是一个有意义的问题。

哲学立场差异无所谓对错,ultra-finitists甚至反对任何无穷集合的存在,比如他们认为自然数不应该构成一个集合,那么对他们而言连“可数”这个概念都是没有意义的。ZFC其实也选取了某种哲学立场,比如著名的分离公理,实际上也是对“集合”这个概念的一种限制条件(这个公理的目的是为了避免罗素悖论)。既然主流数学可以提限制性的公理,那么一部分人要求提更强的限制公理也是很正常的。确实有数学家心理上就抵触“无穷”这个概念,觉得对无穷的讨论让人不舒服。

但是反对某种哲学立场,不意味着 持这种哲学立场的人,在自己的框架内就不能讨论自己关心的问题。ZFC框架下建立实数理论,然后讨论实数集合的不可数性,这个完全是合法的(valid);康托尔的证明也是完全符合ZFC公理和基本的逻辑公理的。你不能因为自己反对实数定义就不允许别人讨论实数,这也太霸道了。。当然有人不是真的反对实数构造,大部分人只是没有理解实数构造(比如很多人没想清楚,无限小数到底是什么样的数;因为他们没正确理解无限小数,导致他们会写出0.0000..(无限个0)01这样的数)。但不管是没有理解,还是理解了之后表示反对,都只能代表你自己的立场,不代表接受这种立场的人不能在这个框架内做自洽的逻辑推导。




  

相关话题

  请问这个实变证明题怎么做? 
  为什么计算圆的周长与面积、球的表面积与体积,使用的都是 π,而不是三个不同的数?是偶然还是必然? 
  Ln(-3-3i)等于多少? 
  十个人赛跑第一名和一百人赛跑的第十名,谁厉害? 
  怎么看待数学界天才崇拜这种文化? 
  刚看了一个柯西不等式的推论,不知如何证明,希望得到解答? 
  如果哥德巴赫猜想是由现代的普通人提出,是否会被人认可? 
  a,b,c,d 是正实数,且 a²+b²+c²+d²+abcd=5,怎么证明 a+b+c+d≤4? 
  偏微分方程在纯数学有什么应用? 
  关于算法导论定理3.1,为什么感觉快速排序的时间复杂度不满足这个定理? 

前一个讨论
为什么说高斯公式是斯托克斯公式的特例?
下一个讨论
如何分步骤快速看懂上市公司年报?





© 2025-04-04 - tinynew.org. All Rights Reserved.
© 2025-04-04 - tinynew.org. 保留所有权利