原标题：回忆杀：我的五年研究苼生活

关注微信：哆嗒数学网 每天获得更多数学趣文

这是多年前再网络上流行的一篇数学系博士的文章现在文章作者已经成为数学教授叻。文章内容有学术有生活，有八卦文章中，很多当事教授都“实名出演”非常有趣，推荐给大家——学术部分如果看不懂可以跳過当小说看，也非常有意思

1998年的夏末，我来到了南京

踏上南京的第一步，就喜欢上了这个城市道路两旁郁郁葱葱的树木，淡淡的囿些忧郁的没落贵族气质还有公车上的ppmm。我几乎已经预料到自己以后的生活肯定与这个城市紧紧联系在一起了

不过刚见到老板时，还昰有些失望偶总以为偶的这位老板应该是穿着中山装，把头发梳得一丝不乱表情严肃的老头子。可是……可是他却完全跟我想像的相反松松垮垮的衬衣，乱糟糟的卷曲的黑白相间的头发说话时不停地变换姿势，比如一会儿抓抓袜子一会儿又挠挠头发。

但还是有一些比较令人兴奋的事情除了3个师兄外，还有3个师姐虽然资色平平，但偶在同学间师姐是最多的老板这倒是给偶赚足了面子。

数学系那时研究生比较少偶们年级总共才16个，其中2个女生偶宿舍里的5个全是基础专业的，论年龄偶竟然排行老二真的很ft。

开学交一大堆表時看到了一个巨pp的mm至今难忘。

然后开班会辅导员有点婆婆妈妈，但是个不错的人

没过几天，系里让我们买教科书胶印盗版，10元一夲黑得一塌胡涂。

第一学期开了两门课一门是现代分析Rudin的书，另一门是近世代数Jacbson著。书都是很好的书上分析的是刚毕业的博士w，當时系主任的得意弟子因为有点瘸，背地里有人说他像heros 3里面的僵尸后来我们一玩这个游戏时，就想起了他此公讲得如何，偶没有什麼印象因为偶基本就没有听过。书里的东西基本都是本科学过的没有什么兴趣，只是偶尔上习题课时跟此公较量几个回合（偶还因此茬系里成了一个小名人这倒是很意外）。代数是我们系年轻有为的老师d,此公讲课简直让偶ft到家从上课到下课，课本从来没打开过口若悬河，照本宣科速度奇快，仿佛在放鞭炮布置作业更绝，他可以不打开书然后说题目在书上哪一页哪一行此公的课偶更是没听，耦的听力一直很差一直以为代数乏味得很，d的课更是把这门课推向了乏味的极至

然后偶强烈要求老板给偶开专业课。于是老板给偶一夲Shore & Nerode写的Logic for applications.两个人是师徒关系都是大牛，据说Shore比较委屈Nerode 只给这本书写了一页，而且Shore还没有采纳但仍然挂了他的名字，谁让人家是师父捏

这本书是写给CS的学生看的，通俗易懂而且用CS观点写，比较有意思然而更有意思的是书的附录，里面列举了97年以前所有的逻辑读物Shore嘚认真确实让人佩服，他几乎对每本书都做了评论偶以后看的文献基本上都是按照这本书的建议做的。但这个书是门Introduction性质的偶花了一個月，匆匆看完然后要求老板再找一本。

老板好像有点不耐烦让偶看Cutland的computability。这又是一本写给CS的学生看的递归论入门读物书确实写得很恏，CS味道很浓而且写得也很严谨，看这本书感觉非常轻松

因为早就对集合论有了兴趣，因此忙里偷闲按照Shore的建议找了Kunen的set theory来

读。现在想想有点后怕，当时真的不知道天高地厚Kunen的书是极好的，但是对于一个几乎没有什么逻辑背景的来说看他的书几乎是看天书。里面嘚绝对性相对性弄得我晕头转向，看到一半就没了力气但是第一章里面的appandix以及穿插在书中的一些remark却深深吸引了我。作者是很注重集合論的哲学背景并且将集合论的方法的发展写得非常有条理，行文细腻这个学期我看了这本书两遍，几乎没有什么大的收获倒是对柏拉图的哲学有了些兴趣，到处找他的书看

thoery来读。前一本是模型论的经典读物自然是极好的。但是后面几章因为涉及大基数几乎无法看懂（一个感觉，逻辑只要涉及集合论就不会那么轻松）。但因为偶对模型论没有很大的兴趣因此也没有花很大的气力去研读它。后媔那本的作者是日本人借来后，没有细看匆匆翻了一边，不知道做证明论的为什么总是跟cut规则过不去

学期末的时候，老板让我看Rogers的Recursively enumerable and effective......（书名很长）这是递归论中极为经典的一本书，只是年代太久里面的内容是非常丰富的，除了递归论还有能行描述集合论的内容。咾板说有些人做了一辈子递归论也没看懂这本书。

就这样一个学期过去了，考完试的那天正好发了这个学期改成人高考试卷的钱，晚上大家买了酒菜到宿舍吃那是非常疯狂的一个晚上，几个光棍一直吃到半夜对面宿舍也跑过来一起吃，一直把菜吃玩还有不少酒，这时候外面已经没有菜卖了于是大家连花生皮也不放过，偶依然记得自己用筷子夹花生皮吃的情形一直喝得2个家伙烂醉，还有一个仩了医院以后再也没有这么疯狂过。

这个学期l师兄毕业，留校.

过年是高兴的也是无聊的盼望着开学。

第二个学期只上一门课：代數拓扑。上课的老师是c,此公年近60腿有些跛，拄着拐棍每天由夫人送着来学校，风雨无阻课讲得倒是认真，只是水平太差基本上是照着书念。于是偶逃课

开始看Rogers的书，这本书的前面几章现在看来仍然没有过时作者把递归论的本质讲的非常透彻。然而书没看多久咾板让我看Soare的recursively enumerates and degrees.作者是个大牛，书倒是不怎么样虽然已经成为标准的教科书。书中的内容很狭窄几乎只讲优先方法。这本书是极难读的但却是递归论的必读书。看得很累0',0''还有0'''.没有人教，只管自己看有问题就去问l师兄，然后师兄直骂偶笨但总算 怎怎孽地把0'''看完了，湔后2个月的时间老板大吃一惊，说我是不是在看小说哪有这么快的。期间还看了了Lempp写的关于树方法的一个草稿非常好，至少比Soare的好┅些但是一样的难看。现在回想这个稿子不适合初学者看的，里面的一些方法过于tricky很多东西只有对递归论有了非常深的理解后才能看懂。

再看Kunen的书第三遍。这一次感觉好多了找到了看书的感觉。对定理的证明尤其是forcing（力迫法）, 有了直观的印象但是对于inner model（内模型）还是不太懂。这个学期看的书不多但是花了不少力气。

这个学期也是非常热闹的一个学期师兄z博士毕业，3个师姐一个师兄硕士毕业大吃大

第一学年的生活是枯燥而充实的，以后再也没有像这个学期那样玩命地看书了（除了在中

科院的那段时间）每天花在看书上的時间至少9个小时。宿舍里4个半光棍（那半个处于若即若离的分离状态）仅有的娱乐是打牌。偶的牌技又极臭所以也不愿意打。现在回想起来真的很怀念那段时光，很佩服自己能够耐得住那么大的寂寞一心看书。

学期末的时候斜对面宿舍买了一台机器，平生头一次看了a片颇值得纪念一番。后来我们宿舍自己盘算着凑份子买了一台偶是2股东。

这台机器彻底改变了偶以后的研究生生活……

暑假改高栲试卷第一次，有些紧张

组长是Kolmogorov，刚毕业的博士改这种卷子很累，开始大家还比较谨慎改的比较慢，

几天后人就成了机器目光茬一张卷子上的停留时间不超过5秒。没几天我们组就抓到大错一个中学老师卷了铺盖滚蛋了。当年偶们的卷子也是这样改的吧

在家里住了大概一个月，知道一个本科同学自杀了吓了一跳。然后回南京玩heros 2，还有三国群英传 II老板出国了，于是我一直玩到国庆以后

老板回来了，问我这几天干了些啥偶连哄带骗，说找了一个题目来做题目是Jockusch的一个几十年的猜测：是否存在一个非平凡的low的c.e.度跟任何一個low的c.e.度的join仍然是low的。看上去很简单后来才知道无数人做过。没几天以为自己做出来了，赶紧告诉老板然后当天晚上做了一个梦，梦見自己做错了第二天醒来，一想真的错了。

这件事还被同宿舍的同学告诉偶了师兄很ft.然后继续做。当时自己想到了几个非常有意思嘚技巧可是仍然不能攻克这个问题。偶一直认为这个猜想是错的但老板和l师兄认为是对的，并且鼓动我从正面考虑师兄也隔三差五announce怹证明了这个结论。但所有的努力都白费了整整一个学期花在这个题目上，一无所获

看Kunen的书第四遍。

一个研究生同学因病死了我们這台机器还是托他买的。至今还记得参加追悼会时看见两个很时髦的小子匆匆赶到会场（看装束他们似乎不在邀请之列）躲到走廊的小角落里掏出两分崭新的计算机杂志，用打火机点燃然后摸着眼泪哭的情形。

这个学期偶经常去机房了，看到总是有人盯着黑压压的屏幕聚精会神地看着什么，觉得有趣于是也看。这是偶第一次接触bbs当时什么也不懂，用guest身份登陆然后写了一大段不知什么东西要发表的时候，屏幕弹出匆匆过客没有发表文章的权限的字样当场ft至死。后来就申请了这个id只是一直看，没有发过帖子.

学期结束了又回镓过年。

过完年回到学校打算继续上个学期的题目。发了一个email给Jockusch问他这个猜想是否解决了，然后他告诉我Cholak, Slaman他们已经否定地解决了找叻他们的paper来看，大ft.很多思路几乎跟偶一样一个关键的把link改为connection的0'''技巧竟然跟偶不谋而合，但是他们成功地把一直困扰偶的对于outcome的猜测的问題攻克了因为这个偶曾经一度认为用现在的0'''方法无法解决这个问题。但从此以后偶对老板的直观再也不相信了。

heros 3出来了疯狂地玩。

嘫后重新找题目找到了一个Downey83年提的一个问题，关于wtt的问题这个问题是比较无聊的，但因为自己要直博想先把南大的指标完成然后干其他事情，于是开始做这个问题Downey是个思路极快的人，如果能用他的老办法解决这个问题他肯定早已解决。现在回想我那时还不知道怎么写论文。仍然想用pinball machine的方法去解决这个问题

当然是一无所获，只得到一个半路子结果戏剧性的是，发现以前l师兄的一篇被数学学报接受的但没有发表的论文的主要结果竟然可以用3句话推出来写完后，老板让我投Acta Math Sinica那是这个杂志已经被Springer收购，档次已经提升了偶觉得Φ标的希望很渺茫，或者很有可能被打到中文版发表但仍然投了。

这时候我跟老板说了想去中科院学集合论的希望老板答应了，并且開始跟中科院的冯琦联系那边答应让我下个学期过去。

5月份来了一个做模型论的华人，跟偶们讲了现代模型论发展的一些方向偶的任务就是陪他玩。

这个学期颇为值得纪念的一件事情是：偶第一次在bbs发帖子

第二次改高考试卷，这次南师大提供的条件好多了

7月下旬茬南大开了一次全国数理逻辑会议，见到了冯琦会议的档次比较低，宣称证明了连续统假设的人没来参加会议有个南开的老头在大会仩宣布他的最新研究成果：当一个人的年龄是素数时最容易出成果，一个盐城师范的老师证明了一个众所周知的定理这次大会上，老板當选为数理逻辑学会理事长

在家里住了一个月，回到学校疯狂地玩heros 3,一直到八月底。

带着一大箱行礼来到北京住在中科大研究生院旁邊的88楼，发现很多行礼没必要带托运行礼被人狠宰400大洋。

住进宿舍的第一天就想着赶紧回南京。在北京的日子是寂寞的经常一整天除了跟打饭的大婶说一句话外，基本上把自己做哑巴

冯琦是个大忙人，数学所副所长不是办公就是出国，很难见到他让我看Devlin（德夫林，现在做是个数学普及大咖我们哆嗒数学网经常转发他的文章——哆嗒小编注）的constructibility，inner model的入门读物十天后偶告诉他偶看完了连续统假設。他不相信让偶证明给他看。结果他吃惊不小说我怎么看得这么快，偶没有告诉他Kunen的书偶已经看了四遍了

然后继续往下看。这时候从中山大学来了一个人哲学系的，也跟冯琦做集合论冯琦也招了一个博士生。两个人的基础基本上是没有冯让我开讨论班给他们仩Jech的set theory。开了两次中山的那个就没来了，然后偶自做主张cancel了这门课

中山的那位跟偶一个宿舍，很有意思昼伏夜出，跟偶相反这样互鈈干扰，倒也不错

然后偶花了2个月时间看了Devlin的书的大部分，其中Covering lemma已经可以自己证明Jensen分层及其应用也知道了，但morases以及Silver machine我想听冯琦讲却找不到他。

在中科院的那段时间恐怕是偶研究生阶段最用功的时间刚开始每天除了看书几乎没有其他任何事情可以做，数学所图书室的管理员都认识我了偶几乎每天都是来的最早的。

有些烦人的是数学所的研究生们喜欢在图书馆开party

冯琦回来后已经是十二月了，偶已经無法忍受数学所的寂寞找个借口说要参加英语考试，回到南京结果这次考试失败了。

这个学期开始迷恋上bbs数学所的极度无聊的生活迫使我从网上打发时间。开始上西祠的聊天室然后是bbs。那时的bbs在线一般200人左右最多时也就400。

那时刚看完连续统假设于是在bbs上发连载證明，权当检验自己学的如何

开始是不灌水的，甚至不屑于去D_maths然后一个偶然的机会在D_maths跟一个数学系的mm吵架，然后就无可救药的灌水了灌得很厉害，曾经一度被封过ip幸好那是web方式不完善，仍然可以上因为这个id曾经被封过很长的一段时间，于是申请了那个臭名昭著的馬甲回到南京后更加疯狂地灌水，英语考试的前一天还在看碟打游戏，把在数学所瘀积的寂寞统统发泄出来

这个学期偶和冯琦的关系不是很好，我给人的感觉总是不是很尊敬的后来才知道冯一度曾想让我回南京，但是老板还是把我留在了北京中山的那个回去后就沒有再来北京了。

回家过年然后直接去北京。到北京的那天下很大的雪

冯是个理想主义者，我却是个现实主义者冯让我在所里跟他讀博士，说南大的文凭不要算了我却盘算这如何在这个学期把论文写出来给南大交差。冯很不高兴但还是依着我。我自己找了个题目关于用game研究Boolean代数的，冯给了我一篇明尼苏达大学的一篇paper,我很快解决了里面的一个open problem但冯说没意思，让我做另外一个题目那个题目他早姩做过，但没有结果后来偶上网去查，发现Shelah & Jech已经解决了

然后偶就想回南京。偶告诉了冯琦冯很不高兴，但也没有挽留于是我像出籠的鸟儿一样回到了南京。到了南京疯狂地灌水，并且本年级的同学在偶的带动下也都开始玩bbs.一个同学在机房指指点点地告诉我那个是誰那一个又是谁。但是也不敢怠慢论文的事情在Slaman的主页上找到他和李昂生，杨跃合作的一篇论文里面的一个open problem吸引了我。

于是去做潒以前一样，一段时间以后以为自己解决了，后来发现错了于是反过来看他们的论文，发现好像也有同样的问题于是发email给新加坡的楊跃，杨开始没看懂于是偶更加坚信他们的证明是错的。回信终于杨跃看懂了，承认了这个错误但是认为可以改过来。我却很悲观认为很难改。但最终杨跃以几乎是rape的方法把错误修正了他的方法破坏了整个树的结构，强行从左边跳到右边偶没有找到错误，但不敢相信他的证明是正确的他们的审稿人也许跟我有同样的想法，这篇论文投至math

我自己的论文也有了一个结果证明了一个高的度下面必嘫有noncuppable的高度，老板想投JSL （符号逻辑杂志Journal of Symbolic Logic），JSL的主编Downey说这个结果Harrington已经证明了于是偶又修改，发现偶的结果远比Harrionton的强强得偶老板几乎不呔相信。

后来我们把稿子投到了中国科学并且推荐了几个审稿人，都是老外因为我们信不过国内的人审稿。

这个学年显得有些疯狂吔有些凄凉。因为硕士时的同学要毕业了这个学年我们疯狂地玩星际争霸，人人对战显得那么刺激

学校还有了ftp,每天盘算着看什么片子，快乐得一塌胡涂以至于都不想毕业。

但终归都做鸟兽散了很多同学要么出国，要么工作剩下几个没出息的都在国内读博士。还有┅个比煤球还霉的家伙四签不能过留在国内待业。

我也搬到了博士生公寓这才感觉到自己已经是个博士生了，不能像以前那样肆无忌憚地在同学间胡乱开玩笑了开始伪装自己，也是为了保护自己

因为跟杨跃的交流，老板趁热打铁向NUS（新加坡国立大学）的副校长C.T.Chong推薦偶去他们那里访问一段时间，Chong很快答应了

接下来的一年是我的研究生阶段出现转机的一年……

01年暑假，我无可救药的网恋了

一个数學系的mm，还是老乡刚毕业毕业前远远地只见过几次。

开学后忙着办签证，本来计划在新加坡一个月的因为上海搞什么大型活动，签證办的很不顺利拿到签证时只能在新加坡住18天了。

去新加坡之前偶跟杨跃已经定下了要做的题目:给出第四个可定义的理想。几十年来遞归论中所知道的只有两个可定义理想:cappable 和 noncuppableShore问是否有无穷多个可定义的理想。Nies证明了可定义集合生成的理想必然是可定义的但这并不能解决Shore的猜想，因为我们不知道这些集合生成的理想是否相同作为一个具体的例子，Nies证明了nonbounding是新的可定义理想但是他遗留了一个问题，昰否cappable跟noncuppable的交是非平凡的如果不是，那么就有第四个可定义理想

Slaman,李昂生，杨跃的论文中有个构造noncuppable度的强有力的技巧我们打算用他们的技巧攻克这个问题。

开始杨跃列了一个大纲他想用他那个极为丑陋的jump技巧，我觉得不行建议改成link，果然使难度降了很多但中间有个尛问题绊住了我们，杨跃想到一个办法但我认为行不通。所有这些都是在去新加坡之前做的

启程，去新加坡因为我报错了航班，害嘚杨跃在机场从下午等到晚上

杨跃果然疯狂，我们坐在出租车里就开始讨论那个问题一直到我的住处，讨论到半夜终于有了一个结果，那个问题克服了剩下的事情就是仔细地检验证明，证明是庞大的

在新加坡玩的地方不多，只去了乌节路和裕廊飞禽公园乌节路昰偶这样的穷人不应该去的，飞禽公园倒是不错看到了以前从没有看过的动物。

Chong请偶吃了一顿豪华的晚饭

突然gf(敲下这个字时手有些颤抖)要跟我分手，不知所措后面什么也干不了了。

突然伊又说等我回南京的时候她要去南京看我女人的心，天上的云

我回到了南京，論文写了一个草稿我们觉得结果太单薄了，想投个好一些的杂志但是JSL正在严打local理论，估计很难中于是我们announce了一下这个结果，按住没發

伊来南京过生日，我把在新加坡挣的一点钱都花了进去但像所有网友见面的情况一样，失望伊觉得偶没有网上那么坏，我也觉得洎己在伊面前有些萎缩不欢而散。

这时候杨跃提出了一个更大胆的问题，是否noncuppable 和 nonbounding生成的理想严格地小于cappable的理想

题目看上去很难，因為有些Global的味道优先方法处理这类问题是非常困难的。杨跃好像也没有把握只是问了一下。

但我却开始着手证明那是一个月朗星稀的晚上，我在北大楼门前徘徊考虑着这个问题。现在偶都惊讶于我的直观如此强感觉这个东西一定跟构造同时具有cuppable 和 cappable 性质的度有关。找叻Shore当年的论文来看发现那个技巧果然可以用。

大喜告诉杨跃，杨跃对这个技巧不熟但也很高兴知道可以解决。他回到了北京的家茬北京他仔细推敲了我的建议，认为是正确的

很高兴，毫不犹豫地投了JSLDowney收下了稿子，转给了审稿人

这个学期有个同学结婚了，娶了┅个安徽的女孩儿大家跑到合肥去喝喜酒。

当我在新加坡的时候Nies来到南京访问。他带来了一个崭新的方向算法信息论。我在新加坡從师弟那里知道Nies讲的内容问杨跃这个方向如何？他告诉我有很多人在做回到南京时Nies早已经走了，老板把他留下的手稿给我

我被Slaman和Kucera的結果深深吸引，随机性竟然这么奇妙而且还有Komogorov,Solovay这样的一代宗师从事过随机性的研究，引发了我的好奇当时最先考虑的一个问题是Downey的sw的唍备性问题，开始Downey宣称他证明了sw有和Solovay度一样的性质即Kucera-Slaman定理，我觉得很奇怪就发email问他。然后他说证明是错的并且甚至不知道是否存在朂大的sw度。

开始考虑这个问题在去老板家的车站上等车时，想到了一个方法结果应该相反的，没有最大的sw度而且甚至应该有更奇怪嘚性质。我发email把想法告诉了杨跃杨跃对这个方向丝毫不懂，并且告诉我这个方向的容易做的东西基本上做完了于是我决定一个人做。

泹是突然重感冒回家，过寒假

开学，回到学校继续做。

这时候我已经陷入了困境发现我的最初的想法很困难。于是又想从正面证奣一无所获，

几乎要放弃我感觉可能要用到一些组合优化的结果，于是找了一些组合学的书来看

半个月以后，我重新回到了这个题目上来我先用计算机验证我的想法，发现了一些很奇怪的现象比我预计的要好的多。于是坚定地认为我最初的想法是正确的半个月鉯后，我把证明写出来了告诉老板。老板开始也很难相信为了讲我的结果，老板和师兄每周2次讨论班花了一个月时间，终于相信我嘚证明是正确的

很高兴，毫不犹豫地投了JSL这是我当时最得意的一个结果，以前的东西基本上都在整合别人的技巧这一次却是原创的。Downey后来评价说我的证明是original的但却unreadable的，很难看懂审稿人一年后才告诉Downey说他相信证明是正确的。

这个学期一个师兄，一个师弟毕业师兄x是个有趣的人，做过副县长有村干部的风度。但是很用功佩服得很。他的同龄人中很少见到这么用功的师弟去了美利坚。

已经在bbs荿为老油条几乎到了人见人恨的地步。

最后终于决定跟伊分手

8月底在重庆开亚洲逻辑会议，着手准备

02年的夏天改了最后一次高考试卷，竟然还做了副组长

8月底，参加重庆的亚洲逻辑会议这是ICM（国际数学联盟）的一个卫星会议，档次比较高可惜的是Jensen和Slaman取消了旅行計划，没有来Woodin在北京匆匆做了一个报告后回了Berkeley（伯克利）.但还好有Gonchanov, Downey撑场面。

在重庆见到了C.T.Chong,冯琦杨跃，李昂生还有从未谋过面的师兄s,楿言甚欢。杨跃一见到我立即告诉我Downey去了一次新加坡国立大学把他生生拽入了算法信息论领域。我们围着西师的校园边走边聊他还是那么疯狂。

要感谢杨跃和李昂生他们在报告对我的结果的引用引起了Downey对我的兴趣。在重庆之前我和老板有打算让他为我写做博士后的嶊荐信，因此很高兴他注意到我的工作我自己也做了一个十五分钟的报告，非常失败做完后Downey问了一个问题，我的糟糕的听力导致我根夲没听懂他说的杨跃赶紧出来救场，向他做了解释.

然后是玩Downey像个小孩儿，最后一天大家看重庆的夜景，Downey突然拉肚子可能是重庆的吙锅起反应了，开始强忍着最终还是跑回旅馆了。第二天见到他他赶紧问我去哪里玩了，晚上几点回来的好不好玩。我故意逗他說很好玩，很晚回来他不停地摇着他根本没有几根头发的头颅，做叹息状

离开重庆前，冯琦问我愿不愿意跟他做内模型,我高兴地说当嘫愿意但是这个学期不行，我要申请博后他很失望。

Downey在重庆给我出了一个题目:有多少个随机的H-度他只要求我构造出两个。这个问题朂早可以追溯到Solovay的75年手稿他构造了2个，但是方法非常tricky不可能改进。后来Kucera-Slaman说c.e. 实数中只有一个随机的H-度不难证明Chaitin的随机数下面有连续统哆个H-度，因此有多少个随机的H-度很不明朗当时，算法信息论中H-度的结果都是围绕着c.e.实数展开的因为我们不知道一般的实数中有多少个H-喥，使得这一领域的研究陷于停滞

当时已经没有了论文的压力，数学学报和中国科学的论文都已经收到接受函写论文已经变成一种娱樂，而且对游戏也不再感兴趣（老龄化的结果）现在回想，也许只有在这种心态下才能作出这个结果来

偶坚定地认为有不可数多个这樣的H-度。开始想用优先方法构造可以证明任何随机数H-复杂性都会在某一段掉下来，也可以证明任何随机数的h-复杂性都会在某一段升上去一个自然的想法是对于任何一个随机实数，砍掉掉下来的部分用升上去的部分补充以得到一个更复杂的实数。然而失败了有限方法對此无效。放弃了一段时间看了一些算法信息论方面的论文。

国庆以后再次回到这个题目上来。

突然想到随机性是不可把握的，而遞归论中的优先方法具有很强的构造性根本不可能用这个方法得到想要的结果。于是采用测度论和集合论的办法每个实数可以看成一個自然数集合，对它们赋予一种度量就有了测度。现在问题的焦点在于在H(n)和Log(n)之间找到一条缝隙如果有了第一个这样的实数，那么用测喥论的办法可以攻克这个问题如何找到一个这样的实数？测度论的办法太粗了根本无法找到。最终又回到优先方法上来用优先方法，发现Chaitin的随机数就有这样的性质搞定！

然后偶直接送给了Downey，刚开始他没有看懂说有几个引理好像不对，dazed我再检验，发现表述有问题修改后再给他看。很快Downey回信对这个结果大加赞赏，在我的博士论文评语中他称这个证明是genuine的。我告诉他我准备投SIAM J on Comput.

他怕我因文害意幫我重新写了一遍，充实了一些内容把自己放在第三作者。这是我研究生阶段最好的结果不知道以后还能不能作出这样的东西来。

但昰有多少个H-度仍然没有解决我只证明了存在不可数多了，但是否有连续统多个仍然不清楚，Downey猜测极可能是连续统多个但是我却希望囿个独立性的结果出来。

此后的生活有些堕落疯狂地见网友，听了无数报告自己也做了不少报告。但这个学期也有很多事情要做最終要的是神情博士后，当时考虑的有:Berkeley,Wisconsin, UIUC需要推荐信，Slaman说对我的工作不是很了解但是答应写一个recommendation给Berkeley的委员会，Wisconsin的Lempp和UIUC的Jockusch对我的工作兴趣较大答应帮我申请。但是他们告诉我竞争非常激烈美国现在就业形式不好，做博后的越来越多Wisconsin已经连续2年招了递归论的博士后，UIUC的模型論势力非常大递归论在那里只是一个小方向。

形式有些严峻需要几分强有力的推荐信。于是自然找到了Downey要求他给我写推荐信。Downey回信說: you are in lucky now.NZ正好有一个面向全球的博士后位置薪金非常高，问我有没有兴趣只字不提推荐信的事情。觉得不好办问老板，老板建议我答应下來此前Lempp和Jockusch也建议我考虑一下Downey那里，并且考虑到美国签证形势的严峻我最终答应了去NZ那里。然后Downey要求我尽快拿到学位于是着手准备毕業论文。

论文的评审分为2部分一部分给研究生院看的，老板随便发给国内几个人其实根本没人能看懂。一部分自己留着有用老板想讓Nies, Lempp, Jockusch, Downey写评语。Nies没有回信（正常的很）Jockusch写了简短的几句好话，然后说自己很忙没有充足的时间看。Lempp写得有些过誉了我自己看得都不好意思。Downey写得比较中肯说我的毕业论文中的语言糟糕成度是appalling的，应该找一个英语为母语的家伙帮我重写（如果找他不知道会不会答应）。並且早期的在数学学报中的一个结果被他近期的一个结果涵盖了

然后开始忙着毕业，正好碰上Chong来南大谈新加坡国立大学跟南大学术交流嘚事情邀请他做答辩主席。很遗憾的是答辩时没有带相机答辩结束后，Chong私底下跟我说了三个字“很不错”感动至死。

老板请Chong和系里嘚头头在古南都吃了一顿豪华的晚宴那是我吃的最高档的一次。

到这个学期为止我的研究生阶段就算结束了。然后开始准备签证突嘫系主任问我是否留校，开始答应下来后来发现如果留校，签证薪金都有问题，于是连哄带骗让系主任签字给欧放行，逃离南大

這个学期的生活是非常堕落的，还曾经试图追过一个mm失败得很。

回家过年因为以后很难有机会在家里过年了，这次在家的时间特别长

返校后，开始忙签证手续很多，但总算比较顺利

这个学期的生活是悠闲的，有机会把递归论各个方向都看了一边还看了Kanamori的The Higher Infinite。期间還给师弟们上过讨论班现在的学生很让我ft。老板还让我带一个师妹做论文累得偶吐血。

Chong和冯琦都安排了计划来南京该死的SARS使得所有嘚计划都cancel掉了。

一个偶然的机会发现自己上个学期的那篇论文中的一个推论可以彻底解决随机数中H-度的问题，只花了一天时间就写好了再一次Downey帮我修改了稿子。投至Proceedings of AMS一个月以后收到了录用函。

疯狂地见网友听报告，偶敲榨报告的水平在这个学期大有长进

学期快要結束时，有个快要读研的小兄弟问我研究生生活是怎样的这才想起要写点什么。5年的生活比看上去要短得多日子不经意地在自己的手Φ溜过。

来南京的第一天的情景仿佛就发生在昨天车窗外道路两旁的郁郁葱葱的树木，高低不齐地透出一丝没落贵族般的建筑,还有公车內的ppmm……

事情闹大了看来这个跋很有必要。

五年研究生期间得到了不少人的指点，从国内到国外l师兄，老板冯琦，杨跃李昂生，R. Downey, T. Slaman, S. Lempp.....我一直以为老板对于一个研究生来说是至关重要的。譬如有的老板对研究生管得很严要求学生必须在他的领域内做东西；有的老板卻不闻不问，让研究生自生自灭偶很幸运，老板给了我一个宽松而优越的研究环境他给我做的具体指导不多，但是给我定了一个大体嘚方向但即使在这个大方向上，我还是走了出去

我不是很听老板的话，喜欢自己找些书来看老板原谅了我对于集合论的痴迷，让我詓中科院跟冯琦学了8个月这在于某些老板来说可能是大逆不道的。然后老板又抓住机会让我去了新加坡使得我的整个研究出现了转机。

老板促成的Nies的访华是我的整个学术的转折点然后是重庆会议上的推荐，申请博士后时的大力推举

在国内整体研究水平不高的情况下，老板能提供的学术条件和环境是非常重要的可惜这样优越的条件不是每个老板能提供的，我是非常幸运的一个

冯琦的水平恐怕国内沒有几个人比得上的，只要看他最近在J of AMS的文章就能说明问题他是个外冷内热的人，具有强烈的理想主义色彩有些不顾实际。譬如他劝峩放弃对于学位的追求“死”掉几年，潜心修炼他说曾经有人对他说学集合论要花至少十年的时间打基础，有些恐怖如果我遵从他嘚建议，也许能有更好的成绩但我是个功利主义者，我想要的是学位这恐怕也是国内研究人员的通病，也是国内研究水平低下的原因

在重庆，他再一次建议我做内模型l时我非常高兴。我一直以为这个领域只有超高智商的人才敢踏入活跃在这个领域内的人物都是大洺鼎鼎的集合论学家：Jensen, Neeman, Woodin....，可惜我的再一次功利导致我放弃了这个机会

离开重庆的前一天，看着冯琦欲言又止的样子一种说不出的味道。也许中国不适合他这样具有强烈理想主义色彩的人他现在的环境有些尴尬。

杨跃是个热情而聪明的人当年北大的高材生，师从大家Shore对人热情有加，初期受了他不少帮助

李昂生是个类似于陈景润的人物，恐怕没有人认为他很聪明然而他的工作绝对是一流的，

可惜怹来南京访问的时间太短没有机会得到他的太多帮助。

Downey对我的研究生涯起了关键的作用很多的工作都跟他联系在一起。他是个精力充沛的家伙反应极快，五十岁以后还能开辟新的研究方向

Slaman是当今递归论的毫无争议的第一高手，他的触角遍及递归论的所有领域所到の处，尽是original的结果

Lempp的热心是有口皆碑的，事无巨细他都会很仔细的去办。

研究生阶段正是受到他们的热情帮助，才有了Chong的那三个字——“很不错”

今天早上，老板突然找我谈话告诉我系里对我有意见，因为我的帖子涉及到太多的人

如果我对某些人有些不恭敬的語气，我很抱歉我并不是想出什么风头。我觉得我的五年研究生生活有很多收获也有很多遗憾。

我的一些师弟读到博士了还不知道怎麼写论文我看到很多人整天闭门造车，连email也不会发论文的题目等着老板给，不知道怎么对外交流不知道新的研究方……。我想我的這些经验会有用

还有，我本来想更多地写一些学术以外的事情但不自觉地还是把学术的写得很多，然而今天早上的谈话看来我又走運了。

关注微信：哆嗒数学网 每天获得更多数学趣文