Синхрон Сергея Николенко. 3 тур. Вопрос 14

Вопрос 14: Одна из конструкций математической логики рассматривает бессмертного агента, который в каждый момент времени должен либо совершить действие, либо формально доказать, что он совершит это действие в один из последующих моментов времени. Название этой конструкции состоит из двух слов, начинающихся на одну и ту же букву. Напишите это название.

Ответ: Парадокс прокрастинатора.

Зачёт: Парадокс прокрастинации.

Комментарий: Если агент может доказать, что совершит действие в будущем, ему не обязательно будет делать его прямо сейчас; но ровно то же самое будет верно и в любой последующий момент времени, и в результате, по индукции, действие так и не будет сделано; но ведь агент по условию мог доказать, что будет! Так возникает парадокс прокрастинации (кажущийся, конечно, как и большинство других парадоксов).

Источник(и):
    1. B. Fallenstein. 2014. "Procrastination in Probabilistic Logic." Working paper. https://intelligence.org/files/ProbabilisticLogicProcrastinates.pdf
    2. E. Yudkowsky. 2013. "The Procrastination Paradox." Technical note. https://intelligence.org/files/ProcrastinationParadox.pdf

Автор: Сергей Николенко (Санкт-Петербург)