第(2/3)页

    而卢格安此时正在研究的，就是这个“不完备定理”。

    希尔伯特的证明论计划是注定失败的，卢格安准备将这个“计划”直接掐死在萌芽中。

    以哥德尔不完备定理为基础的现代数学体系，替代证明论计划，成为数学界新的基石，为哥廷根大学续一波命。

    这就是卢格安的计划。

    他可以为哥廷根大学一个机会。至于他们能不能把握住，并将世界数学中心的地位保持下去，就不是卢格安所能保证的了。

    毕竟这又不是他的母校。

    深夜，偌大的图书馆只剩下卢格安和伊蕾亚两个人，连图书管理员都下班回家了。

    “有什么我能帮上你的吗？”

    卢格安思量一下，从包里抽出一张资料来，递给伊蕾亚。

    “这里有一个关于皮亚诺公理的证明，你看看能不能做？”

    伊蕾亚仔细打量一下，点点头。

    “可以，明早之前给你。”

    “Gut。”

    卢格安点点头，也不在矫情，把一些证明工作放心地交给伊蕾亚。

    哥德尔不完备定理的内容并不十分复杂，甚至可以说很好理解，但若真要完美的证明，工作量却大的出奇。

    卢格安前世时也只是单纯对数学感兴趣，才去学习的相关知识。

    一些大定理的推算固然记得，但那些多如牛毛般的小定理、小证明的记忆就不甚详细了。

    真要靠卢格安一个人证明，一个暑假的时间还真有些勉强。

    有了伊蕾亚的加入，证明的进度将大大加快！

    凌晨的哥廷根，繁忙的都市陷入沉睡，万籁俱静。只有不知名的鸟鸣，和莱茵河的涓涓水流拍打河岸的清脆，不时在耳边响起。

    点点灯火点缀在一片漆黑的夜，在这其中，哥廷根大学图书馆的一个角落里：

    卢格安坐在台灯旁，认真地推导着一个个算式。

    “Sweetheart，你看这个算符……”

    卢格安抬起头，刚想对伊蕾亚说些什么，却突然停住话语。

    原来，那个来自莫斯科的女孩已然在不知不觉中入睡。她趴在桌子上，俏脸上遮掩不住疲倦，却隐隐勾起一抹微笑，似乎在做着什么好梦。

    卢格安莞尔笑笑，轻手轻脚地脱下自己的西装外套，小心翼翼地盖在伊蕾亚身上。伸手将她凌乱的铂金色长发捋顺。

    “晚安，亨莉叶塔小姐，祝你有个好梦。”

    做完这些后，卢格安重新坐回自己的位置奋笔疾书起来……

    翌日一早，太阳从东方的地平线上破晓而出，带着希望和温暖洒在莱茵平原的每一个角落。

    朝阳顺着图书馆的窗户射入，如薄纱般轻轻盖在女孩的身上。

    “哼咛~~~”

    女孩发出一个意义不明的音节，好像刚睡醒的小猫一般皱了皱鼻子。

    多年保持下来的良好生物钟，让伊蕾亚每天准时6点钟醒来。

    伊蕾亚缓缓坐起身来，大大地抻了个懒腰，黑色的西装外套从她的身上自然滑落。

    嗯？这是什么？

    伊蕾亚用半睁不开的眼镜看着这件西服外套，脑袋一时间没转过来，甚至连自己在哪里都不知道。

    缓了良久，伊蕾亚这才想起。

    貌似她昨天晚上主动提出要去图书馆，和卢格安同甘共苦。
    第(2/3)页