第179章 謝謝你的車（2/2）

都從西北向的谷西區、岸北區流下來，穿過中央區，從東南方的馬場區、下東區匯入大海。

離4局最近的就是悲嘆河，進入濕地公園，同樣可以高速穿行至中央區。

之所以去中央區，因為若敵人連中央區也癱瘓掉，中央區四通八達，他可以隨便選擇下一個區，讓敵人更難捉摸行蹤。

當然，只是備用手段。

因為此刻他的行蹤，敵人應該已經無法掌握了。

葉寒驅車而走，卻並未注意，警局樓上，窗口探出了一隻望遠鏡，緊緊追逐著他漸行漸遠的背影，同時擎望遠鏡的青澀警察，對著手機對講不斷的說著什麼。

==========

悲嘆河濕地公園。

天色越來越暗了，公園裡人頭攢動……

唱歌的，跳舞的，打麻將的，下象棋的，提籠架鳥遛狗吸貓的……

這是葉寒完全沒料到的。

他還以為外面這麼亂，又是爆炸又是停電又是斷網，大家為安全起見，會躲在家裡不出來呢。

卻沒想到，停電了，斷網了，人反倒都出來了——閒著也是閒著。

雖然他神經反射100，平衡屬性高達97，公園裡人行道上，溝溝坎坎台階減速滿坑滿谷，也有信心一路開過去並且保持高速，可是在這春運般的人流面前，屬性再高也沒轍啊。

無可奈何，只得折回到馬路上，從仍舊擁堵不堪的車流縫隙間勉強穿行。

「嘭嗵！」忽然有人追尾了。

車上人都憋了一肚子火，推門下車，三言兩語嗆住，轉眼扭打在了一起，皮開肉綻，血肉橫飛，讓本來已經堵的不行的大街直接癱瘓了。

葉寒繞彎拐過，視而不見。

「救命……救命……強X啊！」忽然又有尖細的女聲傳進耳中，聽聲音，應該是從路邊一條幽黑的窄巷。

葉寒直直前行，聽而不聞。

呵，都是npc，演這麼好的戲給誰看……

且避且走，正艱難前行，從邊上一條小巷裡，忽然一人閃了出來，一身黑色混淆在陰影里，手裡好像拎著什麼東西，還有火光飄搖晃動，沖葉寒直直走來。

葉寒正覺不對，此人忽然加速，兩步墊腳，沖葉寒狠狠丟出了手裡幾個東西。

一！二！三！

借著交錯車燈的閃光，葉寒看清了翻滾在半空的東西。

那是玻璃瓶，瓶里裝著不知成分的液體，瓶口是一布條，正在熊熊燃燒著，隨著瓶的翻滾畫出一道擺線……

是燃燒瓶！

【哥德爾不完備性定理：任意一個包含一階謂詞邏輯與初等數論的形式系統，都存在一個命題，它在這個系統中既不能被證明為真，也不能被證明為否……如果系統S含有初等數論，當S無矛盾時，它的無矛盾性不可能在S內證明。

是不是有點難懂？

嗯，俗話說，不用算數的數學才是最難的。

這玩意主要是解決說謊者悖論、康托爾悖論、羅素悖論之類的集合論問題的。

也不算解決吧，只是將悖論在範圍內排除了。證明了真的和可證的是兩個概念。可證的一定是真的，但真的不一定可證。

所以某種意義上，悖論是一直存在的，解決不了。

這是針對公理體系的一項結論，在邏輯學中的地位，能與亞里士多德和萊布尼茲相比；在數學中的地位，愛因斯坦將其與他本人對物理學的貢獻相提並論。

就我個人理解，其在邏輯界與數學界的地位，大致相當於「遇事不決，量子力學」，甚至本質都有點相似。

當然，不完備性定理也沒有網上一些民科說的那麼可怕。如果只是把公理體系狠狠踹了一腳，踹的搖搖欲墜，它也不會那麼被推崇。

它既破壞了一些東西，也建設了很多東西，並且真正嚴格證明了這句格言——「科學研究是永無止境的」

最後一句引用自清華大學趙昊彤博士相關文章《「哥德爾不完備定理」到底說了些什麼》，有興趣的同學可以去看一看。】

【注釋的注釋：注釋太長作家的話放不下，只好放到文末。放心，先發然後修改的，不占字數~】