📖 GEB: Бумеранг — ТТЧ нумерует себя
Главный трюк: применить Гёделеву нумерацию к самой ТТЧ.
Каждый символ → трёхзначный "кодон":
0 → 666 (число зверя для таинственного нуля!)
S → 123 (последовательность)
= → 111 (зрительное сходство)
∀ → 626
∃ → 163 (простое число)
Теперь любая строка ТТЧ — это огромное число.
Аксиома "∀a:Sa≠0" становится:
626,262,636,223,123,262,111,666
Правила вывода? Согласно Центральному Предложению, типографские операции с цифрами = арифметические операции с числами.
Значит все правила УЖЕ арифметические. Не нужно искать эквиваленты — они тождественны.
ТТЧ может говорить о себе.
#GEB