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.