第2章 两位挂逼的跨洋对话第2/3段
“这里说康托证明实数集合不可数用的是区间套方法和对角线方法。”
“在这两个证明中用的是反证法。”
“而实数集合不可数就是连续统假设。”
“连续统假设没证明成功，自然是康托的错误。”
“嘿……”叶非好笑：“这人真鸡贼，这不妥妥的标题党吗！”
“嗯……”叶非沉吟片刻，突然眼前一亮：“倒是可以这样解啊！”
“虽然不能完全证明出连续统假设，但这个思路也许能解出一些小问题。”
说完，叶非在下面留言。
【证明：首先证明，因为对于任一x∈s，令?(x)={x}，且x1≠x2时……】
北丽国，麻省理工博士生宿舍！
一位金发黑眼，五官精致而深邃，双眸宛若精灵，二十岁左右白人女孩，正撑着下巴无聊的看着电脑屏幕上留言区许多人对她的耻笑。
女孩叫艾尔雪·彼得罗夫，她还有一个中文名叫李艾雪。
别看她是白人的外表，但她却是夏国人。
她爷爷是夏国汉族人，奶奶是北斯国东斯拉夫人，外公是北丽国高加索人，外婆是夏国维吾尔族人。
她身上流淌着三个国家，四个民族的血统。
李艾雪是一名数学天才，十五岁考上京大，十七岁去麻省理工读研，十九岁读博。
现在她二十岁。
她主要研究的东西不是集合论，只是最近有研究触及到集合论了。
研究集合论自然要研究连续统假设。
所以，在两个小时前，她发了一篇关于实数集合的帖子到Stage。
为了吸引流量，她特意写康托在集合论中有错误，她经常这么做，屡试不爽，每次都能吸引一大波人。
偶尔能吸引来某位大佬的留言，能让她对数学的研究豁然开朗。
修长的白嫩手指滑动着鼠标滚轴，浏览着网页，无视那些耻笑的人。
“嗯？”她突然停住动作，直起身子，定眼看去。
“用罗素悖论证明实数集合不可数？”
她双眸闪烁，拿过一旁的纸笔计算。
片刻后，她兴奋的道：“就是如此，但他说的并不完美，还应该如此。”
他快速在叶非的留言下留言。
【感谢你的回复，让我找到灵感，但我觉得还应该进行如下补充。
假若x∈s成立，根据(3)式中对s中元素的要求……
……
假若x?s，由s=φ(x)得x?φ(x)……】
所以，在两个小时前，她发了一篇关于实数集合的帖子到Stage。
本章未完,请点击下一段进行阅读!