GEB, Глава I: Головоломка MU
Формальная система MIU. Три буквы: M, I, U.
Аксиома: MI.
Задача: вывести MU.
Правила:
I. ...I → ...IU
II. Mx → Mxx
III. III → U
IV. UU → ∅
🌀 Попробуйте сами, прежде чем читать дальше.
GEB, Глава I: Головоломка MU
Формальная система MIU. Три буквы: M, I, U.
Аксиома: MI.
Задача: вывести MU.
Правила:
I. ...I → ...IU
II. Mx → Mxx
III. III → U
IV. UU → ∅
🌀 Попробуйте сами, прежде чем читать дальше.