046.证明论计划！

046.证明论计划！ (第1/2页)

卢格安和伊蕾亚对视一眼，疑惑地跟上希尔伯特，来到他的办公室中。
　　
　　“请随便坐。”
　　
　　希尔伯特一屁股坐在办公桌后面，笑眯眯地问道：“你们老师都还好吗？”
　　
　　“很好。”伊蕾亚矜持地点点头。
　　
　　而卢格安则大咧咧地靠在沙发上，毫无拘谨。
　　
　　“感谢教授关心，索墨菲尔德老师甚至比我还健康。”
　　
　　希尔伯特哈哈一笑，认真地看着眼前这一男一女，眼里多为赞赏。
　　
　　卢格安自不用说，不相容原理已经证明了一切；而伊蕾亚也是通过了“朗道位垒”的天才学者！
　　
　　这两个人无不是天资聪颖之辈，如果能把他们拉进哥廷根大学，那么哥廷根大学未来至少50年无忧。
　　
　　“海因里希先生，亨莉叶塔小姐，有没有兴趣来我校读博？你们可以任意挑选导师，甚至选我也可以。”
　　
　　希尔伯特诚挚地邀请道，姿态放得很低，没有半点大教授的盛气凌人。
　　
　　面对如此优厚的条件，伊蕾亚陷入纠结。
　　
　　由于朗道教授只收研究生，所以伊蕾亚如果想要继续念博士，那就只能另选导师。
　　
　　哥廷根大学和希尔伯特是个不错的选择，但他们终究是研究数学的，不是纯粹的物理学者。
　　
　　一时间，伊蕾亚拿不定主意，只好歉然地摇摇头：“我需要一点时间考虑，希尔伯特教授。”
　　
　　希尔伯特耸耸肩，笑着点点头，开玩笑道：“我可以等到退休。”
　　
　　而另一边的卢格安的回答就直接的多，他毫不犹豫地选择拒绝。
　　
　　卢格安是个纯粹的物理人。他对数学很有兴趣，但还没到把它当作事业的程度。
　　
　　而希尔伯特也早有预料地点点头。
　　
　　做为物理学界顶尖的天才，德意志最年轻的物理学硕士，就算卢格安答应来哥廷根读博士，慕尼黑和柏林那边也不会同意。
　　
　　他本身也没奢望能把卢格安挖过来，只要能把伊蕾亚挖到哥廷根大学，就算是胜利了。
　　
　　希尔伯特心情愉悦地一拍手。
　　
　　“既然如此，那让我们暂且回归正题。你们两个感兴趣什么课题？我的研究所有7个讨论组，课题分别是《一般代数数域内的二次型论》，《代数几何学》《代数曲线和曲面的拓扑研究》等等……”
　　
　　“女士优先。”卢格安绅士地冲伊蕾亚点点头。
　　
　　伊蕾亚则撇撇嘴，转头看向希尔伯特：“教授，我能问一下，您现在正在研究的课题吗？”
　　
　　“我？”
　　
　　好像被伊蕾亚大胆的提问吓到了，希尔伯特愣了愣，接着哑然失笑。
　　
　　“我正在准备一个伟大的计划……”
　　
　　听到希尔伯特口中的“伟大计划”，卢格安眼皮突然一跳，记忆深处的碎片翻涌上来，难以掩饰的震惊让他脱口而出：
　　
　　“数学的公理化证明？！”
　　
　　希尔伯特诧异地看了卢格安一眼，点点头：“没错，就是数学的公理化证明。”
　　
　　一旁的伊蕾亚不明所以地问道：“那是什么？”
　　
　　卢格安和希尔伯特对视一眼。
　　
　　希尔伯特摊开双手，把解释的任务推给卢格安。
　　
　　卢格安叹了口气，转头看向身旁的伊蕾亚，缓缓开口问道：“你知道罗素悖论吧？“
　　
　　伊蕾亚若有所思地点点头：“听说过，据说它直接引发了第三次数学危机，这和公理化证明有什么关系吗？”
　　
　　卢格安点点头。
　　
　　“悖论之所以出现，是因为逻辑学在数学上存在冲突。如果我们把数学彻底形式化，为全部的数学提供一个安全的理论基础，重新制定规则，那么一切的悖论问题都将迎刃而解。”
　　
　　“而这个计划，我将它称为‘证明论计划’！”希尔伯特补充道。
　　
　　卢格安说的很简单，但伊蕾亚也不是愚蠢的人，大脑一阵飞快转动后，便明白了其中的原理。
　　
　　伊蕾亚紧锁着柳眉，疑惑地看向希尔伯特：“可是这要如何实现？逻辑学吗？”
　　
　　“不，这是单纯的数学。”希尔伯特笑着摇摇头，视线移向卢格安，似乎想要考考卢格安。
　　
　　注意到希尔伯特考校的视线，卢格安轻咳一声，说出了一个名词。
　　
　　“元数学。”
　　
　　在听到“元数学”这个单词后，希尔伯特看向卢格安的视线愈加欣赏，而伊蕾亚则依旧满脸疑惑。
　　
　　“元数学？那又是什么？”
　　
　　卢格安挠挠头，刚想开口解释，就被希尔伯特拍拍手打断了。
　　
　　“好了，亨莉叶塔小姐，我们在这个话题上讨论的太多了。你应该先选择一下你的课题，这将陪伴你整个夏天。”
　　
　　被打断的伊蕾亚轻抿着红唇，显然“元数学和公理化证明”的事情依旧如鲠在喉。
　　
　　“希尔伯特先生，您之前说我们可以自由地选择研究所的全部课题，对吧？”
　　
　　希尔伯特点点头：“是这样没错。”
　　
　　

（本章未完，请点击下一页继续阅读）