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