著名的綠眼邏輯難題

2021-01-18 痴貨巨星


來源:英語口語屋

TED科普


一名瘋狂的獨裁者將一百名綠眼的邏輯學家囚禁在一個島上。他們獲得自由的唯一希望在於解決一個著名的難題。你能夠做到嗎?


想像一下,有座島上住著100位居民,他們每一個都是優秀的邏輯學家,卻被一位邪惡的獨裁者所監禁。唯一能逃離島上的方法,必須符合一條特殊的規則。所有人都可以在晚上去找守衛,並要求離開島上,只要這位居民擁有綠色眼睛,就可以被釋放,但如果不是綠色眼睛,就要被丟進火山。

碰巧的是,那100位居民都有綠色眼睛。但是自從出生以來,他們一直住在島上,獨裁者很確定,居民們都不知道自己眼睛的顏色。

島上沒有任何物品能夠反射出自己的影像,所有的水都裝在不透明的容器裡,最重要的是,居民之間不準互相溝通。

雖然每天早上點名時,他們會看到彼此,不過他們都知道,從來沒有人敢冒險嘗試離開,因為無法確定自己一定能成功。

在許多人權團體的壓力下,獨裁者勉強同意,讓你拜訪那座島,你可以跟被監禁的居民談話,但是必須符合以下的條件:你只能說一件事,而且不能告訴他們任何新的消息。

你要怎麼說才能幫助居民獲得自由,而且不會激怒獨裁者?

經過一段時間的思考後,你告訴居民:「你們之中至少一位擁有綠色眼睛。」

獨裁者雖然有點懷疑,但依然告訴自己:你說的話不會改變任何事情。

然後你離開了,島上的生活又變得和之前一樣。

但是在你拜訪之後的第一百個早上,所有的居民都離開了,每一位居民,都在前一天晚上要求離開。

你是用什麼方法智取獨裁者的?

把居民的數目任意化也許可以有所幫助。

讓我們先把情況簡化,想像只有兩個居民 Adria 和 Bill。他們各自看到對方擁有綠色眼睛,所以他們都知道:對方是可以離開島上的那一位。

第一天晚上,兩個居民都留下來了。

但是到了隔天早上,當他們看到彼此都還在,他們得到了新的訊息。

Adria的想法是:如果Bill看到的人沒有綠色眼睛,那Bill在第一天晚上就會要求離開。當他得到這個結論的時候,就會推論出:自己有綠色眼睛。

而Bill也會得到相同的結論。

由於另一個人還在等待,沒有離開島嶼,這個事實告訴每位居民:他們自己的眼睛一定是綠色的。

根據第二天早上的結果,他們兩個都會要求離開。

現在,假設島上有三個居民。

Adria,Bill和Carl都看到其他兩位擁有綠色眼睛,但無法確定其他兩位,也同樣看到兩個綠眼的人,或是只看到一個(綠眼的人)。

他們像之前一樣度過第一個晚上,到了隔天早上,他們還是不能確定。

Carl想:「如果我不是綠眼睛,Adria和Bill只會互看彼此,然後兩人將會在第二個晚上離開。」

但當Carl第三天早上看到其他兩人還在,Carl了解到一件事:其他兩人知道Carl有綠色眼睛。

而Adria和Bill也經過同樣的推理過程,然後他們全部在第三個晚上要求離開。

用同樣的歸納推理方式,我們可以發現:不論島上有多少居民,這個模式會不斷重複。

這個解答的關鍵就在於哲學家David Lewis所提出的公開知識這個哲學概念。

你的敘述本身,並不包含新的訊息,但是一旦告訴了每一個人,就會產生新的訊息

現在,除了知道居民當中至少一位有綠色眼睛,這些人也想著:所有人都在觀察著其他擁有綠色眼睛的人,他們每個人都知道這件事。

居民們唯一無法確定的是:他們在其他人眼中是不是擁有綠色眼睛的人,一直要等到他們等待的夜晚天數,和島上的居民數目一樣為止。

當然,你可以幫這些居民省下98天觀察等待的時間。方法就是直接告訴他們:「你們當中至少有99位擁有綠色眼睛。」但是別忘了還有獨裁者正在監視,所以你還是小心一點比較好。

相關焦點

  • TED演講 | 著名的綠眼邏輯難題
    但無法確定其他兩位,也同樣看到兩個綠眼的人,或是只看到一個(綠眼的人)。They wait out the first night as before, but the next morning, they still can't be sure.他們像之前一樣度過第一個晚上,到了隔天早上,他們還是不能確定。
  • 賀川生破解百年邏輯語義學世界難題
    賀川生破解百年邏輯語義學世界難題  ·1905年,英國著名哲學家羅素提出「摹狀詞」理論,被稱為邏輯語義學界的「哥德巴赫猜想」  ·此難題是當今人工智慧和自然語言處理的「必答題」。這個看似司空見慣的語言現象,卻是邏輯語義學上的一道百年難題。今天,湖南大學傳來喜訊:該校外國語學院副教授賀川生近日在世界頂級哲學期刊《綜合》上發表論文,對第三人稱代詞如何回指前面的無定名詞進行了圓滿解釋,宣告這一難題得到成功破解。哲學、邏輯學全球最高獎項羅夫·肖克獎獲得者雅各·欣迪卡評價,賀川生的成果給邏輯語義學界做出了「實質性貢獻」。
  • 邏輯語義學難題破解 機器人能「聽懂」指令
    邏輯語義學難題破解 機器人能「聽懂」指令 這個看似司空見慣的語言現象,卻是邏輯語義學上的一道百年難題。今天,湖南大學傳來喜訊:該校外國語學院副教授賀川生近日在世界頂級哲學期刊《綜合》上發表論文,對第三人稱代詞如何回指前面的無定名詞進行了圓滿解釋,宣告這一難題得到成功破解。哲學、邏輯學全球最高獎項羅夫·肖克獎獲得者雅各·欣迪卡評價,賀川生的成果給邏輯語義學界做出了「實質性貢獻」。
  • 卡西女友薩拉出席商業活動,美女綠眼紅唇風情萬種
    2019年4月11日,西班牙馬德裡,卡西女友薩拉·卡波內羅代言太陽鏡品牌出席商業活動,美女綠眼紅唇可謂風情萬種!卡西女友薩拉·卡波內羅代言太陽鏡品牌出席商業活動,美女綠眼紅唇可謂風情萬種!卡西女友薩拉·卡波內羅代言太陽鏡品牌出席商業活動,美女綠眼紅唇可謂風情萬種!
  • 龍海石碼發現綠眼劍獅像,傳或與鄭成功收復臺灣有關
    至於石碼這個綠眼劍獅像,其造型的奇特,似乎也不太像一般的劍獅像。希望能了解到更多關於此劍獅像的情況,比如主人是什麼人,是不是與臺灣有關係。我去石碼不少次了,讓我感到印象最為深刻的,竟就是這個綠眼劍獅像。
  • 綠眼阿滿爆發 一刀破極斬秒掉天武聖王
    綠眼阿滿爆發 一刀破極斬秒掉天武聖王時間:2020-06-24 15:11   來源:陌蟻動漫   責任編輯:沫朵 川北在線核心提示:原標題:《武庚紀》神域之戰打響!綠眼阿滿爆發 一刀破極斬秒掉天武聖王 《武庚紀》最近的劇情非常精彩,與此同時《武庚紀》也滿四周歲了,算起來從第一季開播至今,《武庚紀》已經陪伴大家走過了四個年頭。
  • 科學家藉助超級計算機來破解著名數學難題
    科學家藉助超級計算機來破解著名數學難題 原標題:   【環球科技綜合報導】據國外媒體報導,一個由美英兩國三名計算機專家組成的研究團隊最近宣稱他們證明了「畢氏三元數問題(Pythagorean triples problem)」。
  • 中國數學家破解了著名數學難題
    八月15日從浙江大學獲悉,世界著名數學難題「法伯相交數猜想」被浙江大學數學中心劉克峰教授和他的博士生徐浩成功證明,著名華裔數學家丘成桐日前在浙大向他們表示祝賀。 「浙大數學中心解決了這個著名世界難題,我非常興奮,祝賀你們!浙大的學生是世界一 流的!這個難題哈佛沒能證明,你們卻證明了!」
  • 日本研發 20 年後去月球吃的食物 包括放綠眼蟲的湯
    根據現場 JAXA 公司工作人員介紹,20 年後去月球吃的食物有肉、蔬菜沙拉、還有放了綠眼蟲的湯。JAXA 公司新視野促進部菊池優太表示," 日本的飲食文化在世界上也是首屈一指的,所以我覺得應該為月球 · 火星時代的到來,在飲食上開始提出一些提案。"百科資料顯示,綠眼蟲生活在 有機質豐富的 池沼、水溝或緩流中,溫暖的季節能大量繁殖,常使池水呈現為綠色。
  • 數學中最著名未解難題之一!「黎曼猜想」證明尚待檢驗
    據英國《新科學家》周刊網站9月24日報導,數學中最著名的未解難題之一可能仍未被解決。在9月24日的海德堡國際數學與計算機科學獲獎者論壇上,退休數學家麥可·阿提亞發表了其所謂的證明「黎曼猜想」的思路。他的同行們在近160年的時間裡都未能證明「黎曼猜想」。阿提亞說:「證明『黎曼猜想』會讓你成名。
  • 這是作者對自己的救贖,綠眼代表原諒
    綜上所述,其實王令綠眼也可以說是代表墜入愛情,他沒有讓孫蓉受欺凌,而是一次次的保護她,不讓她受到任何危險。而作者這次改篇的用意也是在於此,也為後面故事情節做下更好的鋪墊。而綠眼也是代表本次的重做,作者把原有煽情和虐心情節刪除,還觀眾一個良好的觀看體驗。
  • 奈及利亞教授成功解決世界著名難題「黎曼猜想」
    原標題:奈及利亞教授成功解決世界著名難題「黎曼猜想」 據英國《每日郵報》11月17日報導,近日,奈及利亞教授奧派耶米·伊諾克(Opeyemi Enoch)成功解決已存在156年的數學難題——黎曼猜想,獲得100萬美元(約合人民幣
  • 為什麼嫉妒在英文中是「green- eyed」綠眼?
    」「嫉妒是綠眼魔鬼,它在人們心中,把人一口吞掉。」2. 新的,新鮮的, 青蔥的,嫩的,未成熟的;引申為缺乏經驗、閱歷淺薄:green meat:鮮肉 (不是綠色的肉,也不是環保那個意思。)
  • 「綠眼印度女孩」很美嗎?當卸掉紅顏料之後,網友:汙了我的眼!
    「綠眼印度女孩」很美嗎?當卸掉紅顏料之後,網友:汙了我的眼!
  • 18世紀的法國人,眼中的清朝皇帝是紅須綠眼
    但不知乾隆見到紅須綠眼的自己和爺爺,會否露出黑人問號呢?
  • 天才華裔數學家陶哲軒的邏輯難題,看本文你也能懂
    我這裡有一個好消息要告訴你,人類目前能製造出的計算機在邏輯上存在先天缺陷,無論算力怎麼強大都不可產生意識。因為它的運算規則是建立在自然數的基礎之上的,這個數學體系叫「一階謂詞邏輯」,而這個邏輯是不完備的,於是它不能解決自己體系內的全部問題,自然就不能擴展向高階,而人類的意識就是一個高階系統。那可能讀者朋友就會迷糊了,什麼是高階呀?
  • 黎鳴:三元邏輯就可破解四色猜想(組圖)
    哲學家黎鳴號稱「思想狂徒」,「哲學烏鴉」,他1 9 6 1年畢業於江西大學物理系,理科背景是他敢於破解難題的信心來源之一。   這就是著名的四色猜想難題,即每幅地圖都可以只用四種顏色著色,使得有共同邊界的國家都被著上不同的顏色。
  • 我的世界:當MC像素變成4×4,礦石成紙狀、這綠眼村民可還行?
    今天,方塊君就帶你來看一看像素為4×4的方塊是什麼樣子,史蒂夫大變樣,末影人變得更帥,礦石成紙狀,這綠眼村民可還行?一、生物篇①盲羊MC像素變成4×4之後,羊的體型和臉型都發生巨大變化。對於體型還是比較容易的,畢竟生物迷你版看起來會比較可愛。
  • 電車難題:自動駕駛汽車的道德難題
    1、智能汽車的道德難題著名的科幻作家阿西莫夫,在他的《機器人系列》裡面,提出了影響力極大的機器人三定律。第一定律,機器人不得傷害人類,或者因不作為而使人類受到傷害。第二定律,除非違背第一定律,否則機器人必須服從人類的命令。
  • 7旬老人解開世界著名數學難題:網上再出題擺擂
    6年前,他曾花費7年時間解開世界著名數學難題。如今,他又出了三道小題放到網上,希望能與對數學有興趣的人互動交流。這名愛好並潛心研究數學的老人叫李鎖,今年已經77歲。昨日上午,家住行唐縣的李鎖老人找到記者,希望能夠組織一場「擂臺賽」。今年77歲的李鎖,是行唐縣某單位退休老幹部。