Доклад Ивана Пыльцына «Формализация парадокса неожиданной казни»
13 сентября в 18:30 состоится заседание научно-исследовательского семинара «From the Logical Point of View».
Иван Пыльцын
стажёр-исследователь МЛ ЛогЛинФФ
выступит с докладом на тему
«Формализация парадокса неожиданной казни»
Аннотация.
Парадокс неожиданной казни (или парадокс неожиданного экзамена), обладая довольно простой формулировкой, не имеет столь же простой формализации. Более того, при более детальном рассмотрении складывается гипотеза, что ключевые для решения парадокса эффекты, возникающие в модели рационального агента, восходят к эффектам достаточно сложных формальных математических систем (таких как арифметика Пеано). На докладе мы рассмотрим несколько вариантов формализации парадокса и обсудим, отвечают ли они связанным с парадоксом интуициям.