累,尤其对你来说。”
伊蕾亚脸上莫名露出一个笑容:“在河边吊上一天的鱼会更轻松,但那不是我想要的生活。”
卢格安注视着女孩的眼镜,而伊蕾亚也毫不退缩地直视回去。
两人对视了良久。
“好吧。”卢格安败下阵来,长叹了口气:“如果熬夜的黑眼圈让你的美貌褪色半分,恐怕我都成为千古罪人了。”
时以深夜,哥廷根大学图书馆内一片寂静,落针可闻,只有书页翻动的哗啦声不时响起。
想要推翻希尔伯特的证明论说难也难,说简单也简单。
现在是1919年6月,希尔伯特的“伟大计划”还在准备阶段。
按照前世的历史,在未来的1920年,也就是明年,希尔伯特就会把这个计划公之于众,掀起数学界一股关于证明论的热潮。
在当时,几乎所有数学家都坚信着,证明论计划将会成为未来数学的导向标,数学界的大统一时代即将到来!
可惜,就在希尔伯特退休后一年后,一个叫做库尔特·哥德尔奥地利数学家,彻底粉碎了希尔伯特的美梦。
“哥德尔不完备定理”横空出世,为现代数学和逻辑学掀开崭新一页。
而卢格安此时正在研究的,就是这个“不完备定理”。
希尔伯特的证明论计划是注定失败的,卢格安准备将这个“计划”直接掐死在萌芽中。
以哥德尔不完备定理为基础的现代数学体系,替代证明论计划,成为数学界新的基石,为哥廷根大学续一波命。
这就是卢格安的计划。
他可以为哥廷根大学一个机会。至于他们能不能把握住,并将世界数学中心的地位保持下去,就不是卢格安所能保证的了。
毕竟这又不是他的母校。
深夜,偌大的图书馆只剩下卢格安和伊蕾亚两个人,连图书管理员都下班回家了。
“有什么我能帮上你的吗?”
卢格安思量一下,从包里抽出一张资料来,递给伊蕾亚。
“这里有一个关于皮亚诺公理的证明,你看看能不能做?”
伊蕾亚仔细打量一下,点点头。
“可以,明早之前给你。”
“Gut。”
卢格安点点头,也不在矫情,把一些证明工作放心地交给伊蕾亚。
哥德尔不完备定理的内容并不十分复杂,甚至可以说很好理解,但若真要完美
本章未完,请点击下一页继续阅读!