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