Доклад Ивана Пыльцына «Формализация парадокса неожиданной казни»

Иван Пыльцын выступил с докладом на научно-исследовательском семинаре «From the Logical Point of View», который состоялся 13 сентября. 

фото МЛ ЛогЛинФФ

Аннотация.
Парадокс неожиданной казни (или парадокс неожиданного экзамена), обладая довольно простой формулировкой, не имеет столь же простой формализации. Более того, при более детальном рассмотрении складывается гипотеза, что ключевые для решения парадокса эффекты, возникающие в модели рационального агента, восходят к эффектам достаточно сложных формальных математических систем (таких как арифметика Пеано). На докладе мы рассмотрим несколько вариантов формализации парадокса и обсудим, отвечают ли они связанным с парадоксом интуициям.