第二百一十七章 掺一脚（第3页）

除此之外，再也没有什么利益能够打动他了。

倒不如说，为了实现他的理想。

王崎这种有天分的后辈越多越好。

从这个层面来讲，冯落衣对王崎的支持当真可以说是不遗余力。

这也是那些已经“登顶”

的家伙不吝啬于提携后辈的原因。

冯落衣则在脑海当中思考王崎的思路。

他想到：“看你这态势，竟好似要杀穿这个二十三问啊。”

“不敢，不敢。”

王崎要要有。

二十三问何其可怕？就算在地球，这二十三个问题当中依旧有数问是悬而未决的。

他就算有信心独立解决其中的一两问，也不敢说能够解决所有。

冯落衣摇摇头：“以后的事情。

谁知道呢？五六年前吧，我就没看出来，你居然能够循着那个完备性，一举击穿第二问、第十问——唔，说不定还要再添上第一问。”

“不过……”

冯落衣的眼神突然锐利起来：“你好像总是很喜欢走弯路。”

“弯路？”

王崎错愕。

力迫法才是完美解决连续统假设问题的不二之选啊？为什么是弯路？

“我最近看到了一个思路，很奇特，很有趣。”

冯落衣盯着王崎的眼睛，道：“将所有可建立集合同和成一个系统，在无限中比较无限的大小……”

王崎错愕：“有人想出来了？”

这就是当初哥德尔证明连续统假设的思路！

在zf公理允许的范围之内推到，证明，若是zf公理系统具备一致性，则连续统假设为真。

在zf公理体系之内，连续统假设无法被证伪。

对于二十三问来说，这应该已经算是一个完美的答案了。

但是，“不能证伪”

并不代表“证实”

。

沿着这个思路，人们同样可以证出，在zf公理系统之内，连续统假设不能证实。

换句话说，连续统问题在集合论的范畴之内，是一个具备了不可判定性的问题。

如果这个“不能证实也不能证伪”

的结论再早一点，那么不用严格证明第十问，这就是对“可判定性”

的一个绝对反例。

只有在现有公理体系之外，才能证明。

力迫法，就是冲出原有公理体系的束缚，自开体系、自定道路。

但是，若试集合论、现有公理系统为基石，那么这个“自创”

的系统，又应该怎么算？基石之外？算学之内？

这也是力迫法重大意义的来源。

听到王崎的惊呼，冯落衣眼光一闪：“这个思路，你也想到过是吧？”

本章未完，点击下一页继续阅读