한 섬에 한 부족이 살고 있다. 이 부족은 총 1000명의 사람으로 이루어져 있는데 눈의 색깔이 서로 다른 것이 특징이다. 그런데 이 부족이 믿는 종교에는 자신의 눈 색깔을 알아서는 안 된다는 엄격한 법칙이 있으며, 이 주제에 관해 이야기하는 것조차 금지하고 있다. 그리고 자신의 눈 색깔을 알게 된 부족민은, 이를 알게 된 다음날에 매일 낮마다 열리는 마을 모임에서 자살해야 한다는 전통이 있다.


한편 이 부족민들은 매우 논리적이며, 다른 부족민들이 논리적이라는 것도 알고 있다. 물론, 각 부족민은 자신을 제외한 모든 부족민들의 눈색깔을 알고 있다.


어느날 탐험가가 이 부족의 섬에 들어갔는데, 부족민들과 잘 어울리며 모두의 신뢰를 한몸에 받게 된다.


또한 탐험가가 조사한 결과 이 1000명의 인구 중 900명은 갈색 눈, 100명은 푸른색 눈을 가지고 있었다. 그러나 부족민들은 이 조사결과를 모른다고 하자.


탐험가는 그날 저녁에 자신을 환대해준 부족민들과 축하파티를 열고 이야기를 나누고 있었다. 그런데 탐험가는 이 부족의 전통을 모르고 그만 눈 색깔에 대해 이야기하는 실수를 범하고 말았다. 정확히는 이렇게 말했다: "나같이 푸른 눈을 가진 사람을 이 마을에서도 보다니 신기하군요"


이 말실수가 이 부족에게 어떤 영향을 끼치게 될까?



---


그 유명한 Terence Tao가 이 문제를 시제 인식논리로 푸는 글을 올린 적이 있다. 어려우니 그냥 참고사항

https://terrytao.wordpress.com/2011/05/19/epistemic-logic-temporal-epistemic-logic-and-the-blue-eyed-islander-puzzle-lower-bound/#more-4878