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:
“The at present unutterable things we may find somewhere uttered. These same questions that disturb and puzzle and confound us have in their turn occurred to all the wise men; not one has been omitted; and each has answered them, according to his ability, by his words and his life.”
—Henry David Thoreau (18171862)