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:
“Waiting for the race to become official, he began to feel as if he had as much effect on the final outcome of the operation as a single piece of a jumbo jigsaw puzzle has to its predetermined final design. Only the addition of the missing fragments of the puzzle would reveal if the picture was as he guessed it would be.”
—Stanley Kubrick (b. 1928)