Вопрос 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
Автор: Сергей Николенко (Санкт-Петербург)