我只想當一個安靜的學霸 133章 邏輯

    為了能讓歐葉完全理解自己的思路邏輯，沈奇將原本100字的論文大綱擴展到800字。

    在大綱修改過程中，沈奇與歐葉不斷交流。

    沈奇：「在論文的正文部分，你需要化兩個二次型成平方和，此處需加一個引用，歐葉你知道要引用什麼嗎？」

    歐葉：「束。」

    沈奇：「很好，你進步的很快。那麼做總結的時候同樣需要引用，以對應前面的不變因子，你知道要引用什麼嗎？」

    歐葉：「集。」

    沈奇：「非常好，你是個聰明的女生。」

    服務員給沈奇續白開水，他完全聽不懂沈奇和歐葉在談論些什麼。

    普通的大學生情侶來喝咖啡，談論最多的話題是衣食住行，哪家店的東西好吃，親你這件衣服好美和你的氣質特別搭，聖誕節咱們出去旅遊吧，或者就在本地開個房也行，諸如此類。

    喝白開水的這對年輕男女，兩人的日常對話內容屬於另一個範疇，他倆不是水木就是燕大的學生吧？

    沈奇的邏輯理論在同齡人中只有歐葉能懂，歐葉在慢慢的懂。

    歐葉的語言表達方式也只有沈奇能抓住核心要點，沈奇在逐漸適應。

    總而言之這兩人的日常對話，普通人是聽不懂的。聽懂也沒用，根本不知道他倆想幹嘛，有何目的。

    沈奇付錢買單，將論文大綱拷進u盤遞給歐葉：「我準備閉關了，半個月到一個月之內你見不到我，班長工作委託給了周雨安，如果有特別緊急的事情可以給我電話。」

    歐葉接過u盤說到：「最後一個事情。」

    沈奇面無表情的說「講。」

    歐葉：「第26題的手寫稿，給我。」

    沈奇仍舊沒有表情：「哦。」

    歐葉：「你神經病吧。」

    沈奇皮笑肉不笑：「呵。」

    「呵呵。」歐葉被沈奇逗樂了，她露出一個明顯的笑容，對她來說已算非常明顯。

    「看，你笑起來很迷人，甚至還有兩個淺淺的酒窩，歐葉，你為什麼總是面無表情呢？長期不哭不笑不激動，容易導致面癱。今後要多露出笑容，聽見沒有？」沈奇提出了中肯的建議。

    歐葉皮笑肉不笑：「哦。」

    「歐神，我水土都不服，就服你，你原創版的『哦』富有神韻，我一輩子也學不會。」沈奇起身，笑著搖搖頭，回寢室取了第26題的手寫稿複印件交給歐葉。

    手寫稿記錄了沈奇最初的邏輯思路和解答過程，對歐葉有一定的參考意義。

    之後幾天沈奇進入閉關模式，他早上6點離開寢室，晚上12點回來，室友們也不清楚他去了哪裡，幹了些什麼。

    在整理第23題的求證過程中，沈奇遇到了新課題，他需要一種新方法，以解決線性不等式約束的廣義非線性互補問題。

    這個問題沈奇考慮三天三夜，無果，沒有思路。

    孫二雄出的第23題原題不難，無非就是求證一個雅可比行列式。

    在48小時的瘋狂刷題中，沈奇經歷了第一次思想飛越，他突發奇想假設了一種新證法，證明這種新證法成立後，再去求證題設的雅可比行列式。

    最近三天三夜，沈奇經歷了第二次思想飛越，他認為之前自創的新證法還需進一步完善，解題是ok的，寫成論文值得推敲的地方有不少。

    不斷的推翻、重建，否定、肯定，沈奇在燕大某個角落一坐就是一天，連坐三天三夜，除了吃飯睡覺上廁所。

    困擾沈奇最大的課題是，基於廣義互補問題構成的半光滑方程組的廣義雅可比矩陣，是否存在一種算法，從而形成一個帶橢球約束的線性化二次模型？

    原本不難的一道高代題，被沈奇越整越複雜，越思考越深刻，深刻到他自己都沒有辦法解答。

    數學以及一切自然科學，正是在不斷的推翻與重新論證中向前發展。

    有人成功了，名垂青史。

    有人發瘋了，送去精神病院。

    沈奇餓了，他要吃飯。

    恍恍惚惚的飄到食堂，麵食窗口，沈奇排隊候餐。

    等待打餐的時候，沈奇注意到窗口內部擺放一口長方形大盆，內盛許多白花花的大饅頭。

    這些饅頭以一種奇異的方式堆積，呈現出明顯的數學排列特徵。

    「原來隱藏在民間的學術高手除了圖書管理員和打字員，還有食堂師傅。」沈奇不得不多看打飯師傅幾眼，高高的白帽子凸顯智慧，炯炯有神的雙目閃現靈光。他，一定是個高手，屈居於燕大食堂必然有不得已的苦衷。

    輪到沈奇打飯了，他掏出飯卡，直面打飯師傅。

    「同學你好，吃點啥？」師傅笑呵呵的問到，特別有親和力。

    沈奇並不急於點餐，他指了指窗口內部的饅頭堆，說到：「它們，是非線性的。」

    「那是絕對的啊同學，大饅頭當然是非餡的，帶餡兒的那是包子。」師傅答到，又問：「打幾個饅頭？」

    沈奇虛心請教：「師傅，請問你畢業於哪所高等學府，師從哪位大師？」

    師傅透露了他的求學經歷：「俺畢業於新東方烹飪學校，教俺蒸饅頭的師傅叫李寶塔。」

    沒錯，高手一般不會輕易顯露自己的真實身份，沈奇繼續試探：「你談笑間擺出二次模型在xk點的局部非線性特徵要素，理論功底非常紮實。蟄伏於燕大食堂，你一定是在研究什麼重大課題，有初步成果了嗎？」

    好嘛，又瘋掉一個天之驕子，這在燕大不算稀奇事兒，師傅不敢多問，他專注於自己的餐飲事業：「小伙子，你到底買不買饅頭？」

    「買，買五個饅頭。」沈奇刷卡，買走饅頭。

    找一餐桌坐下，沈奇吃掉一個大饅頭，撕碎剩下四個。

    沈奇撕饅頭的手法很有講究，顯然是經過嚴格計算的，每一塊饅頭碎片的大小几乎一致。

    饅頭碎片被沈奇擺成三列，代表著某種矩陣。

    觀察著一桌子的饅頭矩陣，沈奇陷入了更加迷惘的邏輯死局，若▽g(x)^-1▽f(x)是一個p-矩陣，那麼我之前的假設就不成立？

    假設▽g(x)是可逆的，它的每一個主子式非負，φ的每個穩定點滿足h(x)=0。

    照這種邏輯推演，▽g(x)^-1▽f(x)是一個線性代數中定義的p-矩陣，那麼v∈h（x）是非奇異的？

    這踏馬存在明顯的邏輯錯誤，說不通啊！

    沈奇愈發困惑，基於第23題的論文課題被他越弄越深奧，他提出假設，推翻假設，再次提出，再次推翻。

    邏輯是不可戰勝的，因為戰勝邏輯同樣需要使用另一種邏輯。沈奇陷入邏輯自洽的死胡同，他從來沒有這麼迷惘過，他不知道那種邏輯是真正有效的邏輯。

    同一條餐桌上坐著一對學生情侶，兩人恩恩愛愛卿卿我我，你吃一塊我的釀豆腐，我喝一口你的奶茶。

    女孩子發現了不遠處的沈奇，她很好奇的對男票說：「你看那個人的樣子好怪呀。」

    男孩子掃了眼沈奇，玩世不恭的笑了笑：「我也看到了，他好像條狗啊，數學狗。」

    「你怎麼知道他是數院的？」女孩子問到。

    「他燒成灰我也認得出來，沈奇。」男孩子讀大二，工學院材料專業，前不久在5000米比賽中輸給了沈奇：「別理他，他是個神經病，數院就沒一個正常人，來，吃飯，吃完咱們去看電影。」

    女孩子沒去體育場給工科男加油助威，她之前不認識沈奇，現在認識了。

    吃著男票夾過來的雞翅，女孩子總忍不住偷瞄沈奇兩眼，她覺得這條數學狗雖然怪怪的，但他認真思考問題的樣子，還蠻帥蠻迷人的。