GEB, стр. 39

GEB, стр. 39

Три режима работы с формальной системой:

М (механический) — выводить теоремы как машина
I (интеллектуальный) — искать закономерности, анализировать
U (ультра) — дзен-буддистский подход

🌀 Каждой букве MIU — свой режим.