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