Kann Mathematik ohne Intelligenz entstehen?
Ein Prüftext über Strukturen, Beobachter und die Grenze zwischen Entdeckung und Hervorbringung.
Eine mathematische Struktur kann gelten, ohne dass jemand sie betrachtet. Doch kann sie auch als Mathematik existieren, wenn es nirgends eine Intelligenz gibt, die Unterschiede erkennt, Beziehungen benennt und Folgerungen zieht?
Die Frage klingt zunächst metaphysisch. Für die Beschäftigung mit künstlicher Intelligenz ist sie erstaunlich praktisch: Sie zwingt uns zu unterscheiden zwischen einem Muster in der Welt, einer formalen Beschreibung dieses Musters und dem Verstehen der Beschreibung.
Struktur ist noch keine Bedeutung
Nehmen wir eine Folge, deren nächste Zahl durch eine einfache Regel bestimmt wird:
Die Regel lässt sich ausführen, ohne dass das ausführende System ihr eine Bedeutung zuschreibt. Ein Kalkül erzeugt korrekte Schritte; die Frage, warum diese Schritte interessant sind, entsteht erst in einem größeren Zusammenhang.
Arbeitsmodell: Mathematik erscheint dort, wo Struktur erkannt, unterschieden und gedeutet wird. Die Grafik ist Testmaterial.
Entdecken oder hervorbringen?
Wer Mathematik als Entdeckung versteht, nimmt an, dass mathematische Wahrheiten unabhängig von denkenden Wesen bestehen. Wer sie stärker als menschliche Praxis begreift, verweist auf Begriffe, Notationen, Beweise und historische Konventionen.1
Vielleicht finden wir Strukturen vor – und bringen zugleich die Formen hervor, in denen sie für uns zu Mathematik werden.
Damit verschiebt sich auch die Frage nach maschineller Intelligenz. Entscheidend wäre nicht nur, ob ein System neue Vermutungen produziert, sondern ob es Relevanz unterscheiden, Gründe geben und seine Begriffe in neue Zusammenhänge tragen kann.
Was hieße hier „verstehen“? Diese Frage führt weiter zum Themenbereich Intelligenz & KI.
Eine vorläufige Antwort
Strukturen können vermutlich ohne Intelligenz bestehen. Mathematik im vollen Sinn – als gegliederte, begründete und mit Bedeutung versehene Praxis – scheint dagegen mindestens einen möglichen Beobachter vorauszusetzen. Das ist keine abschließende These, sondern ein Ausgangspunkt für weitere Texte.
Literatur
Shapiro, Stewart (2000): Thinking about Mathematics. The Philosophy of Mathematics. Oxford University Press.
Footnotes
-
Der Gegensatz ist hier bewusst vereinfacht. Als Einstieg eignet sich Stewart Shapiros Überblick zur Philosophie der Mathematik. ↩