勤劳的海狸

雨下得很大，雨滴砸在伞面上发出沉闷的声响，像是一首不知疲倦的催眠曲。陆知夏撑着一把单薄的黑色雨伞，快步从校门口的24小时便利店往回走。夜已经深了，路灯在雨幕中晕开成一团团模糊的光晕，将她的影子拉得忽长忽短。路过研究生宿舍楼下时，她习惯性地抬起头，目光扫过二楼的窗户。

那一扇窗，还亮着灯。

陆知夏的心没来由地一揪，像被一只无形的手紧紧攥住。她知道那间屋子里的人是谁，也知道他此刻正在做什么。江辰的课程论文，那个据说能让数学系最严谨的导师都头疼的课题，已经压在他身上快一个星期了。为了赶在截止日期前完成，他已经连着熬了好几个通宵。陆知夏甚至能想象出他此刻的样子：清瘦高挑的身影被电脑屏幕的光映照着，银边眼镜后的眼睛布满血丝，修长的手指在键盘上飞快地敲击，而桌上一定堆满了写满复杂公式的草稿纸。

一股复杂的情绪在她心中翻涌，有心疼，有担忧，还有一丝她自己也说不清的酸涩。她知道江辰为了学业付出了多少，也明白他所处的那个世界有多么深奥难懂。可她更知道，他这样没日没夜地耗下去，身体会垮掉的。她不止一次地想冲上去，替他敲下那些她看不懂的符号，哪怕只是替他点一份热腾腾的夜宵也好。

就在她胡思乱想之际，宿舍楼的自动门感应开启，发出"嘀"的一声轻响。她鬼使神差地停下了脚步，站在了门口。犹豫了片刻，最终还是深吸一口气，按下了通往二楼的电梯按钮。

电梯门打开又合上，陆知夏站在202室门前，手抬起来，又放下。她能透过门上的毛玻璃看到里面透出的光，仿佛能看到一个与世隔绝的、由数字和逻辑构建的世界。最终，她像是下定了某种决心，抬手敲响了房门。

"笃、笃、笃"。

敲门声在寂静的楼道里显得格外清晰。门内传来一阵轻微的响动，脚步声由远及近，伴随着电脑屏幕被按下的"咔哒"声。门锁转动，门被拉开一道缝。

江辰站在门后，一副银边眼镜架在他高挺的鼻梁上，却因为熬夜而有些歪斜。他似乎正戴着耳机，一边的耳机线被他夹在耳后，另一只耳朵里还塞着一只。头发有些凌乱，几缕不听话的发丝垂在额前，整个人散发着一种被学术问题折磨得精疲力尽的气息。

看到门外站着的陆知夏，江辰先是一愣，那双布满血丝的眼睛里闪过一丝惊讶，随即，他疲惫的脸上绽开一个略带歉意的笑容，侧身让她进了屋。

一股浓烈的咖啡味扑面而来，混杂着纸张的清香，这是属于江辰世界特有的味道。陆知夏走进房间，才看清他此刻的状态。他身上那件白衬衫的领口已经有些发皱，显然很久没有整理过了。最引人注目的，是他面前那张被书籍和草稿纸占领的书桌。

那不是普通的草稿纸，上面密密麻麻地写满了各种她完全看不懂的符号——希腊字母、箭头、方括号，还有一些看起来像是某种电路图的复杂线条，它们交织在一起，仿佛在纸上构建了一个她无法涉足的宇宙。整个桌面被这些"天书"占领，只留下一个小小的空间，放着一个笔记本电脑和一个空了的咖啡杯。

陆知夏的目光在那些纸上扫过，视线最终定格在了书桌中央的一本书上。那本书被翻开，正好放在键盘旁边，显然就是江辰正在研究的对象。书的封面上印着一排深蓝色的字，书名是《计算理论导引》。

"你还在写这个啊？"陆知夏轻声问道，语气里带着一丝心疼。

江辰顺着她的目光看去，也看到了自己眼前的书。他摘下另一边的耳机，随意地放在桌上，然后无奈地苦笑了一下，推了推鼻梁上滑落的眼镜。"没办法，最后的章节了，再熬一个晚上应该就能搞定。"他揉了揉太阳穴，眼底的疲惫显而易见。

"《计算理论导引》？"陆知夏重复着那个拗口的名字，眉头微微蹙起，脸上写满了纯粹的困惑，"这是什么？听起来好难。"

她的眼神清澈而纯粹，带着一种天然的好奇，仿佛在看什么新奇的玩具。江辰的心莫名一动，那双因为长时间面对公式而显得有些僵硬的眼睛，在她的注视下，竟有些放松下来。他看着她，就像看着一块纯净的水晶，能倒映出世间最复杂的风景。

他忽然觉得，眼前这个女生，这个总能把他从枯燥的理论中拉出来的存在，比任何复杂的证明都要来得真实。

"很难吗？"他反问，嘴角勾起一抹自嘲的笑意，"或许吧。"

陆知夏认真地点了点头："是啊，完全听不懂。"

江辰看着她那副认真的模样，心中最后一点坚持也动摇了。他看了一眼屏幕，上面密密麻麻的代码和未完成的推导，仿佛成了一种无声的嘲讽。他关掉了文档，屏幕暗了下去，整个房间似乎都安静了几分。

"或许，我应该先教你什么是理论。"他低声说，语气像是在对自己承诺。

陆知夏不解地歪了歪头，清澈的眼睛里满是问号。

江辰拿起一支笔，在一张崭新的草稿纸上，画了一个简单的方框，又在方框的一端画了一个箭头，箭头指向一个方括号，里面空空如也。

"你听过图灵机吗？"他看着她，像一个即将开始一场重要讲学的教授，但他的听众只有一个，一个什么都不懂的、他深爱着的女孩。

他看着陆知夏摇了摇头，便耐心地解释起来："想象一下，这是一个在无限长的纸上移动的机器。它能看到纸上的一小部分，比如一个方格，这个方格里可能写着0，也可能写着1。它根据看到的符号，会做出一些动作——比如写一个新的符号，或者移动到旁边的下一个方格。这个机器，就是图灵机。"

他用笔在方框和箭头上画着箭头，试图构建一个直观的模型。

"这个方框，就是图灵机的核心，它会根据输入的符号，执行写入、移动等操作。而这个箭头，表示它的下一步动作。"江辰的声音很轻，带着一种与生俱来的条理性和逻辑性，"我们给这个机器一个指令，它就开始运行。它会不断地读、写、移动，直到……直到它完成了所有指令，或者陷入了死循环。我们把前者称为'停机'。"

陆知夏努力地消化着这些信息。无限长的纸带？移动的机器？写0和1？这些抽象的概念在她的脑海里盘旋，却无法形成一个清晰的画面。她对这些理论知识一窍不通，就像一个试图在听天书的人，只能勉强跟上他的节奏。

"所以，这个图灵机，到底是在做什么呀？"她终于忍不住打断了他，语气里满是困惑。

江辰看着她那双茫然无措的眼睛，终于意识到自己的讲解有多么苍白无力。对于一个文科生来说，这种纯粹的理论就像隔着玻璃看星星，看得见，却永远无法触摸。

他沉吟了片刻，决定换一种方式。与其从头开始构建一个抽象的世界，不如先让她看到这个世界的冰山一角。

"不如我们换一个更具体的问题来想，"他温和地说，"一个更容易理解的问题。"

"好啊，具体点的问题是什么？"陆知夏的眼睛亮了亮，似乎找到了一点希望。

江辰在草稿纸上写下"停机问题"四个字，然后看着她的眼睛，认真地问道："现在，想象一下，你有一个非常强大的能力，可以编写一个程序，这个程序的功能是判断另一个程序是否会'停机'。也就是说，当你把一个程序作为输入，这个'判断程序'就会告诉你，它会不会在某个时刻停下来，还是永远运行下去。你认为，这样的程序，是否存在？"

陆知夏眨了眨眼，显然没跟上他的思路。"什么意思？是说写一个程序去检查另一个程序？"

"对，"江辰点点头，努力用更简单的例子来说明，"比如，你写了一个小游戏，但你不确定它会不会卡死。现在，有一个万能的工具，只要把你的游戏程序放进去，它就会告诉你'会停机'或者'不会停机'。你能不能写出这样一个万能的工具？"

他试图让她理解这个概念的实质。

陆知夏的眉头拧成了一个"川"字。她努力地在脑中构建着这个场景：一个程序，去判断另一个程序的命运。这听起来就像是某种神谕，能够预知程序的未来。可她完全无法想象这个过程。

"我不知道，"她最终只能摇摇头，语气里充满了挫败感，"我怎么知道怎么写才能判断出来呢？"

江辰没有直接回答，而是引导她："那如果只有一个程序，你能不能判断它会不会停机？比如，你现在面前就有一个程序，你会怎么判断？"

陆知夏想了想，理所当然地回答："那很简单啊，我直接运行它看看不就知道了吗？如果它顺利结束，就是停机；如果它卡住了，就是不会停机。"

"很好，"江辰笑了，"现在，把这种想法放大到无数个程序。你只需要编写一个通用的判断逻辑，然后输入任何一个程序，它都会自动运行这个逻辑，最终给出一个'会停机'或者'不会停机'的答案。这在逻辑上是可能的吗？"

在江辰的耐心引导下，陆知夏的大脑开始运转。她抛开那些复杂的符号和方框，开始从自己最熟悉的角度去理解这个问题。在她的世界里，程序是代码，是她可以一行行阅读和分析的文字。她觉得，既然每一个程序都是独立的、可以被理解的，那么就一定存在某种规律，可以用来判断它的运行结果。

"我觉得，"她犹豫着开口，像是在组织自己混乱的思路，"既然我可以写一个程序来判断一个具体的程序，那么……那么我应该也可以写一个更厉害的程序，来判断所有程序。"

这个想法听起来天真又直接，完全是基于她对"程序"这个概念最直观的理解：它们都是一个个独立的对象，只要能找到合适的逻辑，就能将它们一一分析。

"更厉害的程序？"江辰重复着她的话，脸上的表情平静无波，看不出是赞同还是反对。他没有像往常那样立刻指出她的错误，而是选择继续追问。

"对，"陆知夏的思路似乎越来越清晰，"一个程序，总归是有限的代码对吧？只要把分析的逻辑做得足够复杂，足够强大，就可以覆盖所有的可能性。就像……就像一个超级聪明的侦探，能破解所有案件一样。"

她的眼睛里闪烁着笃定的光芒，仿佛已经看到了那个"超级程序"的轮廓。

江辰没有打断她，只是拿起笔，在草稿纸上画了一个更大的方框，把它命名为"S"，然后又画了一个较小的方框，命名为"P"。接着，他画出一条从S指向P的箭头，在旁边标注了"W"。

"现在，让我们把这个想法变得更复杂一些，"江辰的声音依旧温和，却带着一种无形的引导力，"你想象一下，现在有一个'超级程序'S，它的功能和我们刚才说的一样，可以判断任何一个程序P以W为输入时，是否会停机。"

陆知夏看着草稿纸上的图示，努力地在脑海中构建这个场景。超级程序S，目标程序P，还有输入W。S需要运行P，并以W作为P的起点。这听起来像是一个嵌套的任务，S在运行P之前，要先为P准备好"案发现场"。

这个构想似乎比刚才那个"判断单个程序"的问题要复杂得多，但陆知夏却觉得，这依然是可行的。她觉得只要这个"超级程序"S足够复杂，能够模拟出P的运行过程，再结合输入W的影响，最终就能得出P是否会停机的结论。

"这个……听起来好像也很有可能吧？"她不确定地说，"只要S的设计足够巧妙，能够处理所有情况就行。"

"好，现在我们就假设，这个'超级程序'S是存在的。"江辰的语气平静得像一潭深水，却暗藏着致命的逻辑漩涡，"它能判断任意程序P和输入W，得出P是否会停机的结果。"

他拿起笔，在刚才的图示旁边画了一个新的方框，把它命名为"S'"。这个S'的设计，是整个悖论的核心。

"现在，我们来设计一个新的程序，我称它为S'。"江辰的笔尖在草稿纸上划动，发出轻微的沙沙声，"S'的功能很简单：它会运行我们的'超级程序'S，把一个程序P作为输入，同时以P自身的代码作为S的输入W。也就是说，S'问的是：'当P以自身的代码作为输入时，是否会停机？'"

陆知夏听得有些入神，她感觉自己的思维正在被江辰带着走，进入一个越来越深的逻辑迷宫。

江辰没有停下，继续在S'旁边写下它的行为规则："如果S'运行S后，得到的结果是'会停机'，那么S'本身就会进入一个无限循环，永远不会停机。反之，如果S'得到的结果是'不会停机'，那么S'就会立刻停机。"

他放下笔，看着陆知夏，眼神中带着一丝不易察觉的狡黠。"现在，我们来思考一个问题。如果这个S'程序真的按照我们设计的规则去运行，它会是什么结果？"

陆知夏的大脑飞速运转。S'运行S，判断P是否会停机。如果S判断P会停机，那么S'就不停机；如果S判断P不会停机，那么S'就停机。这个逻辑链条听起来似乎是自洽的，但又透着一股说不出的怪异。

陆知夏感觉自己的脑筋开始打结了。这些S、S'、P、W在她的脑海里乱成一团，纠缠不清。她拿起江辰放在桌上的笔，试图在草稿纸上画出它们之间的关系图，但画着画着，线条和箭头就变得混乱不堪，像一团被猫玩乱的毛线。

"我……我有点糊涂了，"她放下笔，揉了揉发胀的太阳穴，"你为什么要设置这样一个程序？S'的这个功能，好像……好像是故意跟S对着干一样，S说会，它就不停；S说不会，它就停。这不是在捣乱吗？"

她实在无法理解江辰的用意。设计这样一个自相矛盾的程序，有什么意义呢？

江辰看着她那副抓耳挠腮的样子，脸上的笑意更浓了。他没有直接回答，而是反问道："现在，我们把S'作为输入，也就是让S判断S'是否会停机。这个问题听起来是不是很有趣？"

陆知夏一愣，这个问题确实让她感到一阵眩晕。S要判断S'，而S'又和S有着如此紧密的逻辑联系。这就像一个镜像迷宫，你看着镜子中的自己，而镜子中的自己也在看着你。

"所以，如果S判断S'会停机……"她喃喃自语，努力地顺着江辰的思路往下想，"那么按照S'的规则，它就会进入无限循环，也就是说S'不会停机。这和S的判断是相反的！"

"完全正确，"江辰赞许地点点头，"那如果S判断S'不会停机呢？"

"那按照S'的规则，它就会立刻停机。"陆知夏的声音越来越小，她似乎意识到了什么，"这样的话，S的判断又和S'的实际运行结果相反了！"

"是的，"江辰的声音平静而清晰，"所以，无论S做出怎样的判断——无论是'会停机'还是'不会停机'——最终都会导致一个矛盾的结果。S'既会停机又不会停机，这显然是不可能的。"

陆知夏愣住了，她张着嘴，看着草稿纸上那几个简单的符号和方框，感觉整个世界都在旋转。一个悖论，一个由逻辑构建的死循环，就这么清晰地摆在她面前。S说S'会停机，S'就不停机；S说S'不会停机，S'就停机。无论S怎么选，都通向了自相矛盾的结局。

她的大脑一片空白，所有的思维能力都被这个简单的逻辑陷阱击溃了。

"它……它在骗自己？"陆知夏的声音带着一丝颤抖，她抬起头，震惊地看着江辰，那双清澈的眼睛里满是难以置信的光芒。

江辰看着她，脸上的笑容温和而宠溺。"可以这么说，"他点点头，"它在玩一个永远也分不出胜负的'猜硬币'游戏，而游戏的规则从一开始就是它自己制定的，注定无法被解开。"

他拿起笔，轻轻划掉了草稿纸上的S和S'，"而这个悖论，也证明了我们的那个想法——'是否存在一个程序，可以判断所有程序是否会停机'——根本是错误的。"

陆知夏呆呆地看着被划掉的线条，大脑依然无法处理这个结论。她无法理解，为什么一个听起来如此简单的判断问题，会因为加入了一个"超级程序"S，就变得如此复杂，最终导向一个不可能的悖论。她觉得自己就像一个试图用扳手去修理精密仪器的学徒，完全不在一个层面上。

江辰看着她那副迷茫又天真的样子，心中涌起一阵怜爱。他伸出手，温柔地揉了揉她的头发，仿佛在安抚一只受惊的小动物。

"我们把这个悖论，叫做'停机问题'的不可解性。"江辰的声音轻柔，像是在讲述一个古老的谜题，"它证明了，'判断所有程序是否会停机'这个问题，本身就是一个不可解的、不可判定的问题。用更学术的术语来说，就是'不可判定性'。"

陆知夏似懂非懂地点了点头，但她的脸上写满了疲惫。这些抽象的概念和严密的逻辑，已经耗尽了她所有的精力。她的头开始发胀，只想逃离这个充满了鬼画符的房间。

"江辰，"她小声说，"我……我好像听不懂。"

江辰看出了她的倦意，也知道自己有些操之过急了。想要让她这个文科生在短时间内理解计算理论的核心悖论，无异于教猫做微积分。他笑了笑，决定换一种更直观的方式来让她感受这个理论的"威力"。

"好吧，我们换个更具体的东西来看，"江辰说，"一个函数，一个真正的'不可计算'的函数。"

他拿起笔，在一张新的草稿纸上，开始画一些简单的线条。几笔之后，一只线条歪歪扭扭、不成比例的卡通海狸就出现在了纸上。它有着两个巨大的门牙和一对圆滚滚的眼睛，看起来既滑稽又可爱。

"这是什么？"陆知夏好奇地看着那只突然出现的小动物。

"一个海狸，"江辰笑了笑，"或者说，是'忙碌'的海狸。"

"想象一下，"江辰指着那只卡通海狸，开始了新的讲解，"有一个函数S(n)，它的输入是一个自然数n。这个函数的输出，就是所有n状态的图灵机中，能够运行的步数最多的那个，所运行的总步数。"

陆知夏努力地理解着这句话的含义。图灵机？状态？步数？

江辰仿佛看穿了她的困惑，用更直白的方式解释道："你可以理解为，有无数个不同功能的图灵机，它们的功能复杂度各不相同。而S(n)这个函数，就像一个比赛，它只关心其中那些'功能简单'的图灵机。当n是一个固定数时，S(n)会找出那台功能最简单、但'努力工作'时间最长的图灵机，并记录下它'工作'了多少步。"

他顿了顿，看着陆知夏的脸，确认她还在努力理解，然后继续说道："现在，我们来思考一个问题。这个S(n)函数，是'可计算'的吗？也就是说，是否存在一个程序，只要输入一个自然数n，它就能算出S(n)的值？"

陆知夏想了想，摇摇头："听起来很难，但……或许可以试试？比如，写出一个程序，让所有n状态的图灵机都运行，然后统计它们的步数，最后选出最大的那个？"

江辰笑了，笑得意味深长。"你说的没错，这个方法理论上可行。但问题在于，'所有n状态的图灵机'的数量是无穷的，对于特定的足够小的n也许可以找到方法判断出S(n)的具体数值，但你不可能真的写出一个程序，去运行每一个图灵机，再从中挑选出最大的那个。"

"为什么不能？"陆知夏不解，"只要给程序足够的时间，它总能把所有图灵机都运行一遍吧？"

"这就是悖论的关键所在，"江辰的语气变得严肃起来，"因为如果S(n)是可计算的，那么我们就找到了一个计算它的通用方法。这意味着，对于任何一个特定的图灵机——比如，一台n状态的图灵机P，我们可以通过计算S(n)来得出一个数。然后，我们只要让P一直运行，一旦它运行的步数超过了S(n)，并且还没有停机，我们就知道，它永远也不会停机了。"

"这个有趣的函数，就叫忙碌海狸函数。"江辰的声音里带着一丝赞叹，仿佛在谈论一个伟大的艺术品。

他看着窗外依然未停的雨，继续解释道："它描述的，就是一台图灵机在有限的资源——也就是n个状态和固定的字母集——下，能够'忙碌'多久。这里的'忙碌'，指的是移动、写入、擦除这些操作。所以，S(n)就是所有n状态图灵机中，那个最'勤奋'的家伙，在'退休'前所创造的'劳动成果'。"

陆知夏似懂非懂地点了点头，她感觉自己像是在听天书，但又隐约能抓住一些核心的片段。

"那么，"江辰的目光重新回到她脸上，眼神变得深邃，"这个函数的增长速度，是有多么惊人呢？当n这个输入的自然数变得越来越大时，S(n)的值会以一种凡人的直觉无法想象的速度攀升。更重要的是，它在数学上被证明可以超过任何一个已知的'可计算函数'。"

"可计算函数？"陆知夏重复着这个陌生的词汇。

"是的，"江辰点点头，"任何我们能够用算法、用程序来计算出来的函数，都属于'可计算函数'。但忙碌海狸函数不一样。如果有一个我们已经知道的可计算函数，比如指数函数、对数函数之类的，它的增长速度超过了S(n)，那么这个函数就可以直接当做S(n)的一个上界，用来判断图灵机是否会停机，从而间接地解决了停机问题。"

"可是，"江辰的语气变得沉重起来，"我们已经证明过了，停机问题是一个不可判定的问题。既然停机问题都不可解，那么这个能用来解决停机问题的S(n)，自然也就无法通过任何可计算的方式来得到。这意味着，S(n)的增长速度，必定会超过所有我们已知的可计算函数。它是一个在理论上存在，但在现实中却永远无法被计算出来的函数。"

陆知夏听着江辰的解释，只觉得脑袋里像有一团浆糊，越听越乱。什么不可计算函数，什么超过所有可计算函数，这些概念已经完全超出了她的理解范围。她只觉得头晕脑胀，仿佛整个房间都在旋转。

她看着眼前的江辰，他正专注地盯着自己刚刚画下的那只海狸，眼神里闪烁着一种她看不懂的光芒，就像一个发现了新大陆的探险家。在这一刻，他不再是一个活生生的人，而更像是一台精密运转的机器，一台永远在追求着那些凡人无法理解的知识的、"忙碌"的海狸。

她突然觉得有些生气，也有些心疼。

这个男人，永远都在追逐着那些高高在上的理论，而她却只能被他远远地抛在身后，连他的背影都看不清。

她决定了，她要给他一点"物理降温"。

"江辰！"她突然站了起来，声音里带着一丝不容置疑的命令口吻。

江辰被她的举动吓了一跳，抬起头，有些茫然地看着她。"怎么了？"

"惩罚你！"陆知夏说着，一把抢过他放在桌边的手机，随手扔到自己身后。然后，她一个箭步冲过去，双手用力一推，将江辰按倒在椅子上。江辰猝不及防，整个人向后仰去，惊呼一声，双手下意识地抓住了椅背。

陆知夏跨坐在他的腿上，双手按住他的肩膀，居高临下地看着他，脸上带着一丝恶作剧得逞的坏笑。

"你……"江辰被她这一连串突如其来的动作弄得有些发懵，一时间竟忘了反应。

"都怪你，"陆知夏的语气又软了下来，带着几分委屈，"让你说这些我听不懂的鬼画符，"她低下头，双手开始解他衬衫最上面的那颗扣子，"我要惩罚你。"

江辰完全没料到陆知夏会有如此大胆的举动，他被她推倒在椅子上，身体的平衡全靠椅背支撑。当看到她真的低下头来解他的衬衫扣子时，一股电流般的酥麻感瞬间传遍全身。

"陆知夏，你干什么？"他抓住她的手腕，试图将她推开。他的声音有些沙哑，带着一丝慌乱。

陆知夏像是没听到他的话，手上的动作反而更加坚决。她抬起头，清澈的眼眸里燃烧着一股倔强的火焰："我就要罚你，谁让你让我听不懂！"

江辰感到一阵无奈，这个小女人一旦较真起来，简直是无理取闹的典范。他加大了手上的力气，想把她从自己身上拉开。然而，陆知夏就像一只护食的、倔强的小猫，被他抓得越紧，反而抓得更用力。两人的力气在狭小的空间里僵持着，一场突如其来的拉锯战在堆满书籍的书桌旁展开。

"别闹了！"江辰低喝一声，试图让她清醒一点。

他的喝止并没有起到作用，陆知夏反而更来劲了，她的手指灵活地绕过他的钳制，终于解开了那颗紧绷的纽扣。在两人拉扯的过程中，江辰放在桌边的笔记本电脑被碰得晃了晃，他连忙伸手去扶。这个动作让他失去了平衡，整个身体向后倒去，撞在了椅背上。

"哗啦——"

伴随着一声刺耳的摩擦声，他桌上那些早已岌岌可危的书本和草稿纸，终于不堪重负，被扫落在地。一地的纸张上，写满了那些陆知夏看不懂的、扭曲的希腊字母和复杂的数学公式。

陆知夏的动作停住了，她低下头，看着散落一地的纸张。那些曾经在她眼中只是抽象符号的线条，此刻仿佛都活了过来，它们像是一群沉默的观众，在嘲笑她的无知和笨拙。她刚刚还试图去理解这些，而现在，她只想摧毁它们，证明自己才是对的。

一股无名火从心底涌起，她手上的动作也变得粗鲁起来。江辰只觉得手腕一痛，是她指甲掐进了他的皮肤里。

他看着她泛红的脸颊，那双倔强的、明亮的眼睛里燃烧着不服输的火焰，像一簇小小的、温暖的火苗。那张因为激动而微微涨红的、带着一点孩童肥的脸，此刻显得格外生动而真实。

江辰突然就笑了。

他发现自己刚才的行为，简直愚蠢到了极点。他像一个急于炫耀自己玩具的孩童，兴冲冲地拿出那些在他看来美丽而和谐的数学理论，却忘了对方根本不具备欣赏这些美的能力。他就像一个站在高山之巅的学者，对着山下的旅人喋喋不休地描述着山顶的风景，却忘了对方甚至还没找到登山的路。

这不就是对牛弹琴吗？不，甚至比那更可笑。对牛弹琴至少还带着一丝表演的成分，而他，只是在自己热爱的世界里沉浸得太深，完全忽视了身边人的感受。

他意识到，在陆知夏面前展示这些高深的理论，就像在对一个五音不全的人弹奏一首复杂的钢琴曲，滑稽，而且徒劳。

意识到自己的愚蠢之后，江辰放弃了抵抗。他松开了抓着陆知夏手腕的手，整个人靠在椅背上，任由她将自己的衬衫扣子一个个解开。那颗倔强的脑袋埋在他的颈窝里，柔软的发丝拂过他的脸颊，带来一丝痒意。她的手指有些凉，带着一丝颤抖，却坚定地解开了最后一颗纽扣。

陆知夏终于解开了所有的扣子，她抬起头，准备宣布自己的"胜利"，却迎上了江辰那双含笑的眼睛。

他的眼神不再有之前的慌乱，而是深邃得像一汪潭水，里面闪烁着她看不懂的光芒。

"别闹了，"江辰的声音低沉而沙哑，带着一种不容抗拒的磁性，"我教教你，什么才是真正的'忙碌'的东西。"

陆知夏还没反应过来这句话的真正含义，只觉得一阵天旋地转。江辰突然发力，一把将她拉进怀里，然后猛地站起身。她惊呼一声，下意识地抱紧了他的脖子，整个人被他轻松地抱了起来。

紧接着，她的后背就重重地撞在了坚硬的书桌上。那些散落的书本和草稿纸被她撞得哗啦作响，其中一只马克杯被碰倒，"哐当"一声摔在地上，四分五裂。

陆知夏趴在书桌上，脸颊贴着冰凉的桌面，还没来得及从这突如其来的冲击中回过神来，就感觉到了江辰身体的重量。

江辰没有理会地上的碎瓷片和惊慌失措的陆知夏。他的吻带着一股惩罚的意味，急切而热烈，像一场突如其来的暴雨，瞬间席卷了她所有的理智。他的手指熟练地探入她的卫衣，扯掉了那件宽松的外衣，动作精准而迅速，仿佛已经演练过无数次。他太熟悉她的身体，熟悉她的每一个反应，每一寸肌肤。

陆知夏在他的攻势下很快就溃不成军。她的大脑一片空白，所有的反驳和理论都被他狂热的吻堵了回去。她只能被动地承受着，身体在他的触碰下变得滚烫而柔软。她像一艘在狂风巨浪中颠簸的小船，只能紧紧抓住眼前的这个人，才能不被淹没。破碎的呻吟从她的唇边溢出，不成调，不成句，只是单纯的情感宣泄。

他的手指探入她的衣内，带着一丝不容抗拒的力道。曾经用来在草稿纸上推演那些高深理论的双手，此刻正在执行着另一种精密的"计算"，而这个计算的结果，远比任何忙碌海狸函数都要来得复杂和令人沉醉。

桌上的台灯投下昏黄的光，将纠缠的影子拉得狭长。地上散落的草稿纸上，那些代表着图灵机和忙碌海狸函数的复杂符号，在这昏暗的灯光下显得模糊不清。空气中，咖啡的苦涩味道被另一种更加原始、更加炽热的气息所取代。

江辰的房间里，那个曾经用来构建理论世界的方框和箭头，此刻已经被扫落在地。那个推演出不可解问题的脑袋，此刻正埋首于更加复杂的情感计算。那些曾经用来探索宇宙奥秘的双手，此刻正执行着另一套精密而古老的"算法"，而这个算法的结果，那个最终的"忙碌海狸函数"，其"繁忙程度"与复杂性，远非数学上那个冰冷的函数所能比拟。

第二天清晨，第一缕阳光透过窗帘的缝隙，在房间里投下一道明亮的光带。陆知夏是在一阵刺眼的光中醒来的。她动了动身体，才发现自己正躺在江辰的床上，身上盖着他的被子。房间里一片狼藉，书本和纸张散落一地，空气中还残留着昨晚那场风暴的余韵。

她撑着酸痛的身体坐起来，身上只穿着一件宽大的衬衫，那是江辰的。她环顾四周，看到江辰正躺在她身边，还在熟睡中。他的头发有些凌乱，睡着时的脸上没有了平日里那种理论派的严谨和疏离，显得格外柔和。

陆知夏的脸瞬间红了。她回想起昨晚自己是如何被"物理降温"的，那些粗暴的动作，那些羞耻的姿势，还有江辰最后那带着惩罚意味的吻……一幕幕在她脑海中闪过，让她整个人都像要烧起来一样。

她掀开被子，蹑手蹑脚地走下床，赤着脚踩在冰凉的地板上。她走到窗边，昨晚的雨已经停了，天空一片蔚蓝。她深吸一口气，然后一把推开了窗户。

清晨的冷风瞬间灌了进来，带着雨后泥土的清新味道，让她混沌的大脑清醒了许多。

江辰是被窗外的鸟鸣声吵醒的。他睁开眼，第一眼看到的便是陆知夏站在窗前的背影。晨光为她镀上了一层柔和的光晕，将她略显凌乱的发丝也照得闪闪发光。她似乎正沉浸在自己的思绪里，没有注意到他已经醒来。

江辰没有出声，只是悄悄地坐起身，走到她的身后。他从背后轻轻抱住她，将下巴搁在她的肩膀上，呼吸间都是她发间淡淡的洗发水香气。

陆知夏被这突如其来的拥抱吓了一跳，身体僵了一下，随即放松下来，却没有回头看他。

"还记得昨天晚上，你是怎么'惩罚'我的吗？"江辰的声音在她耳边响起，带着一丝低沉的笑意。

陆知夏的脸"腾"地一下就红了，从脖颈一直蔓延到耳根。她羞得无地自容，恨不得找个地缝钻进去。她怎么敢告诉他，自己昨晚的那些粗鲁行为，在他看来或许更像是某种邀请。

"我……我忘了。"她小声嗫嚅着，把头埋得更低了，几乎要埋进自己的胸口。

江辰被她这副鸵鸟般的模样逗得发笑，他收紧了手臂，将她更紧地抱在怀里。"不，我记得很清楚，"他的声音里满是宠溺，"你昨晚的破坏力，比我见过的任何复杂的数学理论都要惊人。"

陆知夏听到他的话，终于忍不住转过身来。她对上江辰的目光，看到他眼中的笑意并非嘲笑，而是温柔的、带着一丝纵容的宠溺。那双总是闪烁着理性光芒的眼睛里，此刻只映着她的倒影，里面盛满了只有她才能读懂的温柔。

一股暖流瞬间涌上心头，冲淡了她所有的羞涩和不安。她心中的小鹿疯狂地跳动着，不是因为害怕或尴尬，而是因为甜蜜。原来，在他眼中，她那些笨拙的、不懂事的举动，竟然也是一种"破坏力"。

她看着他，看着他那张因为睡眠而显得柔和的侧脸，看着他眼中清晰的倒影。所有的理论，所有的悖论，所有的忙碌海狸函数，在这一刻都变得不再重要。那些复杂的符号和冰冷的逻辑，都无法与眼前这个真实的、温暖的人相比。

陆知夏踮起脚尖，双手环住他的脖子，主动吻了上去。她的吻生涩而热烈，带着一丝急切和讨好。江辰愣了一下，随即反客为主，加深了这个吻。他的手臂紧紧地环抱着她，仿佛要将她揉进自己的身体里。

在这个吻中，没有了那些高深莫测的理论，也没有了停机问题的困扰。他们只是沉浸在这份属于彼此的、纯粹的幸福之中。