Суперигра

Является ли описываемая далее суперигра нормальной или нет? Какие другие парадоксы напоминают парадокс суперигры?

Назовем игру «нормальной», если она завершается в конечное число ходов. Примерами нормальных игр могут служить шахматы, шашки, домино: эти игры всегда завершаются или победой одной из сторон, или ничьей. Игра, не являющаяся нормальной, продолжается бесконечно, не приводя ни к какому результату. Введем также понятие «суперигра»: первым ходом такой игры является установление того, какая именно игра должна играться. Если, к примеру, вы и я намереваемся играть в суперигру и мне принадлежит первый ход, я могу сказать1 «Давайте играть в шахматы». Тогда вы в ответ делаете первый ход шахматной игры, допустим е2–е4, и мы продолжаем партию до ее завершения (в частности, в связи с истечением времени, отведенного турнирным регламентом). В качестве своего первого хода я могу предложить сыграть в крестики-нолики и т.п. Но игра, которая мною выбирается, должна быть нормальной; нельзя выбирать игру, не являющуюся нормальной.

Возникает проблема: является сама суперигра нормальной или нет? Предположим, что это – нормальная игра. Так как первым ее ходом можно выбрать любую из нормальных игр, я могу сказать: «Давайте играть в суперигру». После этого суперигра началась, и следующий ход в ней ваш. Вы вправе сказать: «Давайте играть в суперигру». Я могу повторить: «Давайте играть в суперигру», и таким образом процесс может продолжаться бесконечно. Следовательно, суперигра не относится к нормальным шрам. Но в силу того, что суперигра не является нормальной, своим первым ходом в суперигре я не могу предложить суперигру; я должен выбрать нормальную игру. Но выбор нормальной игры, имеющей конец, противоречит тому доказанному факту, что суперигра не принадлежит к нормальным.

1 Суперигры не существует, поскольку понятие такой игры является логически противоречивым: она должна быть одновременно и нормальной игрой, и ненормальной игрой. Понятие ненормальной игры, не завершающейся в любое конечное число шагов (т.е. не завершающейся никогда), непривычно. Но если игру понимать широко, то нужно признать, что ненормальные игры существуют. К ним относятся, в частности, составление каталога всех каталогов, не включающих ссылки на себя; составление попом жизнеописания своей собаки на надгробном камне; полное описание листа бумаги на нем самом

и т.п. Всякий парадокс, предполагающий «бесконечный спуск?, является, таким образом, примером ненормальной игры.)