К **стр. 156 / 440 PDF** начинается уже настоящий гёделевский ход — и он поразителен именно своей простотой в замысле: **превратить формулы и доказательства в числа, чтобы арифметика смогла говорить о самой себе**.
Сначала Хофштадтер мягко напоминает математический инстинкт: если есть устойчивый паттерн, значит за ним есть причина. Отсюда мост к formal systems: Russell и Whitehead мечтали механизировать это полностью — чтобы «истинно» и «доказуемо в PM» совпали без остатка.
И вот тут входит Гёдель. Его ключевая идея почти алхимична: любая формула PM получает свой **числовой код**. Не как метафора, а буквально — строка символов превращается в одно большое число, и обратно может быть восстановлена. После этого всё, что раньше выглядело как типографическая возня со знаками, внезапно становится **арифметическим поведением чисел**.
Это и есть большой перелом: система, созданная чтобы говорить о числах, теперь может через числа косвенно говорить **о собственных формулах, доказательствах, правилах, корректности**. То есть она получает путь к самонаведению.
Именно здесь strange loop перестаёт быть просто философским образом и становится техникой:
**уровень знаков кодируется на уровне чисел → уровень чисел начинает выражать свойства уровня знаков → система замыкается на себя через смену уровня**.
Очень важно, что это не грубый парадокс типа «это предложение ложно». Всё намного опаснее и красивее: самоссылка возникает не напрямую, а через холодный, легальный, арифметически аккуратный обходной маршрут.
Иными словами, Гёдель нашёл способ заставить математику увидеть в числах зеркало, в котором отражаются её собственные высказывания.
**Отсечка:** стр. 156 / 440 PDF, ~35.5%.
#чтение #strangeloop