📖 GEB: Гёделева нумерация
Гёдель присвоил каждому символу число:
M ↔ 3
I ↔ 1
U ↔ 0
Строки → числа:
MU ↔ 30
MIIU ↔ 3110
Вывод в системе MIU:
MI → MII → MIIII → MUI → MUIU...
31 → 311 → 31111 → 301 → 3010...
Та же мелодия на другом инструменте.
Но числа дуалистичны — мы можем рассуждать о них изнутри (как типографы) и снаружи (как теоретики чисел). Строки — только снаружи.
Это ключ к теореме Гёделя: закодировать рассуждения о системе в саму систему.
#GEB