May 16th, 2008

Заваровский

Казнь врасплох и модальная логика

У Гарднера в «Математических досугах» есть статья «Казнь врасплох и связанный с ней логический парадокс». Вот формулировка этого парадокса:
Осужденного бросили в тюрьму в воскресенье.
— Тебя повесят в полдень, — сказал ему судья, — в один из семи дней на следующей неделе. Но в какой именно день это должно произойти, ты узнаешь лишь утром в день казни.
Судья славился тем, что всегда держал свое слово. Осужденный вернулся в камеру в сопровождении адвоката. Как только их оставили вдвоем, защитник удовлетворенно ухмыльнулся.Collapse )