不仔細看是發現不了，然而徐茫憑借近十年的經驗，準確分辨彆出按鍵上油漆的色差問題。
不得不說，
有時候學渣經曆還是挺管用的。
隻是
在場的人們對徐茫的回答有些迷茫，這學渣和視力還能掛鉤？
在此之後，
包括徐茫在內的這群極度無聊的數學人士，就數學是否達到完美的公理推演，是否可以保證其內部不存在矛盾，這一係列問題展開了激烈的辯論。
目前數學是存在公理化的局限性，數學證明的程序有些是無法確定與形式公理的程序相符。
就以密碼櫃來言，
純粹的數學是不可能得到一個完美的答案，然而依靠人的主觀思維能夠得到一個完美的解，這個解卻無法用數學來表達。
因此，
這一群無聊的數學人士形成了兩方，一方式認為數學不可能達到完美的公理推演，有些問題必然存在內部矛盾，而另一方認為未來數學一定可以達到完美的公理推演，且不存在矛盾。
雙方開始相互較勁，甚至有動手的可能。
最終徐茫站了出來。
在他的理念中，人類的智慧是不可能被完全的公式所代替，比如自己用行為心理學，破解了密碼櫃的這個過程，是沒有任何公式可以表的達。
因此，
對形式係統來言，‘可證明’是可以機械式的來實現，但‘真’則需要進一步的思想去考慮。
可證明的命題一定是真的，但真的命題不一定是可證明的。
很可惜徐茫的這番言論，並沒有起什麼效果，反而讓雙方的矛盾更加擴散，差點沒真打起來
不久，
人群在不歡中散去，而徐茫的麻煩才剛剛開始。
“嘿嘿嘿！”
“以後家裡我管錢了呀。”徐茫一臉瑟地看著小曼，得意洋洋地說道：“洗衣做飯拖地都要學會，知道了嗎？不然把你買化妝品的錢扣了！”
“哼！”
“你再說一遍，家裡誰管錢？”楊小曼不屑地說道：“我有答應過你什麼嗎？”
徐茫：Σ
不好！
小曼這是打算要翻臉不認人啊！
怎麼辦？
“我”
“我有錄音。”徐茫打開了手機錄音，然後出現了小曼誇下海口的片段。
但是，
在鐵一樣的證據麵前，楊小曼卻不為所動，淡然地說道：“這是假的！”
徐茫縮了縮腦袋，他知道小曼這是打算賴賬，但又沒有什麼辦法，誰讓自己打不過她呢
想想自己的老媽，
想想過去自己的那些壓歲錢，說什麼先幫你存著，想要就問媽來拿。
第二天去拿錢，結果被反問，你有壓歲錢嗎？
唉
女人呀！
“那我的一周兩次的通宵呢？”徐茫問道：“算不算？”
“你覺得呢？”楊小曼高傲地說道。
“”
“小曼？”徐茫痛苦地說道：“你爸是不是整天活在水深火熱之中？”
終於等到小曼上場了，
徐茫對之前還處在耿耿於懷中，原本以為自己套路了小曼，結果最後被小曼給套路了。
都說愛情使女人愚蠢，過去的確是這樣，但最近發現小曼越來越精明了，有一種要當女皇的感覺
徐茫歎了口氣，默默拿出手機，打開爐石傳說，然後怒氪一萬塊。
開卡包！
隻有金色傳說才能拯救自己脆弱的心靈。
“普通！”
“普通！”
“稀有！”
開著開著，眼前卡包快開完了，徐茫的心也逐漸脆弱。
“哇！金色普通。”
徐茫：wdnmd
退出，
卸載。
徐茫從此告彆了爐石圈。
趁著這一段無聊的時光，徐茫著手思考升級材料學數據庫的事情，其實技術不是什麼問題，問題在於錢不夠周副主任隨便提一個要求，需要大量的資金投入。
按照道理來說，這錢將是科研部門下發，但剛剛發了一筆錢，結果還沒有過一個月，錢不夠了好像有點過分。
要不
漲漲價？
徐茫考慮到軟件漲價來收取研發費用，首先從道德和法律的角度，漲價乃是天經地義之事，這軟件本身就用於服務客戶，現在為了提高服務質量，漲漲還能漲出犯法來？
其二，
給數據庫升級是清大材料係副主任提出來的，又不是自己平白無故要升級，這屬於被動式升級，也是被迫式升級，這錢就更加不能自己出。
綜合以上兩點，這錢由清大出！
但清大的錢由誰來出那就讓他們自己去解決。
想到這裡，
徐茫給周副主任打了一個電話，之前兩人就存了號碼。
“喂？”
“周主任！”徐茫嚴肅地說道：“我突然想起一件事情，您不是要讓我升級數據庫嘛，我想了一下技術方麵不是問題，但這錢誰出？”，找書加書可加qq群952868558