比如一张咖啡小票。
再比如博士答辩通知。
范恩楼在冷风里显得格外安静。
门厅里没有图书馆那种临近期末的紧绷,也没有咖啡馆里被暖气和咖啡味撑起来的热闹。
这里只有纸张和粉笔灰混在一起的味道,偶尔有一两个学者从走廊深处经过,手里夹着文件,脚步轻得像是不想打扰这栋楼里那些尚未写完的定理。
陈拙顺着楼梯往上走。
走到自己办公室门口,推门进去。
办公室里的暖气开着,靠窗的地方仍然有些冷,玻璃上蒙着一层薄薄的水汽,像是被人轻轻哈了一口气。
桌面靠左的位置空了一块。
那本《十九世纪机械构造与连杆演变》下午已经还回了图书馆,连带着几本数学期刊和俄文论文集一起交给了管理员,原本被它压着的几张草稿纸现在没有了遮挡,歪歪斜斜地露在桌面上。
陈拙脱下外套,挂在衣帽架上。
书旁边是一个圆形铁皮饼干盒。
玛蒂尔达师母烤的黄油小饼干。
盒子原本属于皮埃尔,但在所有权问题上,陈拙在几天前和师母进行了一番严肃的探讨之后师母把暂时划归到了自己名下。
论证过程非常简单。
玛蒂尔达让他多吃点。
盒子里装的是高热量饼干。
所以他拿走盒子。
逻辑闭环。
皮埃尔对此似乎有不同意见,但没有形成有效反证。
他从盒子里拿出一块黄油饼干,咬了一口。
饼干烤得很酥,咬下去的时候会发出很轻的碎裂声,黄油香气在嘴里散开,带着一点香草味,比咖啡馆的小蛋糕更扎实。
陈拙一边嚼,一边从口袋里摸出那张咖啡馆小票。
上面写着两杯拿铁,一杯卡布奇诺,一块小蛋糕。
和常数C,霍奇猜想,博士答辩相比,这张小票显然没什么学术价值。
但它至少证明,下午那一杯咖啡确实存在过。
陈拙想了想,没有把它扔进纸篓,他随手把小票压在牛皮纸袋下面,露出一小截边角。
然后,他才坐到桌前。
桌面中央,压着一份文件。
文件不像皮埃尔平时随手丢给他的东西那么潦草,边缘整齐,最上方印着普林斯顿大学的校徽,下面是一行正式得让人一看就觉得应该少说两句废话的英文标题。
博士论文答辩安排通知。
陈拙盯着那行字看了两秒。
然后伸手把文件拿了起来。
通知写得很规范,时间在月底,地点是一号会议室。
答辩人:陈拙。
论文题目:《离散代数网格上的局部奇点收束与截断算子》。
陈拙的目光停在这个题目上。
这个题目当然比常数C正式很多。
答辩委员会名单已经列好。
皮埃尔。
阿瑟。
罗伯特。
爱德华。
康莱尔。
五个名字整整齐齐地排在那里,像五根已经提前准备好的粉笔,安静地等着月底那天在一号会议室里消耗他的手腕。
陈拙看着这个名单,忽然觉得这份通知表面上叫博士答辩安排,实际上更像一份粉笔消耗预警。
他把通知放回桌上,抬手揉了揉眉心。
倒不是紧张。
如果说波士顿三校联合研讨会是把一整栋楼从地基到屋顶都当众盖完,那么月底这场答辩,大概就是几个老头子拿着茶杯,绕着那栋楼走一圈,顺手敲敲墙砖,看看有没有地方能听出空响。
问题是,这几个老头子都很会敲。
而且大概率敲得很开心。
陈拙把剩下半块饼干塞进嘴里,把桌面上的几摞材料往自己面前拉了拉。
第一摞,是波士顿那十五页原始底稿的复印件。
纸张已经不是最初从传真机里吐出来的那批了,原稿被西里尔当成某种史前文物一样锁了起来,后来流到陈拙手边的,基本都是复印件。
即便如此,复印件上的手写符号仍然显得很锋利。
那些离散矩阵,商空间折叠,局部奇点收束,截断算子,密密麻麻地挤在十五页纸上,像一把被磨得极薄的刀,它不解释自己为什么锋利,也不关心别人握上去会不会割手。
它只负责切开问题。
第二摞,是普林斯顿后来组织数学系众人出具的官方白皮书。
厚得多。
纸面也漂亮得多。
标题、目录、注释、推导编号、参考文献,一应俱全,和那十五页原始底稿相比,这份白皮书像是一个被西里尔强行穿上西装戴上领带按进普林斯顿学术法统里的正式版本。
第三摞,是波士顿三校联合研讨会的整理材料。
山姆的计算机并发调度报告。
阿伦的十一维物理场模型。
还有陈拙自己的那一场数学收束报告。
陈拙翻开其中一页,看到了第九块黑板的照片。
照片拍得很清楚。
夕阳从报告厅高窗斜斜地落下来,黑板上那行巨大的显式解析延拓公式占据了将近三分之一版面,最后的那个字母C,孤零零地站在等号右边。
那是一个很安静的字母。
安静得让人很难想象,为了把它写到那里,前面已经填满了八块黑板,踩碎了不知道多少根粉笔,还有理查德那支从桌板上滚到了地毯上的笔。
陈拙看着那张照片,过了一会儿,伸手把它翻了过去。
事情已经发生过了。
而且已经被足够多的人看见过了。
月底的一号会议室,并不会改变常数C本身,它只是给普林斯顿的程序补上一个位置,像是在一份已经生效的图纸上,盖一个迟到但必要的章。
这就是这场博士答辩的真实意义。
陈拙很清楚这一点。
西里尔他们更清楚。
所以他们才会选择这篇东西作为他的博士论文。
因为它已经足够重,足够硬,也足够没有争议。
至少在数学意义上没有争议。
陈拙拍了拍手上的饼干碎屑。
然后,他拿过一个文件夹,把答辩通知,十五页底稿复印件,普林斯顿白皮书和波士顿报告整理材料依次放了进去。
陈拙拿起笔,在封面贴纸上写下:常数C答辩文件
写完之后,他盯着这两个词看了一会儿,觉得还算清楚。
常数C。
答辩。
一件已经讲过,被认可,等待程序盖章的事情。
他把这个文件夹放到了桌子左侧,又拿起桌角的镇纸压在上面。
镇纸很重,压在文件夹上,像是给这件已经发生过的事情盖了一个不太正式的章。
桌子的右侧,则完全是另一种景象。
那里还有一摞纸。
没有文件夹,没有编号,没有标题页。
有些纸是A4,有些是从旧讲义背面撕下来的空白页,还有几张明显是陈拙随手从某本书里抽出来夹进去的便签纸,最上面那一页甚至有一道浅浅的咖啡痕,边缘微微发皱。
这摞纸不像正式材料,更像是某种还没有被允许长成论文的东西。
陈拙伸手,把那摞纸从另一枚小镇纸下面抽了出来。
最上面一页,写着几个简单的词汇。
正规函数。
常数C拆解。
渐进包络面。
奇点定位。
代数刚性邻域。
存在性。
陈拙的目光停在最后那个词上。
存在性。
常数C已经被证明足够锋利。
它可以在波士顿的小酒馆里,顺手给山姆的代码搭一个不溢出的底层支架,也可以给阿伦那个走到物理极值点的十一维模型补上一块代数地基。
它能切开连续流形的某些死结,也能在离散网格里钉住原本看起来无法解释的奇点。
在波士顿那场报告以后,没有人再怀疑它是一件工具。
问题只剩下一个。
工具能做什么。
陈拙伸手翻过几页草稿。
这些纸的来源很杂。
有些是波士顿之后写下的,有些是回到普林斯顿后在范恩楼夜里推出来的,还有几张上面的字迹很潦草,显然是在某个思路突然冒出来的时候顺手记下的。
纸页之间夹杂着几个熟悉的词。
正规函数。
渐进包络面。
代数刚性邻域。
奇点定位。
从超越到代数。
这部分路已经走过了一段。
上一篇:华娱:牢景,你要剧本不要?!
下一篇:无敌镖人,开局护送灭世帝女!