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