【文章內(nèi)容簡(jiǎn)介】 灌得很厲害，曾經(jīng)一度被封過(guò)ip，幸好那是web方式不完善，仍然可以上。因?yàn)檫@個(gè)id曾經(jīng)被封過(guò)很長(zhǎng)的一段時(shí)間，于是申請(qǐng)了那個(gè)臭名昭著的馬甲?；氐侥暇┖蟾盈偪竦毓嗨?，英語(yǔ)考試的前一天還在看碟，打游戲，把在數(shù)學(xué)所瘀積的寂寞統(tǒng)統(tǒng)發(fā)泄出來(lái)。這個(gè)學(xué)期偶和馮琦的關(guān)系不是很好，我給人的感覺(jué)總是不是很尊敬的。后來(lái)才知道馮一度曾想讓我回南京，但是老板還是把我留在了北京。中山的那個(gè)回去后就沒(méi)有再來(lái)北京了?；丶疫^(guò)年，然后直接去北京。到北京的那天下很大的雪。馮是個(gè)理想主義者，我卻是個(gè)現(xiàn)實(shí)主義者。馮讓我在所里跟他讀博士，說(shuō)南大的文憑不要算了。我卻盤算這如何在這個(gè)學(xué)期把論文寫(xiě)出來(lái)給南大交差。馮很不高興，但還是依著我。我自己找了個(gè)題目，關(guān)于用game研究Boolean代數(shù)的，馮給了我一篇明尼蘇達(dá)大學(xué)的一篇paper,我很快解決了里面的一個(gè)open problem，但馮說(shuō)沒(méi)意思，讓我做另外一個(gè)題目，那個(gè)題目他早年做過(guò)，但沒(méi)有結(jié)果。后來(lái)偶上網(wǎng)去查，發(fā)現(xiàn)Shelah amp。amp。 Jech已經(jīng)解決了。然后偶就想回南京。偶告訴了馮琦，馮很不高興，但也沒(méi)有挽留。于是我像出籠的鳥(niǎo)兒一樣回到了南京。到了南京，瘋狂地灌水，那一個(gè)又是誰(shuí)。但是也不敢怠慢論文的事情。在Slaman的主頁(yè)上找到他和李昂生，楊躍合作的一篇論文，里面的一個(gè)open problem吸引了我。于是去做。像以前一樣，一段時(shí)間以后，以為自己解決了，后來(lái)發(fā)現(xiàn)錯(cuò)了，于是反過(guò)來(lái)看他們的論文，發(fā)現(xiàn)好像也有同樣的問(wèn)題。于是發(fā)給singapore的楊躍，楊開(kāi)始沒(méi)看懂，于是偶更加堅(jiān)信他們的證明是錯(cuò)的?；匦?。終于楊躍看懂了，承認(rèn)了這個(gè)錯(cuò)誤，但是認(rèn)為可以改過(guò)來(lái)。我卻很悲觀，認(rèn)為很難改。但最終楊躍以幾乎是rape的方法把錯(cuò)誤修正了，他的方法破壞了整個(gè)樹(shù)的結(jié)構(gòu)，強(qiáng)行從左邊跳到右邊。偶沒(méi)有找到錯(cuò)誤，但不敢相信他的證明是正確的。他們的審稿人也許跟我有同樣的想法，這篇論文投至math journal of Isreal，至今沒(méi)有消息。我自己的論文也有了一個(gè)結(jié)果，證明了一個(gè)高的度下面必然有noncuppable的高度，老板想投JSL，JSL的主編Downey說(shuō)這個(gè)結(jié)果Harrington已經(jīng)證明了。于是偶又修改，發(fā)現(xiàn)偶的結(jié)果遠(yuǎn)比Harrionton的強(qiáng)，強(qiáng)得偶老板幾乎不太相信。后來(lái)我們把稿子投到了中國(guó)科學(xué)，并且推薦了幾個(gè)審稿人，都是老外，因?yàn)槲覀冃挪贿^(guò)國(guó)內(nèi)的人審稿。這個(gè)學(xué)年顯得有些瘋狂，也有些凄涼。因?yàn)榇T士時(shí)的同學(xué)要畢業(yè)了。這個(gè)學(xué)年我們瘋狂地玩星際爭(zhēng)霸，人人對(duì)戰(zhàn)顯得那么刺激。學(xué)校還有了ftp,每天盤算著看什么片子，快樂(lè)得一塌胡涂，以至于都不想畢業(yè)。但終歸都做鳥(niǎo)獸散了。很多同學(xué)要么出國(guó)，要么工作，剩下幾個(gè)沒(méi)出息的都在國(guó)內(nèi)讀博士。還有一個(gè)比煤球還霉的家伙四簽不能過(guò)，留在國(guó)內(nèi)待業(yè)。我也搬到了博士生公寓，這才感覺(jué)到自己已經(jīng)是個(gè)博士生了，不能像以前那樣肆無(wú)忌憚地在同學(xué)間胡亂開(kāi)玩笑了，開(kāi)始偽裝自己，也是為了保護(hù)自己。因?yàn)楦鷹钴S的交流，老板趁熱打鐵，Chong很快答應(yīng)了?！?】01年暑假，我無(wú)可救藥的網(wǎng)戀了。一個(gè)數(shù)學(xué)系的mm，還是老鄉(xiāng)剛畢業(yè)，畢業(yè)前遠(yuǎn)遠(yuǎn)地只見(jiàn)過(guò)幾次。開(kāi)學(xué)后，忙著辦簽證，本來(lái)計(jì)劃在Singapore一個(gè)月的，因?yàn)樯虾８闶裁创笮突顒?dòng)，簽證辦的很不順利，拿到簽證時(shí)只能在Singapore住18天了。去Singapore之前，偶跟楊躍已經(jīng)定下了要做的題目:給出第四個(gè)可定義的理想。幾十年來(lái)遞歸論中所知道的只有兩個(gè)可定義理想:cappable 和 noncuppable。Shore問(wèn)是否有無(wú)窮多個(gè)可定義的理想。Nies證明了可定義集合生成的理想必然是可定義的，但這并不能解決Shore的猜想，因?yàn)槲覀儾恢肋@些集合生成的理想是否相同。作為一個(gè)具體的例子，Nies證明了nonbounding是新的可定義理想。但是他遺留了一個(gè)問(wèn)題，是否cappable跟noncuppable的交是非平凡的。如果不是，那么就有第四個(gè)可定義理想。Slaman,李昂生，楊躍的論文中有個(gè)構(gòu)造noncuppable度的強(qiáng)有力的技巧。我們打算用他們的技巧攻克這個(gè)問(wèn)題。開(kāi)始楊躍列了一個(gè)大綱，他想用他那個(gè)極為丑陋的jump技巧，我覺(jué)得不行，建議改成link，果然使難度降了很多。但中間有個(gè)小問(wèn)題絆住了我們，楊躍想到一個(gè)辦法，但我認(rèn)為行不通。所有這些都是在去Singapore之前做的。啟程，去Singapore，因?yàn)槲覉?bào)錯(cuò)了航班，害得楊躍在機(jī)場(chǎng)從下午等到晚上。楊躍果然瘋狂，我們坐在出租車?yán)锞烷_(kāi)始討論那個(gè)問(wèn)題，一直到我的住處，討論到半夜，終于有了一個(gè)結(jié)果，那個(gè)問(wèn)題克服了。剩下的事情就是仔細(xì)地檢驗(yàn)證明，證明是龐大的。在Singapore玩的地方不多，只去了Orchard road和bird park，Orchard road是偶這樣的窮人不應(yīng)該去的，bird park倒是不錯(cuò)，看到了以前從沒(méi)有看過(guò)的動(dòng)物。Chong請(qǐng)偶吃了一頓豪華的晚飯。突然gf(敲下這個(gè)字時(shí)手有些顫抖)要跟我分手，不知所措，后面什么也干不了了。突然伊又說(shuō)等我回南京的時(shí)候她要去南京看我。女人的心，天上的云。我回到了南京，論文寫(xiě)了一個(gè)草稿，我們覺(jué)得結(jié)果太單薄了，想投個(gè)好一些的雜志，但是JSL正在嚴(yán)打local理論，估計(jì)很難中，于是我們announce了一下這個(gè)結(jié)果，按住沒(méi)發(fā)。伊來(lái)南京過(guò)生日，我把在Singapore掙的一點(diǎn)錢都花了進(jìn)去。但像所有網(wǎng)友見(jiàn)面的情況一樣，失望。伊覺(jué)得偶沒(méi)有網(wǎng)上那么壞，我也覺(jué)得自己在伊面前有些萎縮。不歡而散。后面的日子好好壞壞。這時(shí)候，楊躍提出了一個(gè)更大膽的問(wèn)題，是否noncuppable 和 nonbounding生成的理想嚴(yán)格地小于cappable的理想。題目看上去很難，因?yàn)橛行〨lobal的味道，優(yōu)先方法處理這類問(wèn)題是非常困難的。楊躍好像也沒(méi)有把握，只是問(wèn)了一下。但我卻開(kāi)始著手證明。那是一個(gè)月朗星稀的晚上，我在北大樓門前徘徊，考慮著這個(gè)問(wèn)題?，F(xiàn)在偶都驚訝于我的直觀如此強(qiáng)，感覺(jué)這個(gè)東西一定跟構(gòu)造同時(shí)具有cuppable 和 cappable 性質(zhì)的度有關(guān)。找了Shore當(dāng)年的論文來(lái)看，發(fā)現(xiàn)那個(gè)技巧果然可以用。大喜，告訴楊躍，楊躍對(duì)這個(gè)技巧不熟，但也很高興知道可以解決。他回到了北京的家，在北京他仔細(xì)推敲了我的建議，認(rèn)為是正確的。很高興，毫不猶豫地投了JSL，Downey收下了稿子，轉(zhuǎn)給了審稿人。這個(gè)學(xué)期有個(gè)同學(xué)結(jié)婚了，娶了一個(gè)安徽的女孩兒。大家跑到合肥去喝喜酒。當(dāng)我在Singapore的時(shí)候，Nies來(lái)到南京訪問(wèn)。他帶來(lái)了一個(gè)嶄新的方向，算法信息論。我在Singapore