046.证明论计划！

    卢格安和伊蕾亚对视一眼，疑惑地跟上希尔伯特，来到他的办公室中。

    “请随便坐。”

    希尔伯特一屁股坐在办公桌后面，笑眯眯地问道：“你们老师都还好吗？”

    “很好。”伊蕾亚矜持地点点头。

    而卢格安则大咧咧地靠在沙发上，毫无拘谨。

    “感谢教授关心，索墨菲尔德老师甚至比我还健康。”

    希尔伯特哈哈一笑，认真地看着眼前这一男一女，眼里多为赞赏。

    卢格安自不用说，不相容原理已经证明了一切；而伊蕾亚也是通过了“朗道位垒”的天才学者！

    这两个人无不是天资聪颖之辈，如果能把他们拉进哥廷根大学，那么哥廷根大学未来至少50年无忧。

    “海因里希先生，亨莉叶塔小姐，有没有兴趣来我校读博？你们可以任意挑选导师，甚至选我也可以。”

    希尔伯特诚挚地邀请道，姿态放得很低，没有半点大教授的盛气凌人。

    面对如此优厚的条件，伊蕾亚陷入纠结。

    由于朗道教授只收研究生，所以伊蕾亚如果想要继续念博士，那就只能另选导师。

    哥廷根大学和希尔伯特是个不错的选择，但他们终究是研究数学的，不是纯粹的物理学者。

    一时间，伊蕾亚拿不定主意，只好歉然地摇摇头：“我需要一点时间考虑，希尔伯特教授。”

    希尔伯特耸耸肩，笑着点点头，开玩笑道：“我可以等到退休。”

    而另一边的卢格安的回答就直接的多，他毫不犹豫地选择拒绝。

    卢格安是个纯粹的物理人。他对数学很有兴趣，但还没到把它当作事业的程度。

    而希尔伯特也早有预料地点点头。

    做为物理学界顶尖的天才，德意志最年轻的物理学硕士，就算卢格安答应来哥廷根读博士，慕尼黑和柏林那边也不会同意。

    他本身也没奢望能把卢格安挖过来，只要能把伊蕾亚挖到哥廷根大学，就算是胜利了。

    希尔伯特心情愉悦地一拍手。

    “既然如此，那让我们暂且回归正题。你们两个感兴趣什么课题？我的研究所有7个讨论组，课题分别是《一般代数数域内的二次型论》，《代数几何学》《代数曲线和曲面的拓扑研究》等等……”

    “女士优先。”卢格安绅士地冲伊蕾亚点点头。

    伊蕾亚则撇撇嘴，转头看向希尔伯特：“教授，我能问一下，您现在正在研究的课题吗？”

    “我？”

    好像被伊蕾亚大胆的提问吓到了，希尔伯特愣了愣，接着哑然失笑。

    “我正在准备一个伟大的计划……”

    听到希尔伯特口中的“伟大计划”，卢格安眼皮突然一跳，记忆深处的碎片翻涌上来，难以掩饰的震惊让他脱口而出：

    “数学的公理化证明？！”

    希尔伯特诧异地看了卢格安一眼，点点头：“没错，就是数学的公理化证明。”

    一旁的伊蕾亚不明所以地问道：“那是什么？”

    卢格安和希尔伯特对视一眼。

    希尔伯特摊开双手，把解释的任务推给卢格安。

    卢格安叹了口气，转头看向身旁的伊蕾亚，缓缓开口问道：“你知道罗素悖论吧？“

    伊蕾亚若有所思地点点头：“听说过，据说它直接引发了第三次数学危机，这和公理化证明有什么关系吗？”

    卢格安点点头。

    “悖论之所以出现，是因为逻辑学在数学上存在冲突。如果我们把数学彻底形式化，为全部的数学提供一个安全的理论基础，重新制定规则，那么一切的悖论问题都将迎刃而解。”

    “而这个计划，我将它称为‘证明论计划’！”希尔伯特补充道。

    卢格安说的很简单，但伊蕾亚也不是愚蠢的人，大脑一阵飞快转动后，便明白了其中的原理。

    伊蕾亚紧锁着柳眉，疑惑地看向希尔伯特：“可是这要如何实现？逻辑学吗？”

    “不，这是单纯的数学。”希尔伯特笑着摇摇头，视线移向卢格安，似乎想要考考卢格安。

    注意到希尔伯特考校的视线，卢格安轻咳一声，说出了一个名词。

    “元数学。”

    在听到“元数学”这个单词后，希尔伯特看向卢格安的视线愈加欣赏，而伊蕾亚则依旧满脸疑惑。

    “元数学？那又是什么？”

    卢格安挠挠头，刚想开口解释，就被希尔伯特拍拍手打断了。

    “好了，亨莉叶塔小姐，我们在这个话题上讨论的太多了。你应该先选择一下你的课题，这将陪伴你整个夏天。”

    被打断的伊蕾亚轻抿着红唇，显然“元数学和公理化证明”的事情依旧如鲠在喉。

    “希尔伯特先生，您之前说我们可以自由地选择研究所的全部课题，对吧？”

    希尔伯特点点头：“是这样没错。”

    “那我要选您的课题！”... -->>
本章未完，点击下一页继续阅读