這...
這是認真的嗎？
在場所有人對此深感懷疑。
不開玩笑地講，雖然這只是一個猜密碼的遊戲，但絕大部分人把它當做了一次概率學上的挑戰。
當然，
衆人採取的辦法也不太一樣，有些人用概率極限理論，而有些人用概率分佈，即隨機變量的概率性質，還有些人很過分，用了馬爾可夫過程，來研究離散事件動態系統狀態的空間問題。
但是，
所有的四位數字密碼出現的概率都是等可能的情況下，都是五千點五次機率。
之後所有人開始拓展，因爲這是人爲的設置的四位密碼，從人類思維的情況下，使得四位數字密碼出現的概率不再是等可能的情況下，嘗試的次數會大幅度縮短。
此後，
小小的密碼櫃成爲了衆多數學天才和老師們的狂歡，他們在概率論中揮灑着青春。
結果...
出來一個人，
他上來就把這場概率論的狂歡給終止了。
“...”
“...”
“...”
這算不算隨機事件？
否則怎麼可能？！
話說，
他是誰？
與此同時，
最憤怒的就是楊小曼，她感覺自己被套路了，被這個傢伙給騙慘了。
楊小曼：（＃￣～￣＃）
好氣呀！
自己居然被騙了！
晚上就讓你付出慘痛的代價！
“唉？”
“你...你好像是徐茫吧？”在場的某一位學生認出了徐茫，他是來自於浙省的代表隊成員，曾經與徐茫在浙省奧數大賽上交過手，然後完敗...自此徐茫的臉就記住了。
“...”
“我不是！”徐茫急忙搖了搖頭：“我叫徐楊！”
“你...”
“你不是徐茫嗎？”這位學生面露疑惑地問道：“爲什麼長了一張跟徐茫一樣欠揍的臉？”
我...
你個傢伙過分了呀！
徐茫聽到這位學生的話語，差點沒有氣出血，這人年紀輕輕的，居然得那麼嚴重的白內障，明明自己長了一張盛世美顏，結果在他的眼裡卻是欠揍的臉，怕不是白內障晚期吧？
“你最好去看看眼科。”徐茫嚴肅地說道：“我怕你明天就瞎了！”
話落，
這位學生興奮地喊道：“你就是徐茫！就你身上這一股賤*勁，世界上沒有比你更賤的人了！”
徐茫？
他是徐茫？
話說徐茫是誰啊？
絕大部分的人並不是認識徐茫，畢竟徐茫只是在材料學和物理上，獲得了一些成就，而在數學領域上，卻不曾有過什麼成績，加之他的影響力僅限於魔都、京城和浙省。
而京城又比較特殊，因爲材料學數據庫的試驗地就選擇在京城和魔都，京城的高校多多少少聽聞過徐茫。
其他的...對不起，真不認識！
“同學，你是怎麼一次計算出密碼的？”
“用了什麼理論？”
“是湊巧嗎？”
瞬間，
徐茫被一羣人給團團圍住，此時他有些懵逼了。
“呃...”
“其實我並沒有用數學思維去考慮這個密碼概率問題。”徐茫小心翼翼地說道：“我是用心理學中的行爲邏輯，去思考密碼的可能性，跟數學沒有一點點的關係。”
“不好意思...”
“我作弊了。”徐茫尷尬地說道：“在面對這種均可能出現的情況下，從客觀上不管怎麼計算，最終的答案都是一致的，除非加上主觀意識。”
“而我放棄了客觀，選擇主觀。”徐茫說道：“從人的邏輯行爲去考慮問題，加上自己的一點點推論，最後得出一個正確的密碼。”
此時，
一位帶隊老師問道：“我也考慮過主觀，但需要一個參照條件，而這個密碼櫃只有密碼，其他信息一概不知道，怎麼找到一個具有價值的主觀意識？”
這是所有人的疑惑，缺少了一個參照，從而缺少一個條件。
徐茫笑了笑，默默地說道：“你們可能沒有發現密碼按鍵上的磨損情況，我就是參照了這個磨損情況，從而進行推斷。”
磨損情況？
還別說，
仔細看真的發現略微有些暗淡。
但是，
不湊近看根本發現不了，他是怎麼看到的？
“不對呀！”
“之前你也沒有靠近密碼櫃，你是怎麼發現這個問題的？”某一位學生說道：“我站着這麼近，都發現不了。”
“因爲你是學霸！”
“而我過去是學渣！”徐茫突然涌上一股久違的學渣自豪感。
學渣，
擁有一種與生俱來的特殊能力，他們的視力非常好，隔着一米的空檔，學渣可以憑藉瞥一眼的機會，對附近同學們考卷上的答案，進行完美的複製。
的確，
不仔細看是發現不了，然而徐茫憑藉近十年的經驗，準確分辨別出按鍵上油漆的色差問題。
不得不說，
有時候學渣經歷還是挺管用的。
只是...
在場的人們對徐茫的回答有些迷茫，這學渣和視力還能掛鉤？
在此之後，
包括徐茫在內的這羣極度無聊的數學人士，就數學是否達到完美的公理推演，是否可以保證其內部不存在矛盾，這一系列問題展開了激烈的辯論。
目前數學是存在公理化的侷限性，數學證明的程序有些是無法確定與形式公理的程序相符。
就以密碼櫃來言，
純粹的數學是不可能得到一個完美的答案，然而依靠人的主觀思維能夠得到一個完美的解，這個解卻無法用數學來表達。
因此，
這一羣無聊的數學人士形成了兩方，一方式認爲數學不可能達到完美的公理推演，有些問題必然存在內部矛盾，而另一方認爲未來數學一定可以達到完美的公理推演，且不存在矛盾。
雙方開始相互較勁，甚至有動手的可能。
最終徐茫站了出來。
在他的理念中，人類的智慧是不可能被完全的公式所代替，比如自己用行爲心理學，破解了密碼櫃的這個過程，是沒有任何公式可以表的達。
因此，
對形式系統來言，‘可證明’是可以機械式的來實現，但‘真’則需要進一步的思想去考慮。
可證明的命題一定是真的，但真的命題不一定是可證明的。
很可惜...徐茫的這番言論，並沒有起什麼效果，反而讓雙方的矛盾更加擴散，差點沒真打起來...
不久，
人羣在不歡中散去，而徐茫的麻煩纔剛剛開始。
“嘿嘿嘿！”
“以後家裡我管錢了呀。”徐茫一臉嘚瑟地看着小曼，得意洋洋地說道：“洗衣做飯拖地都要學會，知道了嗎？不然把你買化妝品的錢扣了！”
“哼！”
“你再說一遍，家裡誰管錢？”楊小曼不屑地說道：“我有答應過你什麼嗎？”
徐茫：Σ（°△°---）︴
不好！
小曼這是打算要翻臉不認人啊！
怎麼辦？
“我...”
“我有錄音。”徐茫打開了手機錄音，然後出現了小曼誇下海口的片段。
但是，
在鐵一樣的證據面前，楊小曼卻不爲所動，淡然地說道：“這是假的！”
徐茫縮了縮腦袋，他知道小曼這是打算賴賬，但又沒有什麼辦法，誰讓自己打不過她呢...
想想自己的老媽，
想想過去自己的那些壓歲錢，說什麼先幫你存着，想要就問媽來拿。
第二天去拿錢，結果被反問，你有壓歲錢嗎？
唉...
女人呀！
“那我的一週兩次的通宵呢？”徐茫問道：“算不算？”
“你覺得呢？”楊小曼高傲地說道。
“...”
“小曼？”徐茫痛苦地說道：“你爸是不是整天活在水深火熱之中？”
...
終於等到小曼上場了，
徐茫對之前還處在耿耿於懷中，原本以爲自己套路了小曼，結果最後被小曼給套路了。
都說愛情使女人愚蠢，過去的確是這樣，但最近發現小曼越來越精明瞭，有一種要當女皇的感覺...
徐茫嘆了口氣，默默拿出手機，打開爐石傳說，然後怒氪一萬塊。
開卡包！
只有金色傳說才能拯救自己脆弱的心靈。
“普通！”
“普通！”
“稀有！”
開着開着，眼前卡包快開完了，徐茫的心也逐漸脆弱。
“哇！金色...普通。”
徐茫：wdnmd
退出，
卸載。
徐茫從此告別了爐石圈。
趁着這一段無聊的時光，徐茫着手思考升級材料學數據庫的事情，其實技術不是什麼問題，問題在於錢不夠...周副主任隨便提一個要求，需要大量的資金投入。
按照道理來說，這錢將是科研部門下發，但剛剛發了一筆錢，結果還沒有過一個月，錢不夠了...好像有點過分。
要不...
漲漲價？
徐茫考慮到軟件漲價來收取研發費用，首先從道德和法律的角度，漲價乃是天經地義之事，這軟件本身就用於服務客戶，現在爲了提高服務質量，漲漲還能漲出犯法來？
其二，
給數據庫升級是清大材料系副主任提出來的，又不是自己平白無故要升級，這屬於被動式升級，也是被迫式升級，這錢就更加不能自己出。
綜合以上兩點，這錢由清大出！
但清大的錢由誰來出...那就讓他們自己去解決。
想到這裡，
徐茫給周副主任打了一個電話，之前兩人就存了號碼。
“喂？”
“周主任！”徐茫嚴肅地說道：“我突然想起一件事情，您不是要讓我升級數據庫嘛，我想了一下...技術方面不是問題，但這錢誰出？”
......