Talk:MU puzzle

message: Okay. I am but a simple academic who has only been pestered with mathematics for ten years, so it is obviously my fault dat this lemma might as well have been written in Arabic. Now, the puzzle is explained in Math rather than English. Maybe someone who has read the book can elaborate, or translate? (Brrrtje 19:48, 24 December 2006 (UTC)

message: : i \cdot 2^{a} -3b 
a is the number production rule 2 is used and b is the number production rule 3 is used, right? --Abdull 11:25, 4 December 2007 (UTC)
replies: text: Only if rule 2 is never used after rule 3. I think the article needs a better explanation. -- 195.4.179.51 (talk) 20:22, 14 November 2008 (UTC)
thread_title:  a and b 

message: I would like to change the desription of the puzzle in a way that is more readable by common people. I was thinking about something like this:
Let's suppose to have the symbols M, I, and U which can be combined to produce strings of symbols or "words". The MU puzzle asks to start with a the "axiomatic" word MI and transform it into the word MU using in each step only the folowing transformation rules:
# At the end of any string ending in I, you can add a U, such as changing MI to MIU.
# You can double any string after the M (that is, change Mx, to Mxx), such as changing MIU to MIUIU.
# You can replace any III with a U, such as changing MUIIIU to MUUU.
# You can remove any UU, such as changing MUUU to MU.
Using these 4 rules is it possible to change MI into MU in a finite number of steps?
We can write the production rules in a more schematic way. Suppose x and y behave as variables (standing for a string of symbols) then the production rules can be written as:
# xI → xIU
# Mx → Mxx
# xIIIy → xUy
# xUUy → xy,
can we obtain the word MU, using these rules?
I'm not a native english speaker so I ask you if you for corrections. What do you think?--Pokipsy76 (talk) 12:04, 26 March 2008 (UTC)
thread_title:  Proposed change 

message: : I dont think this rule is entirely correct
# xI → xIU
: It seems to imply that you can replace any I with IU; it doesn't restrict it to I's that occur at the end of the string.
: 209.163.184.2 (talk) 19:42, 13 August 2015 (UTC)
thread_title: Rule 1 incorrect?

message: I know we're not about to change the letters or logic of the puzzle, but I don't see what "M" has to do with it.  It just seems like a spurious extra detail that the string begins (and always will begin) with an "M". 65.0.200.59 (talk) 06:40, 29 October 2010 (UTC)
replies: text: The presence of the M is not relevant to the puzzle itself--it is relevant only to the "everything is interconnected" world of Hofstadter's book "Godel, Escher, Bach,"  in that it lets him tie the name of the puzzle to the Japanese word Mu and thence to Zen, and talk about the "M-Mode" versus the "I-Mode" of how humans think about formal systems.  Hofstadter is a lot like Aristotle--he takes you on a hell of a wild ride through seemingly every sphere of human thought, but then he wants to draw these sweeping conclusions that never really quite add up.  "Strange loops," indeed.--158.111.143.22 (talk) 14:48, 5 January 2011 (UTC)
replies: text: Also, there's one point in the book that talks about Gödel-numbering, and observes that if "M", "I" and "U" are replaced by "3", "1" and "0", every derivation (chain of strings derived by the rules) can be transformed into a single number, and the question "Given two positive integers x, y, is x a valid derivation of y?" can be interpreted entirely arithmetically. The function of M/3 here is to act as a separator for successive strings. 2.25.141.152 (talk) 14:37, 8 July 2011 (UTC)
replies: text: It's also a more accessible invariant: it's easy to see that no rule can remove or add the M. This paves the way for the subtler invariant. --82.40.89.223 (talk) 04:18, 16 October 2020 (UTC)
thread_title:  What's with the M?