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
|
