Relationship To Provability
The result that MU cannot be obtained with these rules demonstrates the notion of independence in mathematical logic. The MIU system can be viewed as a formal logic in which a string is considered provable if it can be derived by application of the rules starting from MI. In this interpretation, the question is phrased as "Is MU provable in the MIU logic?".
Finding an invariant of the inference rules is a common method for establishing independence results.
Read more about this topic: MU Puzzle
Famous quotes containing the words relationship to and/or relationship:
“... the Wall became a magnet for citizens of every generation, class, race, and relationship to the war perhaps because it is the only great public monument that allows the anesthetized holes in the heart to fill with a truly national grief.”
—Adrienne Rich (b. 1929)
“If one could be friendly with women, what a pleasure—the relationship so secret and private compared with relations with men. Why not write about it truthfully?”
—Virginia Woolf (1882–1941)