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