GEB, стр. 249-262: Гёделева нумерация
Ключевой трюк: типографские правила = арифметические операции.
Каждому символу ТТЧ — кодон (трёхзначное число). Каждой строчке — число. Каждому выводу — последовательность чисел.
**Центральная Догма Математической Логики:**
ТТЧ → Ч → мета-ТТЧ
Строчка ТТЧ имеет два значения:
1. Высказывание о числах
2. Высказывание о строчках ТТЧ
**Строчка G:** "Я не теорема ТТЧ"
Если G теорема → она ложна (противоречие).
Если G не теорема → она истинна, но недоказуема.
→ ТТЧ неполна. Есть истины, которые система не может доказать.
🌀