手机浏览器扫描二维码访问
“看看书。”王崎从储物袋里面取出一本数学专著,说道:“已经在那些杂碎身上浪费了不少时间了。”
一般集合论基础,和地球上那本同名的理论专著一样,被认为是集合论的基础,也是数学开始被统一的地方。
以王崎二十一世纪的眼光来看,这本书已经有些落后了。没有经过希尔伯特的深入,没有哥德尔、图灵的涅槃,这最初的集合论还没有解释所有数学的能力。
但是,王崎依旧看得很认真。
两个世界的数学虽然整体上高度相似,但细微处还是有些不同——就比如王崎至今还是没有完全弄懂神州修士是如何绕过“黄金的对角线”构建数学体系的。王崎现在做的,就是感受这个世界数学的脉络,夯实自己的基础。
王崎一想到自己有机会参与这个异界版的希尔伯特计划就兴奋得不能自抑。这是属于数学家的狂热。为了能够更好的参与这一场数学的狂宴,他必须提升提升再提升。
“逻辑固然是不完备的,系统固然是未必相容的,命题固然是未必可判定的……但是,希尔伯特计划不应该失败,至少不应该这么早就宣告失败。”
——没有任何人能将我们从康托尔所创造的伊甸园中驱赶出来。
如果我可以在完备性定理之前将算术系统的相容性抛出来……引导大家证明,或者我自己证明的话,或许这个数学的大飞跃能够更加持久一些?
就在王崎心神渐渐沉浸在集合论的世界里时,有人敲响了管住他的铁门。
王崎被打断思考时显得有些暴躁。看见牢房门口那张陌生的连,他不耐烦的说道:“什么?有什么事?你谁?来打架还是干什么?不是要紧事别来烦我。”
锦衣华服的少年吓了一跳,试探的问道:“王兄?”
诶?熟人?
王崎看着华服少年,问道:“请问……我们见过吗?”
少年苦笑,像是有些畏惧王崎:“王兄果然贵人多忘事啊,我们一个仙院的……”
“仙院一届就是千把人,我还得个个都记住?”
“我们可是不打不相识……”
“我揍过的人多了,行了别打哑谜,直接说名字。”
少年被噎住了很久,才说道:“不知道王兄还记不记得杜斌这个名字?”
王崎好不容易才从记忆中把这个名字翻了出来:“哦哦,是你啊!”
当初好像就是为了那只笨猫砍断了这货的飞剑是吧?我是不是还揍过他?什么时候来着?
杜斌不知道自己再对方的记忆里已经沦为某个半妖的陪衬,爽朗的笑道:“想不到还能在这里遇到王兄,真是……”
这货当初就是这个人设?王崎疑惑的看着对方,总有种“我的人生过去几百章然后熟人的人设就崩坏了”的感觉。
手机用户请浏览阅读,更优质的阅读体验。
有多少人还记得那个id,那个让无数职业选手闻风丧胆的id,若风叫他呆哥,草莓被他带到国服第一,笑笑,厂长,pdd看到他在对面直接就挂机。他却因为一次任性被封号三年。他制造了英雄联盟在线人数最少的纪录。他是国服最早的两大路人王之一他被称为传奇。如今,传奇回来了,在这个传奇正盛的年代,他回来了!他的id叫做发呆!...
做我的情人,到我玩腻为止。第一次见面,他强占她,逼她做情人。33日地狱般的索爱,沦为恶魔的禁脔。钱赚够那我滚了,再见。她包袱款款走得潇洒。恶魔总裁全世界通缉女人,想逃?先把我的心留下!这是一场征服与反征服的游戏,谁先动情谁输,她输不起,唯一能守住的...
明面上,他是忠心为国的冷情帝少,暗地里,他是叱咤风云的神秘君主。她步步算计,骗光了他的所有第一次,留下所有财产逃之夭夭。谁知第二天,她被人架着刀子上了教堂。他高调宣布要么嫁,要么死。嫁嫁嫁!我嫁还不行吗!重生宠文爽文老书99次离婚厉少,请低调...
赵桐芸没想到,死亡不是终结,只是一个新的开始...
岳母好女婿,求求你别离开我女儿岳风,把我们洗脚水倒了。什么岳家柳家岳风柳萱...
爷爷去世的时候,轰动全城...