avva: (Default)
[personal profile] avva
Я бы и спать пошёл, да поработать надо ещё немного.

Is there anybody out there?

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

Date: 2003-11-14 08:53 pm (UTC)
From: [identity profile] a-e-o.livejournal.com
В пятницу ночью он не может знать, казнят его в субботу или в воскресенье. Следовательно, он не может применить метод исключения. Тут-то и происходит ошибка в индукции. То, что в правилах есть небольшое противоречие, я не отрицал. Но ко всей неделе этот метод применить нельзя.

Date: 2003-11-14 08:55 pm (UTC)
From: [identity profile] avva.livejournal.com
В пятницу ночью он не может знать, казнят его в субботу или в воскресенье.

Почему не может? Может ;) Вы же сами согласились, что в воскресенье его казнить не могут, не нарушая правил. Он это тоже знает, в пятницу ночью. Следовательно может заключить (тогда или в любое другое время), что в воскресенье его не казнят, а значит (когда он об этом рассуждает в пятницу ночью), остаётся только суббота.

Date: 2003-11-14 09:09 pm (UTC)
From: [identity profile] a-e-o.livejournal.com
Перечитал еще раз задачу. Действительно, пятница - неудачный пример. Но в четверг ничего не нарушено. Да, он знает, что его не казнят в воскресенье. Но в четверг все еще есть выбор между пятницей и субботой. То есть условие соблюдено: в четверг утром, когда ему говорят о казни, он действительно не мог этого предположить раньше.

Date: 2003-11-14 09:27 pm (UTC)
From: [identity profile] valera.livejournal.com
если его могут казнить в любой день следуещей недели, то воскресенье исключать нельзя.

Date: 2003-11-14 09:31 pm (UTC)
From: [identity profile] a-e-o.livejournal.com
Воскресенье исключено в ходе рассуждений. Это последний день недели, особый случай. О том, что есть небольшая неточность в правилах, уже говорилось.

December 2025

S M T W T F S
  123 4 56
78 9 10 11 1213
1415 1617181920
21 22 23 24 2526 27
2829 30 31   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 1st, 2026 11:05 am
Powered by Dreamwidth Studios