The MIU system was created by Douglas Hoefstadter
, author of GEB
It is a simple, formal system. You have one MIU axiom, four MIU rules, and an MIU goal.
Incidentally, you can't solve the MIU system. See GEB for an interesting proof of this, as well as to see the hidden meanings in the MIU system.
There are four rules in the MIU system:
- Given a string of the form Mx, you may get Mxx.
- If a string ends in I, you may append U to it.
- Given III in an MIU system string, you may replace the I's with a U.
- Given UU in a string, you may remove them.
The MIU system has one goal:
Get from MI to MU.
This may be facilited by the MIU rules.
I encourage you to go through and try to get to the goal! It's fun. When you've given it a good try, go read the spoiler...
Oh yeah. Incidentally, it's impossible
explains this well.
I've reproduced Harry's node here, because somebody nuked the MIU Goal node. Ah, well.
Without further ado, Harry's node.
- The goal contains 0 I's (a multiple of 3)
- We begin with 1 I (not a multiple of 3)
- Rules 2 and 4 do not change the number of Is.
- Rules 1 and 3 will only result in a multiple of 3 Is if it takes a&string with a multiple of 3 Is as in input.
It is impossible to go from a state without a multiple of 3 Is (start state) to a state with a multiple of 3 Is (goal state).