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