пятница. ночь.

[avva]

Я бы и спать пошёл, да поработать надо ещё немного.

Is there anybody out there?

Давайте чего-нибудь интересное друг другу рассказывать. Или загадку какую. Или задачку. Если я что придумаю, в комментах напишу.

Comments

[avva.livejournal.com]

Да, совершенно верно.

непонятно

[(Anonymous)]

Авва, это непонятно. Примерно то же самое (несколько подробнее) написано в wikipedia, но тем не менее не убеждает.
Можно, например, рассмотреть усеченный вариант задачи, когда преступнику сообщают, что его казнят _завтра_ и что это будет неожиданно. Исходя из этого осужденный решит, что это невозможно, поэтому когда его казнят, это действительно будет для него неожиданно... Так? То есть преступник исходит из того, что оба сообщения истинны, и решает, что первое ложно. В результате оба оказываются истинны. Но ведь он может заключить, что ложно второе сообщение: его казнят, но это не будет неожиданно. И когда его казнят -- это и не будет неожиданно, то есть исходная конъюнкция окажется ложной...
Я, честно говоря, не могу теперь даже сформулировать, что именно мне не нравится, но что-то не нравится. Если Вам все кристально ясно, можете разложить по полочкам?
P.S. Я где-то выше по треду дал ссылку на интересную статью на эту тему. Если все так просто, то зачем тогда там делается анализ на десять страниц?..

Re: непонятно

[avva.livejournal.com]

Я не успел ещё просто выше ответить.

Во-первых, спасибо за статью, интересная. Я пока только бегло просмотрел, т.к. времени нет.

Во-вторых, я вовсе не считаю, что 'всё так просто", возможно, Вы меня не так поняли. Мне кажется, что здесь есть действительно сложный и интересный парадокс, а те, кто его отметают как несуществующий, зачастую просто не совсем продумали его (и, кстати, часто знают неполный его вариант: до решения о том, что казнь невозможна, и без блестяще-парадоксальной концовки, когда к нему всё же приходят, скажем, в среду и казнят с полным соблюдением правил). Но из разных возможных подходов к этому парадоксу, некоторые из которых описаны в той статье, мне больше всего импонирует тот, который видит корень парадоксальности уже в версии с одним днём. Видимо, парадоксальность таится где-то в сочетании фактических утверждений типа "тебя казнят" и эпистемологических утверждений типа "ты об этом не будешь знать". Возможно, утверждение типа "ты не будешь знать о том, что произойдёт X, до тех пор, пока X не произойдёт" вообще мало-осмысленно кроме его тривиальной интерпретации, в которой они тривиальным образом верно?

P.S. Может, Вы хотите завести свой дневник в LJ? Я пришлю Вам код для создания, если нужен.

Re: непонятно

[(Anonymous)]

Поломал себе голову еще пару дней, но тщетно. Wikipedia приводит (http://en2.wikipedia.org/wiki/Unexpected_hanging_paradox), кстати, еще более укороченный вариант парадокса, который вроде бы локализует причину парадоксальности. Посмотрите, если интересно, чтобы попусту не пересказывать.

Насчет дневника: Вы мне, между прочим, предлагали уже как-то раз, когда мы дискутировали насчет ударений в русском языке :) Ну что ж, на второй раз, пожалуй, соглашусь. Мой мейл kobak@yandex.ru; Вам же все равно придет этот постинг по почте? Тогда я не буду писать отдельное письмо.

статья интересная

[kobak.livejournal.com]

Возвращаясь к давнишнему: в дискуссии в ru_math на эту же тему (http://www.livejournal.com/community/ru_math/77548.html) возникла ссылка на ОЧЕНЬ интересную статью по теме: http://arxiv.org/abs/math.LO/9903160. Крайне рекомендую, если еще не видели.