第37章【關於西塔潘猜想在rt與wkl關係中的證明思路】
晚餐過後。
望著正在收拾餐具的明美，為了給某隻蘿莉留下好印象，林染虛偽的問了句，“明美姐，那個……要不要我幫忙洗碗？”
“不用了染少爺，這裡交給我就好，您去休息吧！”
得到小女仆明確的拒絕後，林染才揉著肚子來到客廳，把自己扔進沙發裡，發出一聲滿足的喟歎。
洗碗？
不可能的，這輩子都不可能洗碗的。
他可以花費兩個小時去準備一頓大餐，但絕對不接受飯後去洗碗，前世小的時候為了逃避這項工作，每次吃完飯後都拿著本書往廁所裡一蹲，一待就是半個小時，為此冇少被老媽罵。
想到這裡，他瞥了一眼沙發另一側。
隻見某隻茶發蘿莉也以幾乎同款的姿勢癱著，懷裡抱著她那新得的的包包，小短腿悠閒地晃蕩著，冰藍色的眼眸半眯。
確認過眼神，都是不想洗碗的人。
兩個懶蛋一左一右，往沙發上一躺，跟兩個大爺似的，一個在那裡看電視，一個則是在那裡欣賞自己剛到手的包包。
就這麼癱了半晌，林染才從沙發上起身，準備上樓看書。
路過依舊癱著的小哀時，非常自然地伸出手，在那頭柔順的茶發上狠狠rua了一把。
成功換來一記混雜著不滿和幽怨的目光。
充錢了嗎？你就摸。
林染假裝冇看見，心情愉悅地溜上了樓。
他也想偷懶，他也想躺平，但是冇辦法啊，誰讓他家係統不爭氣，不像彆人家的，方方麵麵的都替宿主打理好，宿主隻要當個鹹魚就行。
可他卻不行，要想成為一個不受質疑的全能學霸，就得努力看書學習，充實自己。
書房裡，林染對著窗外的月亮發了會呆，才拿起準備好的書看了起來。
不過今晚不知道怎麼的，可能是家裡來了一隻蘿莉科學家，有些激動，他好半天也冇能進入寫作狀態，後麵乾脆放下書，從書架上拿了本《數學分析》看了起來，換換腦子。
一名合格的學霸，就是要能文能武。
不對，是文理雙修。
說起來，前世他上大學那會兒，最初報的可就是數學係，奈何，作為老林家那一代唯一的男丁，從他高考結束的那個暑假起，就被父母親戚組團開啟了“催戀催婚”預熱模式。
但，數學係嘛……懂的都懂。
在這裡想看到女生，尤其是好看的女生，難度係數不亞於在自家小區裡偶遇野生大熊貓。
後麵也是托了自己一個姑姑關係，含笑（劃掉）含淚轉入了隔壁的文學係，瞬間就感覺像是唐三藏誤入了女兒國，他成大熊貓了。
這次拿起數學書，熟悉的公式和邏輯鏈條很快讓他沉靜下來，津津有味地一頭紮了進去。
不知過去多久，書房的門被輕輕推開。
一顆小小的、茶色的腦袋探頭在房間裡打量了一下，確定冇有危險後，才將身子全部放進來，手裡還拎著一壺熱茶。
——來自姐姐大人的任務。
為了促進家庭和諧，加深妹妹與自家少爺的革命友誼，明美果斷把自己照顧林染看書寫作的任務，下放給了妹妹。
小哀一走進來，就看到林染坐在書桌前，手裡拿著本書，不時低頭寫寫畫麵，專註的樣子倒是讓少年平時那副溫潤中帶著點散漫的氣質，沉澱出了幾分獨特的魅力。
“很努力呢……”
蘿莉心想。
優秀的人從來不是隻靠天賦，更多的是勤奮與汗水，就像她自己一樣。
小哀走過去，踮起小腳，將杯子放到桌上，不過想倒茶時才發現有些夠不著，秀眉微皺，從一旁拉來把椅子，費力地爬上去，站穩。
這一番動靜成功讓林染從書中回過神，看到居然是哀醬在給自己倒茶，驚訝了一下，隨即高興道：
“小哀，你來的正好，快來幫我看一下這論文格式有問題不？”
“哦好……嗯？！”
小哀下意識答應，隨即反應過來不對。
你在說什麼？
蘿莉冰藍色的眼眸看著眼前的男人眨了眨。
然後她才註意到，林染桌上放著的不是什麼她想的文學著作，而是一本數學書，本子上寫的也不是什麼風花雪月的優美文句，而是一堆數學符號和推導公式。
迷茫了，哀醬真的迷茫。
你一個大作家，文壇新貴，億萬富翁，不去好好構思你的下一本作品，不去享受你的成名生活，大半夜的躲在書房裡玩什麼數學啊？
（本章未完，請點擊下一頁繼續閱讀）第37章【關於西塔潘猜想在rt與wkl關係中的證明思路】(第2/2頁)
這不純純的“不務正業”嘛！
“你……在看數學？”
“對啊。”
林染理所當然地點點頭，將手中的筆放下，活動了一下有些發酸的手腕，“文學是我的愛好，科學才是我的追求，全麵發展嘛。”
他指了指桌上的稿紙，頭疼道：“我準備投稿一篇論文，格式上我總覺得有點彆扭，你幫我看看？”
灰原哀：“……”
她低頭看了看自己身上還冇換下來，帶著卡通圖案的家居服，又抬頭看了看林染那張寫滿“求知欲”的俊臉，一時竟不知該作何反應。
一個轟動文壇的天才少年作家，深夜不構思新書，反而在鑽研什麼數學，還說要發表論文，你確定這個世界還正常？
她深吸一口氣，努力讓自己接受這個設定。
“要冷靜，灰原哀。”
畢竟，連aptx-4869這種能讓人返老還童的藥物你都親手研發出來了，眼前這個家夥不過是興趣廣泛了點，跨度大了點，也不是完全不能接受。
小哀爬上椅子，柔軟的小腿跪坐在上麵，目光掃過稿紙上的內容，準備看看這家夥到底在搞什麼名堂。
林染則是捧著茶杯，慢悠悠的品了起來。
他心裡門清，眼前這位彆看現在是小蘿莉的模樣，但之前可是18歲就醫學和化學雙博士學位的天才美少女，平時估計sci論文都冇少發，這種學術格式問題，找她谘詢，絕對是專業對口。
事實上也確實如此。
雖然數學不是小哀之前主攻的方向，但數學畢竟是一切學科的基礎，她對此也有所了解，而當看到稿紙最上方上寫的標題，她下意識地抬眸看了眼林染，才繼續低頭看下去。
稿紙上的內容是：
【關於西塔潘猜想在rt與wkl關係中的證明思路】
【摘要：本文旨在探討反推數學中拉姆齊定理的弱化體係rt與弱柯尼希引理體係wkl之間的邏輯關係。針對由seetapun提出的seetapun猜想，即rt是否嚴格強於wkl的問題，本文通過構建w-模型並分析其二階算術子係統中的證明論強度，給出證明……】
這家夥居然在搞數論。
小哀眉頭緊皺，要知道數論這東西，看起來門檻很低，一些公式定理連普通人都能看懂，但實際上它是最吃天賦的一個領域。
或者可以說是天才的試金石
冇有那個金剛鑽，你就是皓首窮經、埋頭苦乾一輩子，很可能連門都摸不著，更彆提做出什麼像樣的成果了。
一瞬間，小哀甚至懷疑林染是不是和那些沉迷於“證明哥德巴赫猜想”的民間科學家們一樣，屬於自我感覺良好、實則誤入歧途的類型。
不過，看在救命恩人以及新包包的份上，她決定還是先看看內容再說，免得過早下結論打擊了對方的數學熱情。
這一看，就逐漸入了神。
表情從最初的審視、到逐漸凝重、再到陷入深思，眉頭時而微蹙，時而舒展。
林染一杯熱茶慢慢見底，饒有興致地欣賞著小蘿莉的麵部變化，對自己的論文完全不擔心。
他要證明的論文，是英國數理邏輯學家西塔潘在1990年提出的一個猜想，距今為止才過去了6年，熱度還在。
探討的是“拉姆齊定理”與另一個叫做“wkl”的數學係統之間的關係。
用通俗點的話來說：要證明“在任何一個無限的數學結構中，都能找到一個具有某種規律的無限子結構”這個結論，到底需要多強的公理係統。
這個猜想並不屬於希爾伯特問題或千禧年難題那種“百年懸案”級彆。
它更像是數理邏輯領域內部一個非常專業、有待厘清的問題，在圈外人看來可能很“小”，但其解決需要對該領域有深刻的理解。
可以說非常適合林染現在發表。
既能證明他在數學方麵的天賦和實力，樹立天才形象，又不會因為成果過於驚世駭俗而引來不必要的麻煩和質疑。
畢竟，你一個文學界新人，要是上來就把“黎曼猜想”或者“p對np問題”這種困擾了無數數學巨擘幾百年的終極難題給乾趴下了，那就有些太離譜了。