KA MU-Puzzle

Aus ProgrammingWiki
< BuK < IIm13 < Studenten < simaknoc
Archivierte Version vom 2014-10-20T12:10:40+00:00. Aktuelle Version

Inhaltsverzeichnis

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

  1. Regel: Wenn xI ein Satz ist, dann auch xIU.
  2. Regel: Wenn Mx ein Satz ist, dann auch Mxx.
  3. Regel: In jedem Satz kann III durch U ersetzt werden.
  4. Regel: UU kann aus jedem Satz weggelassen werden.


Typografische Regeln

Zum erweiternden Verständnis der Regeln des MIU-Systems soll für jede Regel ein typografisches Pendant erstellt werden.

  1. Regel 1:
  2. Regel 2:
  3. Regel 3:
  4. Regel 4:

Weiterführendes

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