11%команд взяли этот вопрос на реальных турнирах, играло 193
Одна из конструкций математической логики рассматривает бессмертного агента, который в каждый момент времени должен либо совершить действие, либо формально доказать, что он совершит это действие в один из последующих моментов времени. Название этой конструкции состоит из двух слов, начинающихся на одну и ту же букву. Напишите это название.
Парадокс прокрастинатора.
Зачёт: Парадокс прокрастинации.
Если агент может доказать, что совершит действие в будущем, ему не обязательно будет делать его прямо сейчас; но ровно то же самое будет верно и в любой последующий момент времени, и в результате, по индукции, действие так и не будет сделано; но ведь агент по условию мог доказать, что будет! Так возникает парадокс прокрастинации (кажущийся, конечно, как и большинство других парадоксов).
Автор: Сергей Николенко (Санкт-Петербург)
Пакет: Синхрон Сергея Николенко
Первоисточник: https://db.chgk.info/question/nikole16.3/14
На реальных турнирах его брали 11% команд
(из 193).
Вопрос принадлежит автору и приведён без изменений. База вопросов ЧГК,
некоммерческое использование.