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.
Read more about MU Puzzle: The Puzzle, Solution, Relationship To Provability
Other articles related to "mu puzzle, mu":
MU Puzzle - Relationship To Provability
... 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?" ...
... 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:
“What are you now? If we could touch one another,
if these our separate entities could come to grips,
clenched like a Chinese puzzle . . . yesterday
I stood in a crowded street that was live with people,
and no one spoke a word, and the morning shone.
Everyone silent, moving. . . . Take my hand. Speak to me.”
—Muriel Rukeyser (1913–1980)