手机浏览器扫描二维码访问
“看看书。”王崎从储物袋里面取出一本数学专著,说道:“已经在那些杂碎身上浪费了不少时间了。”
《一般集合论基础》,和地球上那本同名的理论专著一样,被认为是集合论的基础,也是数学开始被统一的地方。
以王崎二十一世纪的眼光来看,这本书已经有些落后了。没有经过希尔伯特的深入,没有哥德尔、图灵的涅槃,这最初的集合论还没有解释所有数学的能力。
但是,王崎依旧看得很认真。
两个世界的数学虽然整体上高度相似,但细微处还是有些不同——就比如王崎至今还是没有完全弄懂神州修士是如何绕过“黄金的对角线”构建数学体系的。王崎现在做的,就是感受这个世界数学的脉络,夯实自己的基础。
王崎一想到自己有机会参与这个异界版的希尔伯特计划就兴奋得不能自抑。这是属于数学家的狂热。为了能够更好的参与这一场数学的狂宴,他必须提升提升再提升。
“逻辑固然是不完备的,系统固然是未必相容的,命题固然是未必可判定的……但是,希尔伯特计划不应该失败,至少不应该这么早就宣告失败。”
——没有任何人能将我们从康托尔所创造的伊甸园中驱赶出来。
如果我可以在完备性定理之前将算术系统的相容性抛出来……引导大家证明,或者我自己证明的话,或许这个数学的大飞跃能够更加持久一些?
就在王崎心神渐渐沉浸在集合论的世界里时,有人敲响了管住他的铁门。
王崎被打断思考时显得有些暴躁。看见牢房门口那张陌生的连,他不耐烦的说道:“什么?有什么事?你谁?来打架还是干什么?不是要紧事别来烦我。”
锦衣华服的少年吓了一跳,试探的问道:“王兄?”
诶?熟人?
王崎看着华服少年,问道:“请问……我们见过吗?”
少年苦笑,像是有些畏惧王崎:“王兄果然贵人多忘事啊,我们一个仙院的……”
“仙院一届就是千把人,我还得个个都记住?”
“我们可是不打不相识……”
“我揍过的人多了,行了别打哑谜,直接说名字。”
少年被噎住了很久,才说道:“不知道王兄还记不记得杜斌这个名字?”
王崎好不容易才从记忆中把这个名字翻了出来:“哦哦,是你啊!”
当初好像就是为了那只笨猫砍断了这货的飞剑是吧?我是不是还揍过他?什么时候来着?
杜斌不知道自己再对方的记忆里已经沦为某个半妖的陪衬,爽朗的笑道:“想不到还能在这里遇到王兄,真是……”
这货当初就是这个人设?王崎疑惑的看着对方,总有种“我的人生过去几百章然后熟人的人设就崩坏了”的感觉。
一爱到底之顾少毒妻 时光请善待我的她 穿越之弃子国师 眼镜兄撞上恶魔王子 娱乐超级奶爸 大明孤狼 最强除妖师 天地炼成 天黑请开眼 扛着boss拼下限(末世) 烈火燃情:高冷总裁滚远点 直播和男神同居的日子 系统之娇宠孕妻 赌妃在上,王爷在下 断神 废材重生:邪王独宠悍王妃 我是狠人大帝的同乡 捡到病娇太子之后(重生) 悍妻[医道] 神偷长公主
每早七点更新超好看哟不要错过O3OWIFI之母,海蒂拉玛。世界上首位全裸出镜的好莱坞女王,电子前沿基金会先锋奖获得者,无线通讯的启明星,美艳与智慧的宠儿。她一觉醒来,发现自己睡在一个陌生的街头。路边的男人把她捡了回去,还随手煮了一碗香喷喷的意大利面试图投喂。我的名字?列奥纳多迪皮耶罗达...
新书求支持简介慢穿小世界,带着随身空间去末世,去星际,去修仙最后回来陪爸爸开面馆。周霜霜本来觉得这就是自己的人生,没想到,有一天末世会降临到自己的世界。老规矩,无CP,无极...
叶流云魂穿异界,一来就出现在天牢,而且三日之后就要问斩!好在觉醒了神级模拟器,花费名望,即可进行模拟,每一次模拟之后,都可以随机选择保留一个天赋能力!你选择认罪,并且随意攀咬他人,说是受人指使!金刀卫查探之后发现你牛头不对马嘴,将你凌迟处死!你选择喊冤,喊破喉咙也没有人理你!三日之后,你被法场处斩!你选择三日之后,你被法场处斩!叶流云一阵欲哭无泪,我想回地球!如果您喜欢模拟器开局天牢死囚,别忘记分享给朋友...
红袖读书首届全球征文大赛参赛作品如果您喜欢郡主难惹,别忘记分享给朋友...
杨霄穿越斗罗大陆,觉醒黄金瞳,掌握风水火土精神五大元素。在星斗大森林里怒爆君焰,在史莱克学院时间零秒杀唐三,言灵黑日吞噬万物,言灵审判神鬼皆杀。在面对杀戮之都的暴乱三国之战神界的讨伐,杨霄不得不以战止战,重走封神之路,拿回至高的权与力。如果您喜欢我在斗罗怒爆君焰,别忘记分享给朋友...
开局顶替sword剑皇上场,暴打可汗,直接给可汗带上痛苦面具。一边吊打各路LCK上单,一边发歌?不会唱跳rap的偶像不是一个好上单?这是一个峡谷之巅路人王重生到LOL职业赛场打职业的故事,梦的起点在LCK,但梦的终点在LPL。天不生我林灿宇,LCK上单万古如长夜。如果您喜欢联盟开局暴打可汗,别忘记分享给朋友...