| 查看: 3403 | 回复: 32 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
彻底推翻希尔伯特无穷旅馆的诡辩已有21人参与
|
|||
|
德国大数学家希尔伯特为了说明集合论中一一对应的问题，曾经讲了一个叫做无穷旅馆的故事，简述如下：有一个无穷旅馆，内设有无穷多个房间，有一天，旅馆内所有的房间全都住满了客人，但是又来了一位旅客，一定要在旅馆中住下，于是聪明的老板想了一个绝妙的方法，让1号房间的客人搬到2号房间，2号房间的客人搬到3号房间，3号房间的客人搬到4号房间……，这样，新来的客人住进了1号房间，而原来的客人也全都有了房间。 这个故事刚一听起来感觉非常荒谬，但是人们又不能从中找出任何逻辑上的错误，于是，只好接受一个看起来荒谬的事实。 那么，这个故事真的没有任何逻辑矛盾吗？当然有，其实这个故事是耍了一个无穷的逻辑陷阱，因为这个n号客人搬到n+1号房间的过程是无穷无尽的，谁也无法验证最后究竟有没有客人没有房间住。正因为这无穷无尽的过程无法验证，所以希尔伯特的诡辩才能得逞。 所以，只要能够证明有一个客人没有房间住，就能彻底推翻希尔伯特的谬论。 下面建立两个数学模型，来证明一定有一个人没有房间住。 第一个数学模型：还是那个无穷旅馆，但是这一次，旅馆中只有一位客人，假设这位客人叫小A，他住在0号房间，小A闲得无聊，忽然想要参观一下旅馆中的所有房间，于是他设计出来了一个方法，使得他能够在一分钟的时间里参观完所有的房间：当时间为1/2分钟时，小A进入1号房间，当时间为3/4分钟时，小A进入2号房间，当时间为7/8分钟时，小A进入3号房间……依此类推，也就是在1分钟的时间里，小A会进入无穷多个房间，也就是将旅馆中所有的房间全都参观一遍。 现在的问题是：当时间为1分钟时，小A在哪一个房间里？ 可以证明，当时间为1分钟时，小A不在任何一个房间里，因为，假设1分钟时小A在G号房间里，因为G是一个自然数，那么根据皮亚诺公理，G的后继G+1也一定是一个自然数，同理：G+2，G+3，G+4……等全都是自然数，说明当时间为1分钟时，小A还有无穷多的房间没有参观到，这与小A能在1分钟的时间里参观完所有的房间相矛盾。 所以，当时间为1分钟时，小A不在任何一个房间里。 下面给出第二个数学模型：还是那个无穷旅馆，还是只有小A住在0号房间里（其余的所有房间全是空的），这时忽然来了无穷多个客人，要在旅馆中入住，旅馆老板为了维持秩序，让所有的客人按照自然数0，1，2，3……的顺序依次在门外排好序列，然后按照如下的方法依次进入旅馆房间：当时间为1/2分钟时，0号客人进入0号房间，则小A进入1号房间，当时间为3/4分钟时，0号客人进入1号房间，1号客人进入0号房间，则小A进入2号房间，当时间为7/8分钟时，0号客人进入2号房间，1号客人进入1号房间，2号客人进入0号房间，则小A进入3号房间……依此类推。 可以证明：当时间为1分钟时，所有的自然数编号的客人全都住进了房间里。 但现在出现了两个问题：（1）：小A住在哪个房间？（2）：住在0号房间的客人的自然数编号是什么？ 由模型（1）可知：当时间为1分钟时，小A不在任何一个房间里，也就是说小A没有房间住。由于这个数学模型与希尔伯特的原数学模型是等价的，所以也就推翻了希尔伯特的所有客人全都有房间住的谬论。 第（2）个问题：0号房间住的客人的编号不是任何一个自然数，因为，假设0号房间中住的客人的编号为E，因为E是一个自然数，那么根据皮亚诺公理，E的后继E+1也是一个自然数，如果0号房间中住的客人的编号为E，则E+1，E+2，E+3……等无穷多个客人全都没有房间可住，从而说明无穷旅馆的房间数是有限的，矛盾。 |
回复此楼» 猜你喜欢
孩子确诊有中度注意力缺陷
已经有12人回复
-
2025冷门绝学什么时候出结果
已经有3人回复
-
天津工业大学郑柳春团队欢迎化学化工、高分子化学或有机合成方向的博士生和硕士生加入
已经有4人回复
-
康复大学泰山学者周祺惠团队招收博士研究生
已经有6人回复
-
AI论文写作工具：是科研加速器还是学术作弊器？
已经有3人回复
-
2026博士申请-功能高分子，水凝胶方向
已经有6人回复
-
论文投稿，期刊推荐
已经有4人回复
-
硕士和导师闹得不愉快
已经有13人回复
-
请问2026国家基金面上项目会启动申2停1吗
已经有5人回复
-
同一篇文章，用不同账号投稿对编辑决定是否送审有没有影响？
已经有3人回复
» 本主题相关价值贴推荐，对您同样有帮助:
【转帖】理解矩阵
已经有51人回复
10楼2017-04-04 13:25:43
zkhlwyx
金虫 (小有名气)
- 应助: 0 (幼儿园)
- 金币: 1203.5
- 散金: 176
- 帖子: 69
- 在线: 12.8小时
- 虫号: 4439966
- 注册: 2016-02-26
- 性别: GG
- 专业: 数论
2楼2017-04-02 23:33:59
3楼2017-04-03 12:16:47
zkhlwyx
金虫 (小有名气)
- 应助: 0 (幼儿园)
- 金币: 1203.5
- 散金: 176
- 帖子: 69
- 在线: 12.8小时
- 虫号: 4439966
- 注册: 2016-02-26
- 性别: GG
- 专业: 数论
4楼2017-04-03 12:42:57