设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 视  频 博  客 论  坛 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
     
  慕容青草的博客
  哲学与信仰
网络日志正文
一不小心破解连续性假说(CH)? 2022-07-18 09:49:02

戴榕菁

所谓连续性假说(Continuum Hypothesis,缩写CH)是有著名集合论大师康托在1878年提出来,又被希尔伯特在1900年列为23个数学问题的第一个,而且据说至今也没有明确答案的一个问题。其基本论点为:不存在这样一个集合,它的基数大于自然数集合的基数而小于实数集合的基数。

昨天在academia被邀请去参加某人证明CH的文章的讨论(https://www.academia.edu/s/a6ed99ac3f?source=link)。我之前从未关心过这个问题(不敢说没听说过,因为这些年读过的文章数不清,未必都留下印象。只能说没什么印象),不过昨天我直觉感到这个假说本身就是错的。我给出了一个简单的反例,但因为没有用到无穷的概念,被那里的人认为不能接受。今天我上网查了一下,发现康托本人的工作似乎并非要证明这个假说,而是要否定这个假说,只不过一直未成功。后来的哥德尔等人用复杂的数学也是为了证明这个假说不对,只不过未能成功而已。

上面这些信息对一上来就要否认该假说的我来说是很大的鼓舞,于是我便将昨天给出的简单的反例扩展到无穷大集合来否定CH的合理性。我个人至少目前感觉我的证明是严格的。下面是我的证明:

先证明有理数序列的基数大于自然数序列。

我们可以将自然数序列表达为:

1, 2, ….m, m+1,…..

其中m是任意一个自然数,则我们可以构建下面有理数的无穷大序列:

1/2, 2, 1, 2, -1/2, -2, -1,-2, …..m/(m+1), (m+1)/m, m, m+1, -m/(m+1), -(m+1)/m, -m, -(m+1), …….

很显然,不论你如何延展这个有理数序列,它的基数都是自然数的4倍;即便我们要除去重复的数(除去所有被1除的数,及其它的整数倍的分数),它的基数也一定是大于自然数。

再来证明实数的基数大于自然数的基数。

对于任何一个大于1的有理数m/n,我们可以构造下面这个序列:

(m/n)^(1/2), (m/n)^(1/3), (m/n)^(1/4)…..(m/n)^(1/k)…..

该序列中的至少绝大多数都是无理数。所以,实数的基数一定大于有理数。

至此希尔伯特的23问题之第一问题的连续性假说(Continuum HypothesisCH)被否定。

。。。。。。

我的证明是个意外,因此欢迎数学大师们来找毛病。。。。


浏览(1251) (0) 评论(3)
发表评论
文章评论
作者:慕容青草 留言时间:2022-07-19 07:21:21

去年当有网友向我提出康托所制造的虚幻时,我还不以为然,现在看来这个世界是在相当程度上被康托洗了脑。。。本文可以帮助打击康托虚幻。。。。。。

回复 | 0
作者:慕容青草 留言时间:2022-07-19 05:37:22

这些年已经习惯了在最不会被认为是皇帝新衣的舞台上观看安德森的皇帝新衣动画片,先是哲学,后是物理学,现在又轮到数学。。。。。。

回复 | 0
作者:慕容青草 留言时间:2022-07-18 13:07:16

看来我又干对了!

academia的那个关于CH的讨论被删了。。。这些年来已经形成一个惯例,每当遇到这种对抗新哲学的怪事的时候,我就知道我又干对了。。。

如果这次我真的在无意中破解了希尔伯特23问题中的第一个问题的话,那真是上帝给我的又一大礼物!

感谢上帝的恩典!一切荣耀归于上帝!

顺便提一句,那个讨论被删前的内容我有存档,谁感兴趣,提供email或微信我可以传过去。。。。。

回复 | 0
我的名片
慕容青草
来自: ny
注册日期: 2007-08-15
访问总量: 1,835,334 次
点击查看我的个人资料
Calendar
我的公告栏
拆房
如何锁定人类科学
20世纪物理学
复杂情势下之最佳优先考虑
成功与别人的帮助
对抗真理的结果
旧房子的哲学
拔枯树
站与踩
哲学是公开的密码
普朗克论科学真理之传播
黑格尔论学习的过程
黑格尔论逻辑
自勉
欢迎交流
最新发布
· 这个网军真叫牛
· 网络时代的未来人之幻象
· 一次挤牙膏式的听证会
· 哲学无穷大与数学无穷大
· 病好了
· 有冇后生仔愿去拆掉那个阁楼?
· 排除正确答案之答案
存档目录
2024-11-05 - 2024-11-21
2024-10-02 - 2024-10-31
2024-09-01 - 2024-09-18
2024-08-01 - 2024-08-31
2024-07-02 - 2024-07-29
2024-06-01 - 2024-06-28
2024-05-02 - 2024-05-28
2024-04-01 - 2024-04-30
2024-03-02 - 2024-03-29
2024-02-03 - 2024-02-29
2024-01-01 - 2024-01-30
2023-12-05 - 2023-12-24
2023-11-06 - 2023-11-27
2023-10-02 - 2023-10-29
2023-09-01 - 2023-09-29
2023-08-01 - 2023-08-31
2023-07-01 - 2023-07-31
2023-06-01 - 2023-06-30
2023-05-02 - 2023-05-29
2023-04-04 - 2023-04-29
2023-03-03 - 2023-03-29
2023-02-01 - 2023-02-28
2023-01-01 - 2023-01-30
2022-12-02 - 2022-12-31
2022-11-02 - 2022-11-23
2022-10-09 - 2022-10-31
2022-09-01 - 2022-09-30
2022-08-01 - 2022-08-21
2022-07-02 - 2022-07-31
2022-06-15 - 2022-06-25
2022-05-06 - 2022-05-27
2022-04-07 - 2022-04-30
2022-03-03 - 2022-03-28
2022-02-01 - 2022-02-28
2022-01-01 - 2022-01-30
2021-12-01 - 2021-12-29
2021-11-02 - 2021-11-29
2021-10-02 - 2021-10-29
2021-09-08 - 2021-09-30
2021-08-08 - 2021-08-31
2021-07-18 - 2021-07-26
2021-06-03 - 2021-06-27
2021-05-04 - 2021-05-29
2021-04-04 - 2021-04-28
2021-03-08 - 2021-03-27
2021-02-12 - 2021-02-28
2021-01-04 - 2021-01-28
2020-12-02 - 2020-12-30
2020-11-01 - 2020-11-26
2020-10-06 - 2020-10-29
2020-09-01 - 2020-09-29
2020-08-06 - 2020-08-27
2020-07-02 - 2020-07-27
2020-06-07 - 2020-06-29
2020-05-01 - 2020-05-31
2020-04-17 - 2020-04-30
2020-03-08 - 2020-03-20
2020-02-20 - 2020-02-24
2020-01-10 - 2020-01-31
2019-12-02 - 2019-12-31
2019-11-07 - 2019-11-30
2019-10-07 - 2019-10-30
2019-09-14 - 2019-09-26
2019-08-13 - 2019-08-21
2019-07-23 - 2019-07-29
2019-06-06 - 2019-06-23
2019-05-05 - 2019-05-25
2019-04-01 - 2019-04-22
2019-03-07 - 2019-03-29
2019-02-09 - 2019-02-27
2019-01-01 - 2019-01-21
2018-12-01 - 2018-12-31
2018-11-04 - 2018-11-24
2018-10-01 - 2018-10-30
2018-09-01 - 2018-09-30
2018-08-01 - 2018-08-29
2018-07-02 - 2018-07-27
2018-06-02 - 2018-06-26
2018-05-13 - 2018-05-28
2018-04-03 - 2018-04-28
2018-03-02 - 2018-03-28
2018-02-10 - 2018-02-28
2018-01-08 - 2018-01-27
2017-12-06 - 2017-12-30
2017-11-09 - 2017-11-25
2017-10-15 - 2017-10-15
2017-09-05 - 2017-09-30
2017-08-05 - 2017-08-27
2017-07-14 - 2017-07-24
2017-06-09 - 2017-06-24
2017-05-02 - 2017-05-02
2017-04-04 - 2017-04-26
2017-03-02 - 2017-03-30
2017-02-02 - 2017-02-27
2017-01-25 - 2017-01-30
2016-12-04 - 2016-12-31
2016-11-16 - 2016-11-23
2016-10-04 - 2016-10-27
2016-09-08 - 2016-09-29
2016-08-02 - 2016-08-31
2016-07-02 - 2016-07-27
2016-06-08 - 2016-06-30
2016-05-02 - 2016-05-22
2016-04-01 - 2016-04-13
2016-03-06 - 2016-03-31
2016-02-07 - 2016-02-23
2016-01-18 - 2016-01-18
2015-12-04 - 2015-12-30
2015-11-02 - 2015-11-27
2015-10-25 - 2015-10-29
2015-09-06 - 2015-09-24
2015-07-11 - 2015-07-25
2015-06-22 - 2015-06-22
2015-05-01 - 2015-05-29
2015-04-14 - 2015-04-14
2015-03-07 - 2015-03-22
2015-02-02 - 2015-02-21
2015-01-20 - 2015-01-20
2014-12-06 - 2014-12-06
2014-11-08 - 2014-11-24
2014-10-03 - 2014-10-20
2014-09-09 - 2014-09-27
2014-08-16 - 2014-08-16
2014-07-12 - 2014-07-25
2014-06-08 - 2014-06-14
2014-05-09 - 2014-05-16
2014-04-02 - 2014-04-29
2014-03-01 - 2014-03-28
2014-02-03 - 2014-02-28
2014-01-02 - 2014-01-29
2013-12-02 - 2013-12-30
2013-11-02 - 2013-11-27
2013-10-02 - 2013-10-29
2013-09-02 - 2013-09-28
2013-08-02 - 2013-08-31
2013-07-01 - 2013-07-26
2013-06-05 - 2013-06-21
2013-05-06 - 2013-05-31
2013-04-08 - 2013-04-30
2013-03-01 - 2013-03-28
2013-02-07 - 2013-02-27
2013-01-11 - 2013-01-29
2012-12-01 - 2012-12-26
2012-11-15 - 2012-11-15
2012-10-07 - 2012-10-28
2012-09-05 - 2012-09-28
2012-08-24 - 2012-08-24
2012-07-03 - 2012-07-20
2012-06-02 - 2012-06-30
2012-05-01 - 2012-05-30
2012-04-03 - 2012-04-29
2012-03-01 - 2012-03-31
2012-02-03 - 2012-02-27
2012-01-29 - 2012-01-29
2011-12-02 - 2011-12-13
2011-11-06 - 2011-11-28
2011-10-12 - 2011-10-27
2011-09-24 - 2011-09-24
2011-08-04 - 2011-08-09
2011-07-02 - 2011-07-31
2011-06-06 - 2011-06-28
2011-05-09 - 2011-05-27
2011-04-18 - 2011-04-24
2011-03-10 - 2011-03-23
2011-02-10 - 2011-02-17
2011-01-14 - 2011-01-14
2010-11-26 - 2010-11-26
2010-10-13 - 2010-10-13
2010-09-12 - 2010-09-29
2010-08-22 - 2010-08-29
2010-07-05 - 2010-07-27
2010-06-12 - 2010-06-26
2010-05-09 - 2010-05-29
2010-04-11 - 2010-04-17
2010-03-10 - 2010-03-28
2010-02-16 - 2010-02-16
2010-01-04 - 2010-01-31
2009-12-04 - 2009-12-29
2009-11-22 - 2009-11-26
2009-06-03 - 2009-06-29
2009-05-13 - 2009-05-13
2009-02-13 - 2009-02-22
2009-01-14 - 2009-01-18
2008-12-08 - 2008-12-28
2008-11-01 - 2008-11-29
2008-10-04 - 2008-10-27
2008-09-12 - 2008-09-26
2008-08-01 - 2008-08-22
2008-07-15 - 2008-07-31
2008-06-07 - 2008-06-29
2008-05-01 - 2008-05-30
2008-04-19 - 2008-04-28
2008-02-02 - 2008-02-19
2008-01-08 - 2008-01-28
2007-11-01 - 2007-11-07
2007-10-02 - 2007-10-29
2007-09-04 - 2007-09-30
2007-08-15 - 2007-08-29
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2024. Creaders.NET. All Rights Reserved.