第352页

《一般集合论基础》,和地球上那本同名的理论专著一样,被认为是集合论的基础,也是数学开始被统一的地方。

以王崎二十一世纪的眼光来看,这本书已经有些落后了。没有经过希尔伯特的深入,没有哥德尔、图灵的涅槃,这最初的集合论还没有解释所有数学的能力。

但是,王崎依旧看得很认真。

两个世界的数学虽然整体上高度相似,但细微处还是有些不同——就比如王崎至今还是没有完全弄懂神州修士是如何绕过“黄金的对角线”构建数学体系的。王崎现在做的,就是感受这个世界数学的脉络,夯实自己的基础。

王崎一想到自己有机会参与这个异界版的希尔伯特计划就兴奋得不能自抑。这是属于数学家的狂热。为了能够更好的参与这一场数学的狂宴,他必须提升提升再提升。

“逻辑固然是不完备的,系统固然是未必相容的,命题固然是未必可判定的……但是,希尔伯特计划不应该失败,至少不应该这么早就宣告失败。”

——没有任何人能将我们从康托尔所创造的伊甸园中驱赶出来。

如果我可以在完备性定理之前将算术系统的相容性抛出来……引导大家证明,或者我自己证明的话,或许这个数学的大飞跃能够更加持久一些?

就在王崎心神渐渐沉浸在集合论的世界里时,有人敲响了管住他的铁门。

王崎被打断思考时显得有些暴躁。看见牢房门口那张陌生的连,他不耐烦地说道:“什么?有什么事?你谁?来打架还是干什么?不是要紧事别来烦我。”

锦衣华服的少年吓了一跳,试探地问道:“王兄?”

诶?熟人?

王崎看着华服少年,问道:“请问……我们见过吗?”

少年苦笑,像是有些畏惧王崎:“王兄果然贵人多忘事啊,我们一个仙院的……”

“仙院一届就是千把人,我还得个个都记住?”

“我们可是不打不相识……”