Неожиданная казнь, логический парадокс Опции Рейтинг

[snav]

Это одна из самых любимых моих задач. Рекомендую!
К сожалению, с сайта задачу пришлось удалить из-за отсутствия желающих ее проверять.

__Осужденного бросили в тюрьму в воскресенье.
__— Тебя повесят в полдень, — сказал ему судья, — в один из семи дней на следующей неделе. Но в какой именно день это произойдет, ты узнаешь лишь утром в день казни.
__Судья славился тем, что всегда держал слово. Осужденный вернулся в камеру в сопровождении адвоката. Как только их оставили вдвоем, защитник удовлетворенно ухмыльнулся.
__— Неужели не понятно? — воскликнул он. — Ведь приговор судьи нельзя привести в исполнение!
__— Как? Ничего не понимаю, — пробормотал узник.
__— Сейчас объясню. Очевидно, что в следующее воскресенье тебя не могут повесить: воскресенье — последний день недели, и в субботу вечером ты бы уже знал наверняка, что тебя повесят в воскресенье, таким образом, день казни стал бы тебе известен еще до наступления этого дня, а значит, приказ судьи был бы нарушен.
__— Верно, — согласился заключенный.
__— Итак, воскресенье, безусловно, отпадает, — продолжал адвокат, — поэтому суббота остается последним возможным днем казни. Однако и в субботу повесить тебя нельзя, ибо после пятницы осталось бы всего два дня недели — суббота и воскресенье. Поскольку воскресенье не может быть днем казни, повесить тебя должны лишь в субботу. Но раз тебе об этом станет известно еще в пятницу вечером, то приказ судьи опять будет нарушен. Следовательно, суббота тоже отпадает и последний день, когда тебя еще могли бы казнить, это пятница. Однако пятница тоже не годится, потому что, оставшись в четверг живым, ты сразу поймешь, что казнь должна состояться в пятницу.
__— Все понятно! — воскликнул заключенный, воспрянув духом. — Точно так же я могу исключить четверг, среду и вторник. Остается только завтрашний день. Но завтра меня наверняка не повесят, потому что я знаю об этом уже сегодня!
__Однако, к немалому удивлению заключенного, в четверг утром в камеру явился палач. Заключенный этого не ждал. Следовательно, приговор судьи оказался точным. Что было неправильно в рассуждениях заключенного и адвоката? В какие еще дни недели могла состояться казнь?

Пояснение:
Это классическая формулировка. В ней есть неопределенность, как понимать условие о правдивости судьи. Существуют два подхода:
1. Реалистичное толкование: судья реальный человек, о котором известно лишь, что раньше он всегда держал слово.
2. Идеализированное толкование: судья - абсолютно честный человек и никогда не лжет, т.е. правдивость судьи сомнению не подлежит.

Решения для этих двух случаев различаются. Предлагаю вам подумать над обоими вариантами. В первом случае решение проще, зато во втором - раскрывается вся прелесть этого парадокса.

[0]

Я как-то не увидел тут никаких парадоксов.
Тут просто много "нематематических" моментов.
Задача точная копия Гарднеровской?

Ну наиболее бросающийся в глаза вариант ответа ( хотя вроде бы
никак не связанный с "парадоксом") это ошибочный вывод - раз его не
могут без противоречия казнить ни в один день недели то его не казнят.
Ошибка потому как "не казнят" тоже противоречит условию.

С другой стороны если бы "не казнят" было допустимым вариантом то
заключенный сразу теряет свой источник информации - даже в последний
день он не знает казнят его или нет и смерть будет неожиданной.

--
Теперь пройдемся по условию.
"Судья славился тем, что всегда держал свое слово"
И это все что сказано в защиту слов судьи?
То есть вселенная не перевернется и даже судью не накажут за то что он
солгал заключенному.

Что сказал судья
"Но в какой именно день это произойдет, ты узнаешь лишь утром в день казни."
О чем это утверждение? О каких-то фактах? Нет. Судья считает что узник
не в состоянии узнать день казни заранее.
То есть заключенный мог вообще не слушать ни судью ни адвоката - просто
ему гадалка сказала что он умрет в четверг и... и опять ничего - ну солгал судья
толку-то с этого мертвому.

---
Есть еще вариант со временем:
Истинность утверждения судьи вообще-то меняется со временем
Утверждения "казнь в день Д" и "судья не солгал" приводят к противоречию
до наступления дня Д. Зато с утра до полудня дня Д эти утверждения могут быть
оба верными