瀏覽>>賽博坦鐵堡軍校網(wǎng)

　　瀏覽>>下屬blog系統(tǒng)

　　登陸>>ID：fingering
　　Pass：******

　　訪問(wèn)>>創(chuàng)建新日志

　　輸入>>日志主題：渣的邏輯靠邊站

　　輸入>>日志內(nèi)容：

　　基本上我跟邏輯沒(méi)什么過(guò)結(jié)，我不碰那些天書(shū)，就跟我周末不去鐵堡公立圖書(shū)館社科層打坐，也不屑晚上6點(diǎn)就揣個(gè)便攜式蓄電池馬扎和一摞數(shù)據(jù)板去排隊(duì)一直排到第二天上午10點(diǎn)只為買(mǎi)張帶蝦米蝦米激光立體頭像和簽名的論道論法論想論語(yǔ)說(shuō)明芯片，以后也不跑到Altihex[1]中央公園晃蕩的理由相同。我心血來(lái)潮的時(shí)候也會(huì)看實(shí)況轉(zhuǎn)播那些貴族議會(huì)們從繞口令般的執(zhí)政綱領(lǐng)中抽絲撥繭專找對(duì)方話里的漏洞攻擊而看到high，想立刻扔掉我的喇叭大半夜去敲鐵堡議會(huì)的門(mén)給某某TF投票，因?yàn)槲页姓J(rèn)有時(shí)候我還是很欣賞這種高水平辯論的一些優(yōu)點(diǎn)的，尤其特別是在我和某個(gè)TF吵架的時(shí)候，我特別希望有臺(tái)正在直播議會(huì)現(xiàn)場(chǎng)新聞發(fā)布會(huì)的顯示屏就擺在我手邊。所以，總而言之言而總之，我是不討厭邏輯和條理的，但我——討厭邏輯控！

　　有必要說(shuō)明的是，我對(duì)時(shí)不時(shí)都把邏輯啊推理啊掛在嘴邊的家伙的反感跟游蕩在特教收容所強(qiáng)制滯留背誦塞星法律和歷史的礦工們對(duì)《Room編年史》及《三圣器博弈辯證關(guān)系》的行動(dòng)緩慢編委會(huì)的敵視完全是兩回事�！爸灰麄兇粼诩依�，我就不會(huì)把護(hù)目鏡涂成別的顏色。”所謂的“家”，包括老人團(tuán)成員時(shí)時(shí)出沒(méi)的場(chǎng)所，比如能曬到粒子流射線的頂層辦公室啦圖書(shū)館的最底層啦即將翻修者俱樂(lè)部啦以及他們將要出版的光盤(pán)數(shù)據(jù)里�；旧衔覍�(duì)那種地方發(fā)生的一切都不感興趣。不過(guò)呢，他們多搞搞這些也是有好處的，至少這樣一來(lái)我們就多了一些可以為所欲為的課程。但是真的要還原出TF的邏輯本質(zhì)的話，那么那些老家伙的機(jī)油顯然還是噴得不夠的。

　　好了，再回來(lái)說(shuō)我為什么不喜歡邏輯控，因?yàn)檫@種人有個(gè)很詭異的缺點(diǎn)，那就是他無(wú)法理解“為什么你沒(méi)有條理”。而且呢，他會(huì)到死都堅(jiān)持把你當(dāng)作個(gè)跟他一樣的邏輯白癡來(lái)跟你說(shuō)話。我可以舉個(gè)例子來(lái)說(shuō)明我想要表達(dá)的意思。那么……我平時(shí)愛(ài)聽(tīng)音樂(lè)也偶爾寫(xiě)點(diǎn)小曲子，“但我滿腦子都是亂七八糟的胡思亂想”，全塞星最N渣的腦電波頻譜分析專家曾經(jīng)在下課后單獨(dú)找我談心讓我停止在他的課上搞什么自由創(chuàng)作，但是受到著名教授的如此關(guān)注，那么看來(lái)胡思亂想還是有胡思亂想的好處的。好，現(xiàn)在來(lái)假設(shè)我這個(gè)音樂(lè)瘋子開(kāi)始星際旅行外出實(shí)習(xí)了，然后我在飛船中四下張望找人搭訕，目標(biāo)鎖定了坐在我對(duì)面的那個(gè)一直低頭研究數(shù)據(jù)版從未說(shuō)過(guò)一句話的倒霉?fàn)t渣。

　　“呦～guy……你聽(tīng)過(guò)PJ的新專輯嗎？”

　　“PJ？？？”

　　“啊哈！你恐怕想到Prowling Jassy了吧，我說(shuō)的是Philippe Jaroussky這個(gè)呦�！�

　　“抱歉我都沒(méi)聽(tīng)說(shuō)過(guò)�！�

　　“嘿，其實(shí)就是Franz Blaster。我的個(gè)人意見(jiàn)呢，solo那小段他shock得太泄了�！�

　　“很抱歉……這個(gè)……我恐怕不懂�！�

　　“我在講Van Eyck呢，當(dāng)然咯，你一定曉得（緩慢地，清晰地）八——弦——貝——斯——”

　　“哦，這個(gè)這個(gè)……是類似吉他那種用手彈的樂(lè)器嗎？”

　　“啊喲！用弓拉呢～我搞清楚了！你原來(lái)不知道弦樂(lè)組呀！”

　　“不，很抱歉我不知道�！�

　　“真好笑，你早說(shuō)呀！我告訴你哦，向Quintesson Dimensional Disk Chamber[2]訂做要等三年，所以呢，黑鐵晶的Double·W牌[3]反而更好哩。據(jù)我所知那個(gè)最好了，市面上的貨色都什么玩意兒啊。Galway也這么說(shuō)的呢。對(duì)啦，Derdre Doen Daphne D'Over第十階超頻變奏的程度你到了沒(méi)有？”

　　“這個(gè)……事實(shí)上，我到查爾斯星就下飛船了�！�

　　“哦！我明白了！你喜歡Γαζ大調(diào)，我就知道，你不喜歡Πμ大調(diào)。不過(guò)Γαζ大調(diào)是在某種情況下讓人蠻開(kāi)心的。告訴你吧，最近我發(fā)現(xiàn)了一首Loeiller的Sonata，沒(méi)說(shuō)的了……”

　　“Loe……好難念的名字。”

　　“難念什么呀，不過(guò)呢，我倒是很想聽(tīng)你來(lái)秀一段Telemann的break dance。您別客氣盡管來(lái)，不過(guò)可別告訴我你跳的是螺旋舞步哦……”

　　“哦……螺旋……是說(shuō)帕省嗎？我知道帕省有Datmoon車，好像不錯(cuò)的……”

　　“你怎么可以那么沒(méi)追求呢？Datmoon怎么會(huì)有Poshtop漂亮呢，就像螺旋舞步怎么會(huì)有爵士舞步好呢。我跟你說(shuō)，Six Lasers Over Cybertron非注冊(cè)狂歡沙龍的那幫子TF……”（繼續(xù)機(jī)油橫飛中）

　　以上就是我用來(lái)說(shuō)明除了邏輯線路裝甲下啥都沒(méi)配備的會(huì)走路的外星ET電腦對(duì)普通TF造成危害的一個(gè)比喻。如果那位不幸的Datmoon車先生沖出飛船逃亡，相信你也會(huì)理解他的。碰上非正常TF類研究中心散養(yǎng)出來(lái)的變種就是這樣的，很慘，當(dāng)然，碰上一個(gè)非正常TF類研究中心散養(yǎng)出來(lái)的變種和你坐在同一個(gè)教室里冒充你的同學(xué)，更慘。

　　“不，謝謝，我認(rèn)為你剛才說(shuō)的話自相矛盾。嗯？”

　　“沒(méi)啥問(wèn)題吧�！�

　　“你剛剛采用了制約邏輯方法，它的Cm系統(tǒng)與相干邏輯的命題演算R系統(tǒng)形式等價(jià)，而R是不可判定的，那么Cn系統(tǒng)亦就是不可判定的。即使假若Cn可判定，Cn的判定方法用到數(shù)論系統(tǒng)Ⅳ上去也無(wú)濟(jì)于事，因?yàn)橐浑A數(shù)論是不能有窮公理化的，因此要想在Cn基礎(chǔ)上構(gòu)造一個(gè)滿足完全性的初等數(shù)論的形式系統(tǒng)N來(lái)解決今天討論的猜想問(wèn)題是完全不可能的。Cm沒(méi)有語(yǔ)義學(xué)，更無(wú)語(yǔ)義可靠性和完全性。Cn無(wú)法定義‘必然’、‘可能’這類概念�！�

　　“@#$ &*)#@…………，嘿，guy，現(xiàn)在下課了，我要趕去自戀就是美俱樂(lè)部的活動(dòng)，你知道嗎，就是大S和小S呀�！�

　　“不，你必須要嚴(yán)謹(jǐn)。我查過(guò)了大S和小S俱樂(lè)部的活動(dòng)定在今天子夜0時(shí)，你不會(huì)錯(cuò)過(guò)的，但要是錯(cuò)過(guò)了現(xiàn)在，接下來(lái)你就無(wú)法驗(yàn)證我說(shuō)得對(duì)不對(duì)。我預(yù)測(cè)制約邏輯形式化公理系統(tǒng)，為計(jì)算機(jī)運(yùn)算創(chuàng)造了符號(hào)語(yǔ)言體系。以它作為運(yùn)算科學(xué)的邏輯理論基礎(chǔ)，可為研究、設(shè)計(jì)、更新內(nèi)涵智能機(jī)、程序軟件可靠性確認(rèn)、程序正確性證明等方面提供新的途徑……”

　　我們就這樣沒(méi)完沒(méi)了地互相對(duì)牛彈琴。我比較窩火的倒不是他不在乎我不在乎他說(shuō)什么，而是他根本沒(méi)辦法想像有任何人會(huì)不在乎他分析得條條是道的推理過(guò)程，而只期待他越過(guò)中間那一大段盡快說(shuō)出那短到一個(gè)字就可以概括的結(jié)論�！叭绻悴桓衔业乃悸�，你就不能判斷我的結(jié)論是否正確，不確定的變量會(huì)誤導(dǎo)我們錯(cuò)誤的分析形式，‘大概’、‘也許’、‘可能’這樣的詞匯不應(yīng)該出現(xiàn)在我們的CPU中，模棱兩可的回答對(duì)指導(dǎo)我們今后的行為沒(méi)有任何益處……”基本上這種時(shí)候，如果我突然拿下護(hù)目鏡露出我的光學(xué)鏡頭，或者胸口的裝甲冒出兩砣鐵來(lái)，也完全不在他的法鏡里�；旧线@種TF對(duì)世間千變?nèi)f化的活物都熟視無(wú)睹，眼睛里只有0、1那兩個(gè)滴溜溜轉(zhuǎn)翻來(lái)覆去互相搶奪對(duì)方位置的枯燥數(shù)字。

　　其實(shí)用同一教室里的同學(xué)來(lái)舉例也不準(zhǔn)確，因?yàn)榧词狗钦F類研究中心散養(yǎng)出來(lái)的變種也可能是個(gè)汽水瓶子頭頭的小秘書(shū)，這種情況更恐怖。就像發(fā)動(dòng)機(jī)零件磨損，不論貴賤都照得不誤。不過(guò)真正不可思議的倒還不是以上的癥狀，而是如此自信同時(shí)又深信全TF類的思維系統(tǒng)都該統(tǒng)一模式化的家伙，卻會(huì)動(dòng)不動(dòng)就會(huì)被我的論文搞到陷入死循環(huán)當(dāng)機(jī)，這種極端的高精尖處理芯片著實(shí)讓我佩服得五體投地。還是自戀就是美聯(lián)盟成員里那兩位說(shuō)得好：“要讓自以為是的家伙放馬過(guò)來(lái)，才方便我們狠狠修理他們！”

　　操作>>發(fā)送日志

　　-end-