BuK/IIm13/Studenten/simaknoc/KA MU-Puzzle
Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
=MU-Puzzle= Das MU-Puzzle ist ein von Douglas R. Hofstadter konzipiertes Rästel, bei dem es festzustellen gilt, ob MU ein Satz des MIU-Systems ist. ==MIU-System== ====Symbole==== M, I, U ====Axiom==== MI ====Regeln==== # Regel: Wenn xI ein Satz ist, dann auch xIU. # Regel: Wenn Mx ein Satz ist, dann auch Mxx. # Regel: In jedem Satz kann III durch U ersetzt werden. # Regel: UU kann aus jedem Satz weggelassen werden. ==Grafische Repräsentation des MIU-Systems== Youtube-Video mit verschiedenen Graphen, die das MIU-System abbilden: https://www.youtube.com/watch?v=EhN28Fh22kY ==Weiterführende Literatur== '''Gödel, Escher, Bach: ein endloses geflochtenes Band''' (Douglas R. Hofstadter) ISBN: 9783608930375