第六十三章 成功(1 / 2)

慕依雪提出的新方案,说简单也简单,说复杂也复杂。

其核心只有五个字:数学归纳法!

数学归纳法,没有人会陌生。

众所周知,数学归纳法是我们在高中就接触的一种证明方法,可以说是最基础的证明法之一。

但慕依雪的方案可不是我们高中学的最普通的数学归纳法。

而是……史诗级加强难度的数学归纳法!

为了证明高维代数簇flip操作在有限次后终止这个主定理,需要证明六个看似毫无联系的辅助定理。

我们将这六个定理分别命名为:a、b、c、d、e、f!

这六个辅助定理的证明需要用数学归纳法进行互推。

例如小于等于n1维的定理d,小于等于n维的定理b以及小于等于n维的定理c可推出小于等于n维的定理d。

小于等于n维的定理a,小于等于n维的定理b,可以推出小于等于n维的定理c。

小于等于n维的定理c,小于等于n维的定理d,可以推出小于等于n维的定理e。

共需要六个数学归纳的互推表达。

对外行人士来说,肯定光看着都头大,但对于数学家来说,是相当容易理解的。

秋高气爽,燕京的天气中带着微微的凉意。

慕依雪外面套了件风衣,踩着从路边树上簌簌落下的树叶,来到授课教室。

目前大一学年的上半学期已然过半,数学系的同学们也渐渐适应了大学生活的节奏。

对于燕大的同学们来说,大学生活未必会比高中轻松多少。

燕大汇聚了来自全国各地的优秀学子,同时,意味着竞争更加残酷激烈。

没人敢轻易懈怠。

所以图书馆,便成了他们宿舍和教室最常去的地方。

熬夜到深夜十二点,渐渐变为一种常态。

凌晨五点多的燕大夜景,他们时常可以观赏到。

清晨未名湖畔,总是被一群背单词的学生们占据。

甚至连校园的长椅上,静谧的咖啡馆中,都能见到一对对情侣一人抱着一本书读的画面。

在燕大,学习氛围浓郁的可怕。

恐怕就是随便让一个过来,在这种氛围的感染下,都会恨不得当场拿出一本书读个痛快。

四年的大学生涯,有许多度过的方式。

而燕大的学子们,选择用学习来充实自己。

因为……学习使他们快乐!

在他们眼中,学习并非是一种枯燥乏味的事情。

而是,就像升级打怪一样。

有一种一步步升级和突破自我的爽感。

尤其是时不时的考试和竞赛,更让他们从学习中获得了一种成就感。

用慕依雪同学的原话来说,就是他这辈子感触到的最美妙的一种感觉。

这种感觉,这他沉迷。

十天后

我可以十分负责任的宣布,极小模型纲领的第二问题,被我成功解决了!”慕依雪的声音逐渐高昂起来。

叮!

慕依雪脑海中传来叮的一声脆响,这是任务完成的提示声。

今天是12月4号,任务截止的时间是12月9号,提前了五天完成任务。

还有一点。

也是慕依雪早就注意到的。

既然系统认定任务完成,那就从另一种角度可以说明,慕依雪给出的有关极小模型纲领第二问题的推导过程是正确无误的。

有了这个机制,在一定程度上,系统可以为她一个纠错的功能。

因为一旦慕依雪的推导过程是错误的,那么系统并不会显示任务完成。

虽然系统不能指出慕依雪具体错误的地方,但起码,可以避免直