传说中的陈立。

陈立似乎完全没注意到林天，他径直走到第一排最中间的位置——那个通常没人敢坐的“学霸专座”，把包往桌上一扔，然后趴下就开始补觉。

周围的人似乎对此见怪不怪。

“那是陈立大神吧？听说他大二就发了顶级会议论文，姚院士特批他可以不用交作业。”旁边的周宇推了推眼镜，语气里满是崇拜。

林天死死地盯着陈立的后脑勺，手里的笔几乎要被捏断。

原来，这就是差距吗？

他在江城一中是受人膜拜的“神”，是全省理科状元。但在陈立面前，在这些已经站在学术巅峰的人面前，依旧微不足道。

上课铃响了。

教室里瞬间安静下来。一位满头银发但精神矍铄的老者走上讲台。他没有带任何讲义，也没有打开PPT，只是拿起一支粉笔，在黑板上写下了一个简单的英文单词：

Computation（计算）

“同学们，欢迎来到姚班。”

姚院士的声音温和而有力，带着一种学者的儒雅。

“在这里，我们不教你们怎么写代码。写代码那是蓝翔技校教的事。”

这章没有结束，请点击下一页继续阅读！

台下响起一阵善意的笑声。

“我们要学的，是计算的本质。是什么让一堆硅基芯片产生了逻辑？是什么决定了一个问题能不能被解决？图灵在1936年想通了这个问题，所以有了计算机。今天，我们沿着他的脚印，重新走一遍。”

姚院士转身，开始在黑板上板书。

没有具体的编程语言，没有C++的语法，也没有Java的对象。黑板上出现的，是一串串抽象的数学符号，是一个个由状态机组成的逻辑图。

“假设我们有一条无限长的纸带，一个读写头……”

林天紧紧地盯着黑板。起初，他还能跟上。这是图灵机的基本模型，他在暑假里自学过一点。

但随着课程的深入，那些符号开始变得陌生而狰狞。

“P类问题”、“NP类问题”、“停机问题”、“哥德尔不完备定理”……

这些概念瞬间淹没了林天。他感觉自己不再是一个程序员，而是一个正在试图理解宇宙终极奥义的小学生。

那些他引以为傲的编程技巧，那些关于循环、判断、指针的操作，在这里完全派不上用场。这里讨论的是纯粹的逻辑，是数学的哲学。

他转头看了一眼同桌的周宇。

这家伙正两眼放光，手中的笔在纸上飞快地推导着公式，嘴里还念念有词：“妙啊……原来可以用集合论来解释这个状态转移……”

而前排那个趴着睡觉的陈立，不知道什么时候坐了起来，他没有记笔记，只是托着下巴看着黑板，时不时微微点一下头，仿佛在和姚院士进行某种无声的对话。

林天低下头，看着自己笔记本上那几行零碎的甚至拼写错误的单词，一种巨大的恐慌感袭上心头。

他听不懂。

他是全省理科状元，理综满分，但他真的听不懂。

这就像是一个练了一辈子外家拳的高手，突然被扔进了一个修仙的世界。人家都在御剑飞行、谈论天道法则，而他还在研究怎么把拳头挥得更有力。