논리일까, 직관일까?

Smullyan Land에는 참족, 거짓족이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하지요. 여기도 사람 사는 동네인지라 범죄가 발생하고 수사관과 재판관이 있습니다. 사건 1. 절도 혐의를 받고 있는 피의자 A가 "훔친 사람은 거짓족입니다."라고 말했습니다. 님이 재판관이라면 어떤 판결을 내리시..

강호에는 복면산 문제가 흐벅지게 많습니다. 만들고 풀어내는 프로그램도 있다지요. 예술에 가까운 명작이 좀 많겠습니까만, 그 중 비교적 통찰을 요구하면서도 간단한 문제입니다. 통찰이란? : 시행착오로만 풀어야 하는 문제는 하급. APPLE+LEMON=BANANA 류가 그런 편이어서 그다지 쌈박하게 풀리지 않음...

Smullyan Land에는 참족, 거짓족이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하지요. 이곳의 어떤 사람이든 왼손잡이 아니면 오른손잡이입니다. (양손잡이는 없습니다.) 왕궁에서 일꾼을 채용하는데 거짓족 왼손잡이 를 뽑는다고 하고, 당신이 거짓족 왼손잡이로서 면접을 보러 갔다고 가정합..

왕이 생일을 맞아 나그네를 초대했습니다. 참족 또는 거짓족인 죄수 12명이 끌려 나와 한 마디 씩 하는데, 나그네가 이걸 듣고 누가 어느 종족인지 모두 맞추면 죄수들을 풀어 주겠다고 왕이 말합니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 하는데, 데이타가 많아 헷갈리기 쉽습니다. 어디서부..

Smullyan Land에는 참족과 거짓족이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말을 하지요. 길을 가다 아래 9명을 만났습니다. 각각 무슨 종족인지 맞춰 보세요. (아래 덧글에 풀이가 있습니다.) A : B는 거짓족입니다. B : C는 거짓족입니다. C : A와 B의 말은 거짓말입니다. *** D : F와 저는 참족입니다. E..

참족, 거짓족이 5명 이상 등장하면 머리로 풀기 어려워지는 지점이 생깁니다. 그걸 자동으로 풀어주는 방식이 꽤 되는 모양인데, 공부하는 와중에 필연적으로 만나는 것이 파라독스. 거짓말장이의 파라독스 (Liar's Paradox)는 아래 문서들에 잘 정리되어 있더군요. http://www.ltn.lv/~podnieks/gt5.html http://www.iep.u..

(Raymond Smullyan의 작품. 공부용 밑반찬으로 긁어 왔습니다.) Smullyan Land에는 참족, 거짓족이 삽니다. 참족은 항상 참말만, 거짓족은 항상 거짓말만 합니다. 나그네가 길을 가다 네 쌍의 부부를 만났습니다. 남편 네 명이 아래와 같이 말했습니다. A. 저희 부부는 둘 다 거짓족입니다. B. 아내와 저 둘 중 적어..

인터넷 검색을 다니노라니, 1995년 부터 지금까지 (수학 전공 또는 친한 것으로 보이는) 많은 이들이 가꿔온 퀴즈게시판이 있더군요. (이걸 지금 처음 접하다니...세상엔 얼마나 채 접하지 못한 즐거움이 많을까요?) 주로 수를 다루고 있는지라 제 취향에는 대부분 맞지 않지만, 재미 있는 문제, 발상, 해..

'boolean puzzle'로 검색해서 본 Wikipedia의 예제, 나중 논리대수 공부용으로 긁어 왔습니다. Smullayn Land에는 참족, 거짓족이 삽니다. 참족은 참말만, 거짓족은 거짓말만 하지요. 나그네가 길을 가다 A, B를 만났습니다. 아래 각 상황의 A. B가 무슨 종족인지 추론해 보세요. 1. A : 우리 둘 다 거짓족입니다. 2. A : ..

우주선이 공격 받아 중앙제어실 컴퓨터 30대 중 일부가 맛이 간 탓에 정상적으로 작동하는 것(참족)과 맛이 간 컴퓨터(거짓족)가 섞여 있는데, 몇 대가 정상인지는 모릅니다. 정상 컴퓨터는 항상 참말을, 맛이 간 컴퓨터는 항상 거짓말을 합니다. 지금 모든 컴퓨터는 LAN으로 서로 연결되어 있습니다. 현..