Es war einmal ein König, der hatte drei Söhne, davon waren zwei klug und gescheit, aber der dritte sprach nicht viel, war einfältig und hieß nur der Dummling ...

Nur wenige Worte genügen, uns in eine Gedankenwelt zu entführen, in der wir spannende Abenteuer mit glücklichen oder traurigen Wendungen erwarten. Die dazu benötigte Fähigkeit, sich die handelnden Personen und deren Eigenschaften und Beziehungen zueinander zu merken, besitzen schon kleine Kinder und es stört überhaupt nicht, dass die Personen nur sehr knapp beschrieben sind, ohne Angabe von Größe, Kleidung oder Haarfarbe - im Gegenteil es lässt mehr Freiraum, sie gedanklich durch reale oder fiktive Personen zu ersetzen.

Genau die gleichen Fähigkeiten benötigt man beim Lesen einer Definition oder eines Satzes mit zugehörigem Beweis in der Mathematik, denn auch dabei handelt es sich um Geschichten: Sei $K$ eine Menge und seien $A,B,D\subset K$. Weiter seien $A,B$ abzählbar und $D$ sei endlich ...

In der Metasprache $\mmath$ sind mathematische Geschichten (bzw. gedankliche Rahmen) die Grundobjekte. Sie werden beschrieben durch eine Liste von Namen für die Hauptdarsteller der Geschichte (die Rahmen-Parameter), eine Liste ihrer angenommenen Eigenschaften und wechselseitigen Beziehungen in Form von mathematischen Aussagen, eine Liste von Folgerungen, die sich für die Parameter und die aus ihnen gebildeten Objekte ergeben, sowie ein spezieller Ausdruck, der die Geschichte gewissermaßen zusammenfasst.

Mit diesen Grundobjekten lassen sich dann Mengen, Funktionen, Definitionen, Sätze, Modelle und Theorien in einer gemeinsamen Form kodieren. Read more…