關燈 巨大 直達底部
親,雙擊螢幕即可自動滾動
第二百九十二章 從邏輯學到數學

還別說,

仔細看真的發現略微有些暗淡。

但是,

不湊近看根本發現不了,他是怎麼看到的?

“不對呀!”

“之前你也沒有靠近密碼櫃,你是怎麼發現這個問題的?”某一位學生說道:“我站著這麼近,都發現不了。”

“因為你是學霸!”

“而我過去是學渣!”徐茫突然湧上一股久違的學渣自豪感。

學渣,

擁有一種與生俱來的特殊能力,他們的視力非常好,隔著一米的空檔,學渣可以憑藉瞥一眼的機會,對附近同學們考卷上的答案,進行完美的複製。

的確,

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

不得不說,

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

只是...

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

在此之後,

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

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

就以密碼櫃來言,

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

因此,

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

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

最終徐茫站了出來。

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

因此,

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

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

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

不久,

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

“嘿嘿嘿!”

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

“哼!”

“你再說一遍,家裡誰管錢?”楊小曼不屑地說道:“我有答應過你什麼嗎?”

徐茫:Σ(°△°|||)

不好!

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

怎麼辦?

“我...”

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

但是,

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

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

想想自己的老媽,

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

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

唉...

女人呀!

“那我的一週兩次的通宵呢?”徐茫問道:“算不算?”

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

“...”

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

...

終於等到小曼上場了,

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

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

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

開卡包!

只有金色傳說才能拯救自