046.证明论计划！

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

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

“请随便坐。”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“我？”

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

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

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

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

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

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

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

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

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

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

卢格安点点头。

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

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

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

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

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

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

“元数学。”

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

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

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

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

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

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

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

“那我要选您的课题！”伊蕾亚仰起头，目光炯炯有神地直视着希尔伯特。

伊蕾亚意料之外的选择让希尔伯特愣了愣神。

“亨莉叶塔小姐，你要知道，我现在研究的课题对你们来说是很难的。”