第2章 两位挂逼的跨洋对话 (第2/3页)
“不,应该说不是康托集合上的错误,而是他这题出的很巧妙,向连续统假设上引。”
“这里说康托证明实数集合不可数用的是区间套方法和对角线方法。”
“在这两个证明中用的是反证法。”
“而实数集合不可数就是连续统假设。”
“连续统假设没证明成功,自然是康托的错误。”
“嘿……”叶非好笑:“这人真鸡贼,这不妥妥的标题党吗!”
“嗯……”叶非沉吟片刻,突然眼前一亮:“倒是可以这样解啊!”
“虽然不能完全证明出连续统假设,但这个思路也许能解出一些小问题。”
说完,叶非在下面留言。
【证明:首先证明,因为对于任一x∈s,令ƒ(x)={x},且x1≠x2时……】
北丽国,麻省理工博士生宿舍!
一位黄皮肤青年,正撑着下巴无聊的看着电脑屏幕上,等待有人回他消息。
青年叫高飞,夏国人,麻省理工博士。
他主要研究的东西不是集合论,只是最近有研究触及到集合论了。
研究集合论自然要研究连续统假设。
所以,在两个小时前,他发了一篇关于实数集合的帖子到Stack Exchange。
为了吸引流量,他特意写康托在集合论中有错误,他经常这么做,屡试不爽,每次都能吸引一大波人。
偶尔能吸引来某位大佬的留言,能让他对数学的研究豁然开朗。
修长的手指滑动着鼠标滚轴,浏览着网页。
“嗯?”他突然停住动作,直起身子,定眼看去。
“用罗素悖论证明实数集合不可数?”
他双眸闪烁,拿过一旁的纸笔计算。
片刻后,他兴奋的道:“就是如此,但他说的并不完美,还应该如此。”
他快速在叶非的留言下留言。
【感谢你的回复,让我找到灵感,但我觉得还应该进行如下补充。
假若x∈s
(本章未完,请点击下一页继续阅读)