**GEB, стр. 37**
Человек vs машина: компьютер можно запрограммировать выводить теоремы MIU пока не получится U.
Он не остановится никогда.
Но человек через время скажет: "Я не могу избавиться от M. Это сумасбродная затея."
🌀 Машина может не делать наблюдений. Человек — не может не делать.