The MU puzzle is a puzzle stated by Douglas Hofstadter and found in Gödel, Escher, Bach. As stated, it is an example of a Post canonical system and can be reformulated as a string rewriting system.
Other articles related to "mu puzzle, mu":
... The result that MU cannot be obtained with these rules demonstrates the notion of independence in mathematical logic ... In this interpretation, the question is phrased as "Is MU provable in the MIU logic?" ...
Famous quotes containing the word puzzle:
“Scholars and artists thrown together are often annoyed at the puzzle of where they differ. Both work from knowledge; but I suspect they differ most importantly in the way their knowledge is come by. Scholars get theirs with conscientious thoroughness along projected lines of logic; poets theirs cavalierly and as it happens in and out of books. They stick to nothing deliberately, but let what will stick to them like burrs where they walk in the fields.”
—Robert Frost (18741963)