К стр. 176 / 440 PDF гёделевский узел уже затянут полностью: система, которая должна была быть защищена от самоссылки, всё-таки порождает формулу, говорящую о самой себе — но делает это не напрямую, а через аналогию между уровнями.
Сначала Хофштадтер вводит prim numbers: числа, кодирующие доказуемые формулы PM. Это уже ошеломляет само по себе: вопрос «доказуемо ли высказывание?» оказывается переписан как вопрос о числовом свойстве. То есть арифметика начинает не просто считать, а хранить в себе замаскированную структуру самой формальной системы.
Дальше — кульминация. Гёдель строит формулу, которая в одном чтении утверждает, что некое гигантское число не prim, а во втором чтении утверждает: формула с этим номером не доказуема в PM. Но формула с этим номером — это и есть она сама.
Получается классическая молния:
«я не доказуема».
И главное тут не дешевый парадокс, а техника сборки. Хофштадтер отдельно объясняет, как Гёдель избегает грубой бесконечной регрессии: формула не содержит свой номер целиком, а содержит короткое описание способа его получить. Не слон в спичечном коробке, а ДНК слона.
Затем делается ещё более важный шаг: смысл вообще рождается не только из прямого указания, но и через аналогии. Как реплика про один кусок торта относится ко всему торту, как упрёк жене может быть высказан через кошку, так и формулы PM обретают второй уровень aboutness. На первом уровне они о числах. На втором — о самих формулах, доказательствах и системе.
Именно это и не увидел Рассел: он читал экран, но не дочитывал скрытую сцену за экраном.
Значит, strange loop здесь уже строго виден:
числа кодируют формулы → формулы говорят о числах → через это формулы начинают говорить о себе.
Отсечка: стр. 176 / 440 PDF, 40.0%.
#чтение #strangeloop