第一百零六章 故人……算是吧？（2/2）
作者：吾道长不孤
风一只，可偏偏就是“您现在不在服务区”，这真是一件蛋疼的事情。
“那你准备干什么？”
“看看书。”王崎从储物袋里面取出一本数学专著，说道：“已经在那些杂碎身上浪费了不少时间了。”
《一般集合论基础》，和地球上那本同名的理论专著一样，被认为是集合论的基础，也是数学开始被统一的地方。
以王崎二十一世纪的眼光来看，这本书已经有些落后了。没有经过希尔伯特的深入，没有哥德尔、图灵的涅槃，这最初的集合论还没有解释所有数学的能力。
但是，王崎依旧看得很认真。
两个世界的数学虽然整体上高度相似，但细微处还是有些不同——就比如王崎至今还是没有完全弄懂神州修士是如何绕过“黄金的对角线”构建数学体系的。王崎现在做的，就是感受这个世界数学的脉络，夯实自己的基础。
王崎一想到自己有机会参与这个异界版的希尔伯特计划就兴奋得不能自抑。这是属于数学家的狂热。为了能够更好的参与这一场数学的狂宴，他必须提升提升再提升。
“逻辑固然是不完备的，系统固然是未必相容的，命题固然是未必可判定的……但是，希尔伯特计划不应该失败，至少不应该这么早就宣告失败。”
——没有任何人能将我们从康托尔所创造的伊甸园中驱赶出来。
如果我可以在完备性定理之前将算术系统的相容性抛出来……引导大家证明，或者我自己证明的话，或许这个数学的大飞跃能够更加持久一些？
就在王崎心神渐渐沉浸在集合论的世界里时，有人敲响了管住他的铁门。
王崎被打断思考时显得有些暴躁。看见牢房门口那张陌生的连，他不耐烦的说道：“什么？有什么事？你谁？来打架还是干什么？不是要紧事别来烦我。”
锦衣华服的少年吓了一跳，试探的问道：“王兄？”
诶？熟人？
王崎看着华服少年，问道：“请问……我们见过吗？”
少年苦笑，像是有些畏惧王崎：“王兄果然贵人多忘事啊，我们一个仙院的……”
“仙院一届就是千把人，我还得个个都记住？”
“我们可是不打不相识……”
“我揍过的人多了，行了别打哑谜，直接说名字。”
少年被噎住了很久，才说道：“不知道王兄还记不记得杜斌这个名字？”
王崎好不容易才从记忆中把这个名字翻了出来：“哦哦，是你啊！”
当初好像就是为了那只笨猫砍断了这货的飞剑是吧？我是不是还揍过他？什么时候来着？
杜斌不知道自己再对方的记忆里已经沦为某个半妖的陪衬，爽朗的笑道：“想不到还能在这里遇到王兄，真是……”
这货当初就是这个人设？王崎疑惑的看着对方，总有种“我的人生过去几百章然后熟人的人设就崩坏了”的感觉。
“那你准备干什么？”
“看看书。”王崎从储物袋里面取出一本数学专著，说道：“已经在那些杂碎身上浪费了不少时间了。”
《一般集合论基础》，和地球上那本同名的理论专著一样，被认为是集合论的基础，也是数学开始被统一的地方。
以王崎二十一世纪的眼光来看，这本书已经有些落后了。没有经过希尔伯特的深入，没有哥德尔、图灵的涅槃，这最初的集合论还没有解释所有数学的能力。
但是，王崎依旧看得很认真。
两个世界的数学虽然整体上高度相似，但细微处还是有些不同——就比如王崎至今还是没有完全弄懂神州修士是如何绕过“黄金的对角线”构建数学体系的。王崎现在做的，就是感受这个世界数学的脉络，夯实自己的基础。
王崎一想到自己有机会参与这个异界版的希尔伯特计划就兴奋得不能自抑。这是属于数学家的狂热。为了能够更好的参与这一场数学的狂宴，他必须提升提升再提升。
“逻辑固然是不完备的，系统固然是未必相容的，命题固然是未必可判定的……但是，希尔伯特计划不应该失败，至少不应该这么早就宣告失败。”
——没有任何人能将我们从康托尔所创造的伊甸园中驱赶出来。
如果我可以在完备性定理之前将算术系统的相容性抛出来……引导大家证明，或者我自己证明的话，或许这个数学的大飞跃能够更加持久一些？
就在王崎心神渐渐沉浸在集合论的世界里时，有人敲响了管住他的铁门。
王崎被打断思考时显得有些暴躁。看见牢房门口那张陌生的连，他不耐烦的说道：“什么？有什么事？你谁？来打架还是干什么？不是要紧事别来烦我。”
锦衣华服的少年吓了一跳，试探的问道：“王兄？”
诶？熟人？
王崎看着华服少年，问道：“请问……我们见过吗？”
少年苦笑，像是有些畏惧王崎：“王兄果然贵人多忘事啊，我们一个仙院的……”
“仙院一届就是千把人，我还得个个都记住？”
“我们可是不打不相识……”
“我揍过的人多了，行了别打哑谜，直接说名字。”
少年被噎住了很久，才说道：“不知道王兄还记不记得杜斌这个名字？”
王崎好不容易才从记忆中把这个名字翻了出来：“哦哦，是你啊！”
当初好像就是为了那只笨猫砍断了这货的飞剑是吧？我是不是还揍过他？什么时候来着？
杜斌不知道自己再对方的记忆里已经沦为某个半妖的陪衬，爽朗的笑道：“想不到还能在这里遇到王兄，真是……”
这货当初就是这个人设？王崎疑惑的看着对方，总有种“我的人生过去几百章然后熟人的人设就崩坏了”的感觉。