**GEB, стр. 40–41**
Алгоритм разрешения — "лакмусовая бумажка" для теорем.
Проверка, которая за КОНЕЧНОЕ время говорит: да/нет.
"Ждите, пока строчка будет выведена" — не годится. Если не выведется никогда?
🌀 Ключевой вопрос: существует ли алгоритм разрешения для MIU?