в точке опоры – ею мне послужила глупость»[30][31]. Трурль с самого начала был уверен, что теорема Гёделя гарантирует существование этой точки опоры, но обнаружение конкретного гёделевского вопроса, способного победить объединенный разум Совершенного Советчика и короля Мандрильона, потребовало гениальности конструктора.
В рассказе «Лотерея в Вавилоне» Хорхе Луиса Борхеса лотерея представляет собой орудие судьбы, а судьба может раздавать как блага, так и несчастья[32]. Раб, у которого не было денег на покупку лотерейного билета, украл его. Когда тираж лотереи был разыгран, рабу выпало, что ему должны выжечь язык. Но, кроме того, его следовало наказать за кражу билета, а согласно кодексу вавилонских законов наказанием за такую кражу также было выжигание языка. Возникла неразрешимая проблема: должен ли раб потерять свой язык в наказание за воровство или, как предлагали его более великодушные сограждане, лишиться его просто потому, что так велела судьба? У этой гёделевской задачи нет простого решения. Если законы Вавилона гласят, что язык может быть выжжен, только если причина такого наказания установлена однозначно, то для раба произойдет чудо: он сможет сохранить свой язык, хотя формально его должны дважды выжечь.
Уловка Гёделя
Существует целое семейство анекдотов о пассажирах в купе поезда – иногда они бывают еще пациентами психиатрической больницы или заключенными в тюремной камере, – которые называют анекдоты по номерам. В одном из вариантов этой истории оказавшийся в такой группе новичок называет наугад случайный номер и остальные пассажиры набрасываются на него за то, что он рассказал непристойный анекдот. В другом варианте все они покатываются со смеху, потому что этого анекдота они раньше не слышали.
Блестящая идея Гёделя заключалась в присвоении номеров всем математическим утверждениям. Такая операция вряд ли покажется кому-нибудь особенно уморительной, но тем не менее она осуществима, а получив возможность называть утверждения по номерам, мы достигаем важного уровня математической формализации. Нумерация утверждений означает внесение их в некий упорядоченный перечень. Сначала отметим, что любое математическое утверждение может быть выражено в виде формулы – например, в рамках системы «Принципов математики», которая упоминается в заголовке статьи Гёделя[33]. Поэтому мы можем начать с утверждений, состоящих всего из одного символа, а когда они закончатся (а они непременно закончатся, так как система должна содержать конечное количество символов), перейти к утверждениям, состоящим из двух символов, и так далее. Рано или поздно должно стать ясно, что любое возможное утверждение войдет в этот перечень и, следовательно, ему будет присвоен номер. Свой номер получит и теорема Пифагора, и утверждение «2 + 2 = 4», и теорема о разложении на множители разности двух квадратов: a2 – b2 = (a + b)(a – b). Разумеется,
Перевод К. В. Душенко.
Ibid., р. 194.
Borges (1988).
Полное доказательство теоремы Гёделя см., например, в Hofstadter (1979), гл. 4–8; Nagel and Newman (1983).
