第0292章 從邏輯學到數學（第2/3頁）

的確，

不仔細看是發現不了，然而徐茫憑借近十年的經驗，準確分辨別出按鍵上油漆的色差問題。

不得不說，

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

只是……

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

在此之後，

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

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

就以密碼櫃來言，

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

因此，

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

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

最終徐茫站了出來。

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

因此，

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

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

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

不久，

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

“嘿嘿嘿！”

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

“哼！”

“你再說一遍，家裏誰管錢？”楊小曼不屑地說道：“我有答應過你什麽嗎？”

徐茫：Σ（°△°|||）︴

不好！

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

怎麽辦？

“我……”

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

但是，

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

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

想想自己的老媽，

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

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

唉……

女人呀！

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

“你覺得呢？”楊小曼高傲地說道。

“……”

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

……

終於等到小曼上場了，

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

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

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

開卡包！

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

“普通！”

“普通！”

“稀有！”

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

“哇！金色……普通。”

徐茫：wdnmd

退出，

卸載。

徐茫從此告別了爐石圈。

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

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

要不……

漲漲價？

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

其二，

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

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

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

想到這裏，

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