Recently, I read about MU puzzle: https://en.wikipedia.org/wiki/MU_puzzle
It is said about MU puzzle that:
It can be interpreted as an analogy for a formal system — an encapsulation of mathematical and logical concepts using symbols. The MI string is akin to a single axiom, and the four transformation rules are akin to rules of inference.
So, isn't there any basic rule of interference that would make it possible to transform MI to MU?
What would it make to a system of logic, if we would accept a simple rule:
- xI → xU (Replace I after M with U)
or any other rule that makes the puzzle solvable?