你給我發簡訊說:我們明天10:00在江大化工樓109室見吧。不過,簡訊發丟了是常有的事情。為了確信我得知了此訊息,你補充了一句:收到請回復。”
“呸,我才不會要跟你見面。”鄧達啐了一口,小臉上盪漾一些笑意,顯然也覺得很有趣,不由得對很接受劉晨的講授方式,這倒不容易,人家可是從小自學成才到現在,最煩老師在講臺亂說一通,浪費時間。“抱歉,我知道是舉例,你繼續說。”
劉晨頓了頓,繼續說道:“我收到了資訊之後,立即回覆:已收到,明天10:00不見不散。不過,我也有自己的擔憂:你不是隻在確認我要去了之後才會去嗎?萬一你沒有收到我的確認簡訊,沒有到場不是讓我白等一場嗎?因此我也附了一句:收到此確認信請回復。”
“真是嗦,好,好,我不再打擾你,我就是最煩浪費時間,不好意思哈。”
真沒見過這麼心急的姑娘,劉晨繼續道:“你收到確認簡訊之後,自然會回覆:收到確認信。但你又產生了新的顧慮。”
鄧達搶著道:“我會想,如果劉晨沒收到我的回覆,一定會擔心我因為沒收到他的回覆而不去了,那他會不會也就因此不去了呢?為了確保你收到了回覆,我也在簡訊末尾加上了:收到請回復。這個過程繼續下去,顯然是沒完沒了。”
“聰明,結果是,我們兩人一直在確認對方的資訊,但卻始終無法達成這麼一個共識:我們都將在明天10:00到達江大化工樓109室。”
“那還不簡單,我給你打個電話不就行了嗎?”
“這的確是上述困境的一個最佳解決辦法,打電話和發簡訊有什麼區別,使得我們兩人一下就把問題給解決了?主要原因可能是,打電話是線上的,而發簡訊是離線的。在打電話時,每個人都能確定對方在聽著,也能確定對方確定自己在聽著,等等,因此兩人說的任何一句話,都將會立即成為共識:不但我知道了,而且我知道你知道了,而且我知道你知道我知道了……”
“羅裡吧嗦,趕緊說正題吧,共識我懂了。”鄧達很心急,眼睛眯得更緊了。
劉晨直接道:“**師當眾宣佈【島上至少有一個藍眼睛】,就是讓所有人都知道這一點,並且讓所有人都知道所有人都知道這一點,並且像這樣無限巢狀下去。這條訊息成為大家的共識,事情又會怎樣?”
“假定島上只有兩個藍眼睛。這兩個人都能看見對方是藍眼睛,因而他們都知道‘島上至少有一個藍眼睛’。但是,由於法師沒有出現,因此他倆都不知道,對方是否知道‘島上有藍眼睛’這件事。所以,到了第二天的時候,之前的推理就無法進行下去了,每個人心裡都會想,對方沒有自殺完全有可能是因為對方不知道‘島上有藍眼睛’這件事。”
哦,鄧達豁然開朗,喊了一聲道:“原來如此。”說完自己也覺得不好意思,小聲道:“你繼續說。”
“類似,如果島上有三個藍眼睛,那麼除非他們都知道,所有人都知道所有人都知道了‘島上有藍眼睛’這件事,否則第四天的推理是不成立的,到了第三天,會有人覺得,那兩個人沒自殺僅僅是因為他們不知道對方也知道‘島上有藍眼睛’這件事罷了。繼續擴充套件到100個藍眼睛的情形,你會發現,‘互相知道’必須得巢狀100層,才能讓所有推理能順利進行下去。”
“實際上,這題目條件還不夠完整。島上的所有人都非常清楚地知道上面這些條件和規則,應該改為:上面這些條件和規則是島上所有人的共識,或者說:島上所有人都知道上面這些條件和規則,並且所有人都知道所有人都知道,等等等等。如果沒有這個條件,剛才的推理也是不成立。比方說,雖然所有人都是無限聰明的,但是如果大家不知道別人也是無限