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