BuK/IIm11/Studenten/sitosalz/MU

Wiki-Quelltext dieser Seite.

=Das MU-Rätsel=

Ist MU ein Satz des MIU-Systems?

===MIU-System (Douglas R. Hofstadter)===
=====Symbole:=====
 M, I, U

=====Axiom:===== 
MI

=====Regeln:=====

(1) Wenn xI ein Satz ist, dann auch xIU.

(2) Wenn Mx ein Satz ist, dann auch Mxx.

(3) In jedem Satz kann III durch U ersetzt werden.

(4) UU kann aus jedem Satz weggelassen werden.


=====typrografische Regeln:=====

(1) "Füge an den rechten Teil eines Satzes ein U ein, wenn dieser mit I endet."

(2) "Kopiere den Teil eines Satzes, der rechts neben M steht und füge ihn am rechten Ende an."

(3) "Ersetze den Teil eines Satzes durch U, welcher drei aufeinanderfolgende I's besitzt."

(4) "Lösche den Teil eines Satzes, welcher aus zwei aufeinanderfolgende U's besteht."


=====Anwendung der typografischen Regeln für die Lösung des MU-Rätseln:=====

MI $\rightarrow$ MIU $\rightarrow$ MIUIU $\rightarrow$ MIUIUIUIU ....

MI $\rightarrow$ MII $\rightarrow$ MIIII $\rightarrow$ MUI $\rightarrow$ MUIUI $\rightarrow$ MUIUIUIUI $\rightarrow$ .....

		   $\hspace{17mm}\rightarrow$ MIU $\rightarrow$ .....

		   $\hspace{17mm}\rightarrow$ MIIIIIIII $\rightarrow$ MUUII$\rightarrow$ MII$\rightarrow$ .....


===Beweisen Sie das MU kein Satz des MIU-Systems ist, indem Sie die Regeln in die Welt der Zahlentheorie überführen und auf dieser Basis nachweisen, dass MU nicht ableitbar ist.===

=====Axiome in der Zahlentheorie:=====

$M = 3$

$I = 1$

$U = 0$

(Zahlen wurden so gewählt, dass die Injektivität nicht verletzt wird.)

=====Beispiele für Wörter in der Zahlentheorie=====

MIU $\rightarrow$ 310

MI $\rightarrow$ 31

MIIII $\rightarrow$ 31111

MUIUI $\rightarrow$ 30101

MUUII $\rightarrow$ 30011

* Die Länge der Wörter in Bezug auf die Größe der Zahl setzen.
* Es lässt sich erkennen, dass pro Zeichen des Wortes die Zahl um das zehnfache wächst.
* Bsp.: MUUII = 3 * 10000 + 0 * 1000 + 0 * 100 + 1 *10 + 1 * 1 = 30011

=====Regeln=====

(1): xI $\rightarrow$ xIU

(2): Mx $\rightarrow$ Mxx

(3): xIIIy $\rightarrow$ xUy

(4): xUUy $\rightarrow$ xy


x ist der linke Teil eines Satzes.

y ist der rechte Teil eines Satzes.

=====Regeln (Zahlentheorie)=====

k = x (linker Satzteil) und n = y (rechter Satzteil)

m = Anzahl der stellen von n

(1): $k \cdot 10 + 1 \rightarrow 10 \cdot (k \cdot 10 + 1)$

Für den linken Teil des Satzes können k-Zeichen auftauchen, also k-Zahlen. Da die Anzahl von Zahlen pro Zeichen des Wortes um eine Zehnerstelle wächst, wird $k \cdot 10$ gerechnet. Abschließend wird für das I mit 1 addiert.

(2): $3 \cdot 10^m + n \rightarrow (3 \cdot 10^m + n) \cdot 10^m + n$

(3): $m \cdot 10^{m+3} + 111 \cdot 10^m + n \rightarrow m \cdot 10^m + n$

(4): $k \cdot 10^{m+2} + n \rightarrow k⋅10^m + n$


====Nachweis anhand der Regeln (Zahlentheorie), dass MU nicht ableitbar ist.====