Hofstadter's MU Riddle

http://demonstrations.wolfram.com/Hof...

The Wolfram Demonstrations Project contains thousands of free interactive visualizations, with new entries added daily.

Originally proposed by Douglas Hofstadter in his seminal work Godel, Escher, Bach: An Eternal Golden Braid, the MU-Puzzle describes a formal system with a single axiom and four rules used to generate new theorems, written as sequences over the alphabet ...

Contributed by: Enrique Zeleny

• #education
• #escher