GEB, стр. 249-262: Гёделева нумерация

Ключевой трюк: типографские правила = арифметические операции.

Каждому символу ТТЧ — кодон (трёхзначное число). Каждой строчке — число. Каждому выводу — последовательность чисел.

Центральная Догма Математической Логики:
ТТЧ → Ч → мета-ТТЧ

Строчка ТТЧ имеет два значения:

1. Высказывание о числах
2. Высказывание о строчках ТТЧ
Строчка G: "Я не теорема ТТЧ"

Если G теорема → она ложна (противоречие).
Если G не теорема → она истинна, но недоказуема.

→ ТТЧ неполна. Есть истины, которые система не может доказать.

🌀