与平凡为友分享 http://blog.sciencenet.cn/u/yanghualei 我知我无知

博文

学科的假设和基础无法用学科内原理判断真伪--感连续统和几何公设

已有 3257 次阅读 2010-9-12 12:52 |个人分类:科学史|系统分类:观点评述| 平行公设, 连续统, 欧几里得, 康托

  正如几何原本中的平行公设,随后数学家绞尽脑汁试图从其他公设演绎出这一公设,但结果就像仅用圆规和直尺化圆为方一样,永不可达到;平行公设完确独立于其他几何原理,数学家无法用欧式几何系统里的知识证明其是对或者是错,这种疑难的,A非A的问题,2000年后数学家面对着康托的连续统假设,好像这种系统法则又在隐约重现:集合论中的连续统假设多么类似几何原本中平行公设假设。

  集合论不断的发展着,数学家也不断的惶恐着,这种疑团被哥德尔和科恩化解掉,使得这种疑难的A非A的,系统假设有时无法用系统原理判断其真伪的系统法则再现。

  哥德尔证明了数学家们不能用集合论来证明连续统假设的不成立,随后科恩证明相反的命题数学家们不能用集合论来证明连续统假设的成立,它们类似一个孤岛,自成系统;总之就像我们无法证明我们自己,犯人不能证明其有无犯罪一样,这种普遍的自然和社会法则存在于任何物质系统一样,而数学和哲学正是物质系统的镜像,存在于数学问题中就不足为奇。

   今天看到集合论中的这个连续统假设,想把其延拓到更广的区域内,对于社会和自然科学中的任何一完备的学科体系,都是基于一定假设或者是公理的,然后进行推理建立严格的逻辑体系;于是疑问:对于一学科的理论基础和初始假设是否有时候也不能有此学科体系中的理论加以证明,并辨别其是非?

  就像经济学中经济人假设:市场中的人是追求自己效应和利益最大化的人,那这个假设是否可以有经济学其他假设和理论进而推导出,并辨别其是非呢?这不是经济学能证明的是非命题,这是生命科学研究的范畴,严格的说这是物理学命题。

  疑难的A非A的命题,系统假设有时无法用系统内部原理加以判断其真伪的系统法则作者想将在更多讲究逻辑追求严谨的学科中陆续发现。

 

  



https://blog.sciencenet.cn/blog-456786-362297.html

上一篇:交换力实现资源共享--解释区域一体化的条件
下一篇:对欲望应采取低碳环保使用
收藏 IP: .*| 热度|

0

发表评论 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

全部作者的其他最新博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-5-21 23:15

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部