Автор: Биовизирь Тема: есть тут тонкости, которые я не понимаю,
"он не должен был в любой последующий день использовать тот результат, который был им получен при других вводных ..."
Ага, а может, предполагая, что он доживет до субботы, король неявно предполагает что он переживет понедельник, вторник, среду... а это бабушка надвое сказала :-) Рассуждение где вводится предположение что А - истинно приводит к тому что А-истинно. Если король умрёт в среду, то предполагать о том, что он доживёт до субботы было бы самонадеянно :-)
Но тогда некорректными оказываются и такие рассуждения "Предположим, завтра я не умру. Тогда я могу себе позволить на ужин съесть паштет из гусиной печенки...".
И если дней не 7, а 2, король все равно не знает, переживет ли он следующий день и не может делать выводов о том, что астролог его обманул? Он ведь всё равно не может сказать "Да! Я знаю, завтра я умру!" Есть тут неясности, имхо, както тут завязано на представления о природе знания, вопросе, что является знанием, что нет...
А математическое обоснование тоже было бы интересно.
Может, и разрешение парадокса множества всех множеств у тебя имеется? :-))