Wissenschaftliche Mathematik ist eine der wichtigsten Kulturleistungen des antiken Griechenland. Doch wann und wo genau hatte sie ihren Ursprung? Die Einschätzung der Antike, zwischen Thales und Euklid habe Platon eine maßgebliche Rolle gespielt, gilt als Fiktion. Diese Studie wirft einen neuen, modelltheoretischen Blick auf die Zeugnisse und erweist im Gegenteil, dass in der Tat Platon als Schöpfer von axiomatisch-deduktiver Mathematik gelten muss.
Grundlage der Analyse ist eine Neubewertung des Diagramms als zentralen Charakteristikums griechischer Mathematik aus modelltheoretischer Perspektive. Eine Untersuchung der Quadratverdopplung im Menon und zur Würfelverdopplung (Delisches Problem) zeigt, dass eine theoretische Mathematik erstmals für Platon bezeugt ist. Dass weiter auch nur Platon ein Motiv hatte, sie zu erfinden, ergibt sich aus der Explikation von Platons Theorie der mathematischen Modellierung anhand des Liniengleichnisses in Verbindung mit dem Nachweis, dass der Timaios als deren praktische Umsetzung fungiert.
Die Studie bietet wissenschaftshistorisch neue Einsichten zur Entstehung von Mathematik, philosophiehistorisch zu Platons Ontologie und Epistemologie und modelltheoretisch zu Theorie und Praxis von Modellierung.