第二百九十二章 從邏輯學到數學（1/3）（2/2）

不得不說，

有時候學渣經歷還是挺管用的。

只是...

在場的人們對徐茫的回答有些迷茫，這學渣和視力還能掛鉤？

在此之後，

包括徐茫在內的這群極度無聊的數學人士，就數學是否達到完美的公理推演，是否可以保證其內部不存在矛盾，這一系列問題展開了激烈的辯論。

目前數學是存在公理化的局限性，數學證明的程序有些是無法確定與形式公理的程序相符。

就以密碼櫃來言，

純粹的數學是不可能得到一個完美的答案，然而依靠人的主觀思維能夠得到一個完美的解，這個解卻無法用數學來表達。

因此，

這一群無聊的數學人士形成了兩方，一方式認為數學不可能達到完美的公理推演，有些問題必然存在內部矛盾，而另一方認為未來數學一定可以達到完美的公理推演，且不存在矛盾。

雙方開始相互較勁，甚至有動手的可能。

最終徐茫站了出來。

在他的理念中，人類的智慧是不可能被完全的公式所代替，比如自己用行為心理學，破解了密碼櫃的這個過程，是沒有任何公式可以表的達。

因此，

對形式系統來言，『可證明』是可以機械式的來實現，但『真』則需要進一步的思想去考慮。

可證明的命題一定是真的，但真的命題不一定是可證明的。

很可惜...徐茫的這番言論，並沒有起什麼效果，反而讓雙方的矛盾更加擴散，差點沒真打起來...

不久，

人群在不歡中散去，而徐茫的麻煩才剛剛開始。

「嘿嘿嘿！」

「以後家裡我管錢了呀。」徐茫一臉嘚瑟地看著小曼，得意洋洋地說道：「洗衣做飯拖地都要學會，知道了嗎？不然把你買化妝品的錢扣了！」

「哼！」

「你再說一遍，家裡誰管錢？」楊小曼不屑地說道：「我有答應過你什麼嗎？」

徐茫：Σ(°△°|||)︴

不好！

小曼這是打算要翻臉不認人啊！

怎麼辦？

「我...」

「我有錄音。」徐茫打開了手機錄音，然後出現了小曼誇下海口的片段。

但是，

在鐵一樣的證據面前，楊小曼卻不為所動，淡然地說道：「這是假的！」

徐茫縮了縮腦袋，他知道小曼這是打算賴帳，但又沒有什麼辦法，誰讓自己打不過她呢...

想想自己的老媽，

想想過去自己的那些壓歲錢，說什麼先幫你存著，想要就問媽來拿。

第二天去拿錢，結果被反問，你有壓歲錢嗎？

唉...

女人呀！

「那我的一周兩次的通宵呢？」徐茫問道：「算不算？」

「你覺得呢？」楊小曼高傲地說道。

「...」

「小曼？」徐茫痛苦地說道：「你爸是不是整天活在水深火熱之中？」

...

終於等到小曼上場了，

徐茫對之前還處在耿耿於懷中，原本以為自己套路了小曼，結果最後被小曼給套路了。

都說愛情使女人愚蠢，過去的確是這樣，但最近發現小曼越來越精明了，有一種要當女皇的感覺...

徐茫嘆了口氣，默默拿出手機，打開爐石傳說，然後怒氪一萬塊。

開卡包！

只有金色傳說才能拯救自己脆弱的心靈。

「普通！」

「普通！」

「稀有！」

開著開著，眼前卡包快開完了，徐茫的心也逐漸脆弱。

「哇！金色...普通。」

徐茫：wdnmd

退出，

卸載。

徐茫從此告別了爐石圈。

趁著這一段無聊的時光，徐茫著手思考升級材料學資料庫的事情，其實技術不是什麼問題，問題在於錢不夠...周副主任隨便提一個要求，需要大量的資金投入。

按照道理來說，這錢將是科研部門下發，但剛剛發了一筆錢，結果還沒有過一個月，錢不夠了...好像有點過分。

要不...

漲漲價？

徐茫考慮到軟體漲價來收取研發費用，首先從道德和法律的角度，漲價乃是天經地義之事，這軟體本身就用於服務客戶，現在為了提高服務質量，漲漲還能漲出犯法來？

其二，

給資料庫升級是清大材料系副主任提出來的，又不是自己平白無故要升級，這屬於被動式升級，也是被迫式升級，這錢就更加不能自己出。

綜合以上兩點，這錢由清大出！

但清大的錢由誰來出...那就讓他們自己去解決。

想到這裡，

徐茫給周副主任打了一個電話，之前兩人就存了號碼。

「餵？」

「周主任！」徐茫嚴肅地說道：「我突然想起一件事情，您不是要讓我升級資料庫嘛，我想了一下...技術方面不是問題，但這錢誰出？」

......