NAJTRUDNIEJSZA ZAGADKA ŚWIATA. Trzy boginie: Prawda (P), Kłamstwo (K) i Los (L) odpowiadają na pytania w swoim języku. Mówią tylko DA i JA, które odpowiadają słowom TAK i NIE, jednak nie wiemy, które któremu. Prawda zawsze mówi prawdę, Kłamstwo zawsze kłamie, a Los czasem mówi prawdę, czasem kłamie. Musimy za pomocą góra trzech pytań określić, która z bogiń to która. Każde pytanie może być skierowane tylko do jednej bogini. Autorem tej zagadki jest Raymond Smullyan, a jej utrudnienie (nieznajomość znaczenia słów DA i JA) podał John McCarthy. <cite>GOOGLE</cite>
ROZWIĄZANIE. Z treści zagadki wynika, że: boginie rozumieją pytania w każdym języku świata; na pytania odpowiadają w swoim wspólnym języku -- zbiorze {DA, JA}, a rodzaj użytego przez boginię elementu tego zbioru jako odpowiedzi jest zależny od treści pytania i od ustalonego w tym języku znaczenia słów DA, JA; element DA odpowiada ustalonej wartości logicznej tak, że wartość logiczna JA jest zaprzeczeniem wartości logicznej DA; jest bez znaczenia czy DA≡1, czy DA≡0, czy DA=TAK, czy DA=NIE -- gdyż ustalenie tego nie jest możliwe, toteż i nie jest celem naszej logicznej zabawy; w analizie dysponujemy liczbą n różnych pytań, z których każde może być użyte w przesłuchaniu bogiń dokładnie jeden raz; łączna liczba zadanych pytań musi być mniesza lub równa trzy, a jedną boginię możemy zapytać więcej, niż jeden raz; każda odpowiedź musi być absolutnie zgodna z naturą bogini -- zawsze prawda, zawsze kłamstwo, zawsze los -- ten fakt umożliwi nam wymuszenie treścią pytania od bogini odpowiedzi milczącej, co nie jest sprzeczne z milczeniem, które jako zbiór pusty słów zawiera się w każdym z języków świata, jako zbiorze wielu słów; pytanie nie może być skierowane jednocześnie do dwóch lub do trzech bogiń; każdej z bogiń nadajemy losowo nowe imiona A, B, C, którym są przyporządkowane wzajemnie jednoznacznie stanowiska, a mianowicie (1)↔A, (2)↔B i (3)↔C -- tak, że boginie są parami poinformowane o zajętych przez siebie miejscach; boginie parami wiedzą o sobie która jest która, co jest oczywiste.
Gdyby każda z bogiń nie mogła udzielić odpowiedzi poprzez milczenie, to nie byłoby możliwe ustalenie, która z bogiń to która.
...
Zgodnie z powyższymi ustaleniami praktycznym wynikiem tej logicznej zabawy mógłby się okazać tylko jeden z poniższych przypadków.
c. d. za pośrednictwem strony
http://lwgula.pl.tl/
Inne tematy w dziale Technologie
