“所以說,所謂‘顯而易見地與現實相符’並不能作為判斷公理正確與否的條件,甚至都不能作為判斷公理有無用處的條件。”
“哦……”羅丹青點點頭,收迴了認為小明所設定公理錯誤的這條觀點,轉而思考起了這個問題——
小明到底應不應該給自己理發……
如果給自己理發,那他就不是“不給自己理發的人”,那就應該不給自己理發,於是小明就放下了推子;
可是不給自己理吧,自己又成了“不給自己理發的人”,那又應該給自己理發,然後小明又拿起了推子開始理發;
然後又陷入了循環,給自己理發吧,又不是“不給自己理發的人”,還是要放下推子……
羅丹青的思維如同一隻追蹤自己尾巴的小貓,原地飛速地轉了起來,越轉越快,越轉越暈。
最後,她放棄了。
“你這隻是一個特例,隻有這一個特殊的例子,並不具有普遍性。”羅丹青又抄起了自己的老本行,耍賴。
“那我再舉一個?”
“再舉一個。”
“好,有個廚子,叫做小明,他隻給‘不給自己做飯的人’做飯,請問,他給不給自己做飯?”
羅丹青對王白石新舉出來的例子很不滿意,道:
“不行不行,這是同一類,還不過是把‘不給自己理發’改成了‘不給自己做飯’,這不算。”
王白石想了想,道:“好,那我再給你舉個例子。”
“請聽題!”
“從前有一個人,叫小鋼蛋,他很怕老婆。”
“他每天工作到很晚才能迴家,他老婆總是懷疑他外麵有人了。”
“這天,小鋼蛋迴家,剛上樓梯,就看到他老婆正拿著平底鍋在樓梯間等著他呢。”
“他老婆就問他說:‘你去哪了?’,小鋼蛋說:‘我加班去了’。”
“他老婆就繼續問他說,你沒說謊?”
“小鋼蛋停了之後很生氣,感覺自己每天在公司加班到頭禿就算了,迴到家後老婆還不理解自己,不行離婚算了!就賭氣說:‘我這句話就是在說謊。’”
“然後,你猜他老婆怎麽著了?”王白石沒有繼續之後的話題,轉而問羅丹青。
“當然是很生氣地克他了,用指甲抓他。”羅丹青猜測道。
“不不不,不對,你再猜。”王白石擺手搖頭。
“他怕她老婆……這說明他老婆很兇,不可能不揍他啊……”羅丹青思索著,忽然有了思路,拍手恍然道:
“我知道了!她老婆手裏拿著的是平底鍋,沒有用手指甲克他,用手裏的平底鍋揍的他,對不對?”
“不對,不對,你怎麽總想著暴力的事情?”王白石再次變瘦搖頭,否定道。
“那怎麽了?”
“他老婆一下子就昏倒了,死了。”
“啥?怎麽可能?聽到這話太生氣,氣死了?”羅丹青感覺這個結局太過離奇。
王白石沒有理會羅丹青的疑惑和問題,繼續道:“後來警察叔叔來了,將小鋼蛋帶走,將他老婆的屍體也帶走,讓法醫去鑒定。”
“你猜,法醫鑒定的結果是什麽?”
“又讓我猜……”羅丹青想了想,道:“結果是小鋼蛋的老婆死於心髒病,被氣出了心髒病。”
“不對。”
“那就是腦溢血,被氣出了腦溢血。”羅丹青給出了第二個答案。
“也不對。”
“那是什麽?我猜不出來。”羅丹青認輸,這種又王白石出題,又有王白石自己規定答案的考卷,不可能答得出來,而且羅丹青懷疑這考卷的答案還可能是動態變化的,王白石先預想幾個符合條件的答案,然後在自己說出來其中某個之後再將其劃掉。
“警察調查的結果是,小鋼蛋的老婆被鄰居老王給殺死了。”
“啥?鄰居老王?”羅丹青奇怪,當時在小鋼蛋迴來的那個夜晚,鄰居老王根本就沒有出現過,怎麽可能將小鋼蛋的老婆給殺死呢?
難道說鄰居老王提前下了毒?還是說像柯南中那樣,做了某種機關,毀滅了不在場證據?
王白石見羅丹青沉默思考,便提示道:“你可以注意一下我在故事中取的名字,隔壁老王,在故事中經常代表什麽?”
羅丹青一下子就被王白石打開了思路,隔壁老王這個梗羅丹青最早看的時候是源自於《大頭兒子小頭爸爸》那部動畫片,小頭爸爸的頭小,像一個瓜子,大頭兒子的頭大,像一個南瓜,在動畫片中畫得甚至比南瓜還要大。
之後隔壁有個王叔叔來串門,王叔叔的頭也大頭兒子的頭簡直如出一轍,還有一個截圖是王叔叔抱著大頭兒子,兩個大頭相對,旁邊的小頭爸爸和圍裙媽媽表情複雜……
也就是說,王白石取這個名字的意思是說,老王和小鋼蛋的老婆有染?
難道是情殺?
羅丹青想了好幾種情況,都沒有辦法解釋在那個隻有兩個人的樓道中,老王是怎麽把小鋼蛋的老婆給殺死的。
“不知道,你說吧。”羅丹青說了幾種情況,統統被王白石否定了之後道。
“隔壁老王是喜歡小鋼蛋的老婆的。”王白石答道。
“嗯,這個我通過名字猜到了。”羅丹青點點頭。
“但是小鋼蛋的老婆並不喜歡隔壁老王,老王有好幾次趁著小鋼蛋晚上加班,去敲他們家的門。”
“一開始小鋼蛋的老婆還將隔壁老王招唿進來,閑聊幾句,但是後來發現老王越來越過分,總是對自己動手動腳。”
“之後老王再來敲門,小鋼蛋的老婆就不再給他開門了,有時候會裝作家裏沒人,有時候會直接拒絕。”
“小鋼蛋的老婆晚上睡覺的時候,有好幾次都和小鋼蛋旁敲側擊地暗示了這件事情,但是小鋼蛋因為工作太忙太累,一迴家就睡下了,並沒有察覺到自己老婆的畫外音,這也是小鋼蛋的老婆生氣的原因——”
“我每天晚上都害怕老王突然闖進來,你對我卻漠不關心,這種事情我也不好直說,隻能說讓你每天早點迴來陪我……”
“哦……小鋼蛋的老婆的憤怒脾氣來自於對老王的恐懼,這點也是情理之中……”羅丹青道。
“可是有一天,小鋼蛋的老婆剛迴家,上樓之後還沒有掏出鑰匙開門,就被老王擄到自己的家中,要強行無禮,以為生米做成熟飯就好了。”
“這有點想李立的思路……”羅丹青吐槽道。
“小鋼蛋的老婆拚命反抗,拚命尖叫,隔壁老王的臉上被撓了好幾道,最後讓小鋼蛋的老婆逃走了。”
“隔壁老王欲求不滿,想要得到小鋼蛋的老婆,但是又得不到,於是就在百度上提問,這件事該怎麽辦?”
“熱心的網友迴答他說,這個問題的敘述並不完整,你要說明白,你是想要得到小鋼蛋老婆的心,還是隻想得到她的身體。”
“老王在百度問答下麵迴複說,當然是身體的,我隻想得到她的身體。”
“那個網友迴複說,這就好辦了,我們公司生產了一種人形機器人,隻要你輸入具體的參數,就能製造出來一個和小鋼蛋的老婆一模一樣的機器人,這個機器人能自己活動,能做飯,能做家務,能吃飯排便,不過需要充電。”
“老王一聽這個,高興了,就迴複說,多少錢,我買。”
“那個網友說,你先要把小鋼蛋老婆的參數告訴我,具體的方法是,在樓道中裝上多角度的監控攝像頭,用以監控小鋼蛋老婆的體態特征,神情和動作習慣,還要將她的手機號、微博賬號、qq號和微信號什麽的告訴我,通過這些社交軟件上的文字和語音聊天,可以分析出小鋼蛋老婆的語言習慣和聲音音色特點。”
“怎麽感覺這個網友不像是好人……”羅丹青聽得渾身發毛。
“老王照做了,在一個月之後,老王付了大量的金錢,將這個和小鋼蛋老婆一模一樣的機器人買到了家中。”
“這個機器人和小鋼蛋的老婆一模一樣,老王很滿足,每天都很開心,也不去騷擾小鋼蛋的老婆了。”
“但是小鋼蛋的老婆自從那天被老王擄進自己家中之後,每天都戰戰兢兢的,生怕老王再生什麽壞心。”
“可是即使每天小心翼翼的,還是出了問題,這天老王家中的機器人突然短路了,不知道為什麽電池中的電量突然耗光,沒法用了,需要四十八小時才能充滿。”
“老王在第八個小時的時候就等不了了,又故技重施,將小鋼蛋的老婆擄進自己家中。”
“這次他比上次多了很多準備,準備了繩子之類可以拘束小鋼蛋老婆行動的,但是小鋼蛋的老婆也有準備,準備了防狼噴霧。”
“結果老王中了防狼噴霧,慌忙之間用繩子將小鋼蛋老婆給勒死了。”
“這下老王慌了神,可是轉念就想到了辦法,可以用自己家中的機器人來替代小鋼蛋的老婆。”
“下定主意,老王將小鋼蛋的老婆拉到廁所,切成塊,最後塞進了冰箱中,然後將衝了一半電的機器人換上小鋼蛋老婆的衣服,送出了門。”
“從此,機器人替換了小鋼蛋的老婆,而他真正的老婆已經被殺害了。”
“一開始機器人表現還有些奇怪,可是這是個聯網的機器人,學習能力很強,很快就學會了和小鋼蛋相處的方法而不受懷疑的方法,簡直和他真正的老婆一模一樣。”
“就這樣過了兩年的時間,小鋼蛋一直沒有發現自己老婆被機器人替換,直到那天,小鋼蛋晚上迴家,在樓梯間賭氣地迴答了她的問題,讓這個機器人短路了。”
“怎麽迴答的?”
“就是他說的,‘我這句話就是在說謊’。”
王白石見羅丹青不太明白,便解釋道:
“這句話也是羅素悖論的一種變形,你想,如果說‘我這句話就是在說謊’這句話是在說謊,那說明他沒有在說謊;如果說‘我這句話就是在說謊’沒有在說謊,那就說明他在說謊。”
“這是一個無限的嵌套,像一個圓形的跑道,永遠也跑不到盡頭,那個機器人想要想明白小鋼蛋究竟有沒有在說謊,隻能加足馬力,在這圈跑道上跑,最後短路將電量耗光。”
“法醫們解刨時發現,這是個機器人,不是人,然後根據二維碼,找到了商家,找到了訂單,鎖定了老王。”
“老王將之前這些事情作為供詞一說,案件就結束了,最後審訊員問老王案件中一個細節,這也是老王為什麽要襲擊小鋼蛋老婆的原因——機器人為什麽會突然斷電?”
“老王的迴答也是,當時自己說了一句話,或者說唱了一句歌,是林宥嘉的《說謊》。”
“……”羅丹青沉默無言,迴想著歌詞,其中應該有一句也是羅素悖論……
王白石總結道:“你不是說隻有‘不給自己理發’、‘不給自己做飯’的例子你不服嗎,我剛剛舉的就是第二個例子,說謊悖論。”
羅丹青從迴憶歌詞中緩過神來,原來重新思考最初的問題——
自己正在反駁王白石關於老鼠之於物理規律,相當於人類之於什麽的問題。
王白石前兩個假設,也就是“數學”和“神靈”自己還能接受,但是第三個假設“老鼠”,自己卻不能夠接受,因為怎麽可能一級級的向上升,最後又繞了迴來呢?
為了解釋“老鼠”的問題,王白石先解釋了體係不自洽的理論,也就是羅素悖論。
“不不不,即使你能舉出兩類不同的例子,我還是不能認同。”羅丹青,她認為之所以產生這些悖論的原因,還是因為最初的“公理”設置的有問題,如果設置合適的公理,比如在數學課本上的那些類似“兩點之間直線最短”什麽的,再往後無論怎麽推導,都不會出現類似的情況了。
想到這裏,羅丹青反駁道:
“雖然你舉出了這些例子,但是我還是不能認同,除非你舉出一個數學中的例子,由‘一加一等於二’推導出來‘一加一等於三’。”
“哦……”羅丹青點點頭,收迴了認為小明所設定公理錯誤的這條觀點,轉而思考起了這個問題——
小明到底應不應該給自己理發……
如果給自己理發,那他就不是“不給自己理發的人”,那就應該不給自己理發,於是小明就放下了推子;
可是不給自己理吧,自己又成了“不給自己理發的人”,那又應該給自己理發,然後小明又拿起了推子開始理發;
然後又陷入了循環,給自己理發吧,又不是“不給自己理發的人”,還是要放下推子……
羅丹青的思維如同一隻追蹤自己尾巴的小貓,原地飛速地轉了起來,越轉越快,越轉越暈。
最後,她放棄了。
“你這隻是一個特例,隻有這一個特殊的例子,並不具有普遍性。”羅丹青又抄起了自己的老本行,耍賴。
“那我再舉一個?”
“再舉一個。”
“好,有個廚子,叫做小明,他隻給‘不給自己做飯的人’做飯,請問,他給不給自己做飯?”
羅丹青對王白石新舉出來的例子很不滿意,道:
“不行不行,這是同一類,還不過是把‘不給自己理發’改成了‘不給自己做飯’,這不算。”
王白石想了想,道:“好,那我再給你舉個例子。”
“請聽題!”
“從前有一個人,叫小鋼蛋,他很怕老婆。”
“他每天工作到很晚才能迴家,他老婆總是懷疑他外麵有人了。”
“這天,小鋼蛋迴家,剛上樓梯,就看到他老婆正拿著平底鍋在樓梯間等著他呢。”
“他老婆就問他說:‘你去哪了?’,小鋼蛋說:‘我加班去了’。”
“他老婆就繼續問他說,你沒說謊?”
“小鋼蛋停了之後很生氣,感覺自己每天在公司加班到頭禿就算了,迴到家後老婆還不理解自己,不行離婚算了!就賭氣說:‘我這句話就是在說謊。’”
“然後,你猜他老婆怎麽著了?”王白石沒有繼續之後的話題,轉而問羅丹青。
“當然是很生氣地克他了,用指甲抓他。”羅丹青猜測道。
“不不不,不對,你再猜。”王白石擺手搖頭。
“他怕她老婆……這說明他老婆很兇,不可能不揍他啊……”羅丹青思索著,忽然有了思路,拍手恍然道:
“我知道了!她老婆手裏拿著的是平底鍋,沒有用手指甲克他,用手裏的平底鍋揍的他,對不對?”
“不對,不對,你怎麽總想著暴力的事情?”王白石再次變瘦搖頭,否定道。
“那怎麽了?”
“他老婆一下子就昏倒了,死了。”
“啥?怎麽可能?聽到這話太生氣,氣死了?”羅丹青感覺這個結局太過離奇。
王白石沒有理會羅丹青的疑惑和問題,繼續道:“後來警察叔叔來了,將小鋼蛋帶走,將他老婆的屍體也帶走,讓法醫去鑒定。”
“你猜,法醫鑒定的結果是什麽?”
“又讓我猜……”羅丹青想了想,道:“結果是小鋼蛋的老婆死於心髒病,被氣出了心髒病。”
“不對。”
“那就是腦溢血,被氣出了腦溢血。”羅丹青給出了第二個答案。
“也不對。”
“那是什麽?我猜不出來。”羅丹青認輸,這種又王白石出題,又有王白石自己規定答案的考卷,不可能答得出來,而且羅丹青懷疑這考卷的答案還可能是動態變化的,王白石先預想幾個符合條件的答案,然後在自己說出來其中某個之後再將其劃掉。
“警察調查的結果是,小鋼蛋的老婆被鄰居老王給殺死了。”
“啥?鄰居老王?”羅丹青奇怪,當時在小鋼蛋迴來的那個夜晚,鄰居老王根本就沒有出現過,怎麽可能將小鋼蛋的老婆給殺死呢?
難道說鄰居老王提前下了毒?還是說像柯南中那樣,做了某種機關,毀滅了不在場證據?
王白石見羅丹青沉默思考,便提示道:“你可以注意一下我在故事中取的名字,隔壁老王,在故事中經常代表什麽?”
羅丹青一下子就被王白石打開了思路,隔壁老王這個梗羅丹青最早看的時候是源自於《大頭兒子小頭爸爸》那部動畫片,小頭爸爸的頭小,像一個瓜子,大頭兒子的頭大,像一個南瓜,在動畫片中畫得甚至比南瓜還要大。
之後隔壁有個王叔叔來串門,王叔叔的頭也大頭兒子的頭簡直如出一轍,還有一個截圖是王叔叔抱著大頭兒子,兩個大頭相對,旁邊的小頭爸爸和圍裙媽媽表情複雜……
也就是說,王白石取這個名字的意思是說,老王和小鋼蛋的老婆有染?
難道是情殺?
羅丹青想了好幾種情況,都沒有辦法解釋在那個隻有兩個人的樓道中,老王是怎麽把小鋼蛋的老婆給殺死的。
“不知道,你說吧。”羅丹青說了幾種情況,統統被王白石否定了之後道。
“隔壁老王是喜歡小鋼蛋的老婆的。”王白石答道。
“嗯,這個我通過名字猜到了。”羅丹青點點頭。
“但是小鋼蛋的老婆並不喜歡隔壁老王,老王有好幾次趁著小鋼蛋晚上加班,去敲他們家的門。”
“一開始小鋼蛋的老婆還將隔壁老王招唿進來,閑聊幾句,但是後來發現老王越來越過分,總是對自己動手動腳。”
“之後老王再來敲門,小鋼蛋的老婆就不再給他開門了,有時候會裝作家裏沒人,有時候會直接拒絕。”
“小鋼蛋的老婆晚上睡覺的時候,有好幾次都和小鋼蛋旁敲側擊地暗示了這件事情,但是小鋼蛋因為工作太忙太累,一迴家就睡下了,並沒有察覺到自己老婆的畫外音,這也是小鋼蛋的老婆生氣的原因——”
“我每天晚上都害怕老王突然闖進來,你對我卻漠不關心,這種事情我也不好直說,隻能說讓你每天早點迴來陪我……”
“哦……小鋼蛋的老婆的憤怒脾氣來自於對老王的恐懼,這點也是情理之中……”羅丹青道。
“可是有一天,小鋼蛋的老婆剛迴家,上樓之後還沒有掏出鑰匙開門,就被老王擄到自己的家中,要強行無禮,以為生米做成熟飯就好了。”
“這有點想李立的思路……”羅丹青吐槽道。
“小鋼蛋的老婆拚命反抗,拚命尖叫,隔壁老王的臉上被撓了好幾道,最後讓小鋼蛋的老婆逃走了。”
“隔壁老王欲求不滿,想要得到小鋼蛋的老婆,但是又得不到,於是就在百度上提問,這件事該怎麽辦?”
“熱心的網友迴答他說,這個問題的敘述並不完整,你要說明白,你是想要得到小鋼蛋老婆的心,還是隻想得到她的身體。”
“老王在百度問答下麵迴複說,當然是身體的,我隻想得到她的身體。”
“那個網友迴複說,這就好辦了,我們公司生產了一種人形機器人,隻要你輸入具體的參數,就能製造出來一個和小鋼蛋的老婆一模一樣的機器人,這個機器人能自己活動,能做飯,能做家務,能吃飯排便,不過需要充電。”
“老王一聽這個,高興了,就迴複說,多少錢,我買。”
“那個網友說,你先要把小鋼蛋老婆的參數告訴我,具體的方法是,在樓道中裝上多角度的監控攝像頭,用以監控小鋼蛋老婆的體態特征,神情和動作習慣,還要將她的手機號、微博賬號、qq號和微信號什麽的告訴我,通過這些社交軟件上的文字和語音聊天,可以分析出小鋼蛋老婆的語言習慣和聲音音色特點。”
“怎麽感覺這個網友不像是好人……”羅丹青聽得渾身發毛。
“老王照做了,在一個月之後,老王付了大量的金錢,將這個和小鋼蛋老婆一模一樣的機器人買到了家中。”
“這個機器人和小鋼蛋的老婆一模一樣,老王很滿足,每天都很開心,也不去騷擾小鋼蛋的老婆了。”
“但是小鋼蛋的老婆自從那天被老王擄進自己家中之後,每天都戰戰兢兢的,生怕老王再生什麽壞心。”
“可是即使每天小心翼翼的,還是出了問題,這天老王家中的機器人突然短路了,不知道為什麽電池中的電量突然耗光,沒法用了,需要四十八小時才能充滿。”
“老王在第八個小時的時候就等不了了,又故技重施,將小鋼蛋的老婆擄進自己家中。”
“這次他比上次多了很多準備,準備了繩子之類可以拘束小鋼蛋老婆行動的,但是小鋼蛋的老婆也有準備,準備了防狼噴霧。”
“結果老王中了防狼噴霧,慌忙之間用繩子將小鋼蛋老婆給勒死了。”
“這下老王慌了神,可是轉念就想到了辦法,可以用自己家中的機器人來替代小鋼蛋的老婆。”
“下定主意,老王將小鋼蛋的老婆拉到廁所,切成塊,最後塞進了冰箱中,然後將衝了一半電的機器人換上小鋼蛋老婆的衣服,送出了門。”
“從此,機器人替換了小鋼蛋的老婆,而他真正的老婆已經被殺害了。”
“一開始機器人表現還有些奇怪,可是這是個聯網的機器人,學習能力很強,很快就學會了和小鋼蛋相處的方法而不受懷疑的方法,簡直和他真正的老婆一模一樣。”
“就這樣過了兩年的時間,小鋼蛋一直沒有發現自己老婆被機器人替換,直到那天,小鋼蛋晚上迴家,在樓梯間賭氣地迴答了她的問題,讓這個機器人短路了。”
“怎麽迴答的?”
“就是他說的,‘我這句話就是在說謊’。”
王白石見羅丹青不太明白,便解釋道:
“這句話也是羅素悖論的一種變形,你想,如果說‘我這句話就是在說謊’這句話是在說謊,那說明他沒有在說謊;如果說‘我這句話就是在說謊’沒有在說謊,那就說明他在說謊。”
“這是一個無限的嵌套,像一個圓形的跑道,永遠也跑不到盡頭,那個機器人想要想明白小鋼蛋究竟有沒有在說謊,隻能加足馬力,在這圈跑道上跑,最後短路將電量耗光。”
“法醫們解刨時發現,這是個機器人,不是人,然後根據二維碼,找到了商家,找到了訂單,鎖定了老王。”
“老王將之前這些事情作為供詞一說,案件就結束了,最後審訊員問老王案件中一個細節,這也是老王為什麽要襲擊小鋼蛋老婆的原因——機器人為什麽會突然斷電?”
“老王的迴答也是,當時自己說了一句話,或者說唱了一句歌,是林宥嘉的《說謊》。”
“……”羅丹青沉默無言,迴想著歌詞,其中應該有一句也是羅素悖論……
王白石總結道:“你不是說隻有‘不給自己理發’、‘不給自己做飯’的例子你不服嗎,我剛剛舉的就是第二個例子,說謊悖論。”
羅丹青從迴憶歌詞中緩過神來,原來重新思考最初的問題——
自己正在反駁王白石關於老鼠之於物理規律,相當於人類之於什麽的問題。
王白石前兩個假設,也就是“數學”和“神靈”自己還能接受,但是第三個假設“老鼠”,自己卻不能夠接受,因為怎麽可能一級級的向上升,最後又繞了迴來呢?
為了解釋“老鼠”的問題,王白石先解釋了體係不自洽的理論,也就是羅素悖論。
“不不不,即使你能舉出兩類不同的例子,我還是不能認同。”羅丹青,她認為之所以產生這些悖論的原因,還是因為最初的“公理”設置的有問題,如果設置合適的公理,比如在數學課本上的那些類似“兩點之間直線最短”什麽的,再往後無論怎麽推導,都不會出現類似的情況了。
想到這裏,羅丹青反駁道:
“雖然你舉出了這些例子,但是我還是不能認同,除非你舉出一個數學中的例子,由‘一加一等於二’推導出來‘一加一等於三’。”