{"answer":"Парадокс прокрастинатора.","author":"Сергей Николенко (Санкт-Петербург)","batch_info":{"comment":"Редактор пакета благодарит за помощь Артура Кадурина, Юлию Кожевникову,\nВладислава МаркОвича, Андрея Полякова, Ивана Беляева, Алексея Гаевского\nи Екатерину Макоед (все - Москва), Дмитрия Когана (Имменштадт), Елену\nДаскал и Михаила Барчука (Фрайберг), Александра Ваксмана (Штутгарт),\nДаниила Пахомова (Ростов-на-Дону), Дмитрия Слободянюка и Ксению\nНакладову (Краков), Николая Максимова (Эйндховен), Павла Худякова и Юлию\nФукельман (Кельн), Андрея Грищука (Николаев), Сергея Шорина (Краснодар),\nАлександра Сироткина (Санкт-Петербург).","date":"20-Feb-2016","description":"Синхрон Сергея Николенко","filename":"nikole16.json","redacted_by":"Сергей Николенко (Санкт-Петербург)"},"comment":"Если агент может доказать, что совершит действие в будущем, ему не\nобязательно будет делать его прямо сейчас; но ровно то же самое будет\nверно и в любой последующий момент времени, и в результате, по индукции,\nдействие так и не будет сделано; но ведь агент по условию мог доказать,\nчто будет! Так возникает парадокс прокрастинации (кажущийся, конечно,\nкак и большинство других парадоксов).","description":"Одна из конструкций математической логики рассматривает бессмертного\nагента, который в каждый момент времени должен либо совершить действие,\nлибо формально доказать, что он совершит это действие в один из\nпоследующих моментов времени. Название этой конструкции состоит из двух\nслов, начинающихся на одну и ту же букву. Напишите это название.","id":"Вопрос 14","next":286663,"num":178210,"source":"1. B. Fallenstein. 2014. \"Procrastination in Probabilistic Logic.\"\nWorking paper.\nhttps://intelligence.org/files/ProbabilisticLogicProcrastinates.pdf\n2. E. Yudkowsky. 2013. \"The Procrastination Paradox.\" Technical note.\nhttps://intelligence.org/files/ProcrastinationParadox.pdf","tour":"3 тур"}