Mathematik zwischen Strenge und Verständlichkeit.
Wir besprechen weiter David Ruelle’s Buch “Wie Mathematiker ticken”:
Auch im zweiten Kapitel geht es erstmal nur um Grundlagen, nämlich darum, was Mathematik ist, genauer: was Beweise sind. (Hatten wir hier schon mal diskutiert.)
Er beginnt mit einer offensichtlichen geometrischen Tatsache, dem Kongruenzsatz SWS (Dreiecke sind kongruent, wenn zwei Seiten und der eingeschlossene Winkel gleich sind):
den er in aller Ausführlichkeit erläutert.
Tatsächlich werden ihnen diese Überlegungen, sobald Sie verstanden haben, was genau gemeint ist, vermutlich furchtbar trivial und offensichtlich erscheinen.
[…]
Tatsächlich aber lassen sich aus ziemlich offensichtlichen Behauptungen wie dieser mit unfehlbarer Logik interessante Ergebnisse wie der Satz von Pythagoras ableiten:
Am linken Bild sieht man (durch Berechnen der Flächeninhalte): <br>(a+b)<sup>2</sup>=c<sup>2</sup>+4ab/2, woraus sich der Pythagoras direkt ergibt.
Der SWS steckt hier implizit im Beweis: man benutzt, daß die gelben Dreiecke alle denselben Flächeninhalt ab/2 haben. (<a href=”https://de.wikipedia.org/wiki/Hilberts_Axiomensystem_der_euklidischen_Geometrie”>Bei Hilbert</a> ist übrigens SWS tatsächlich ein Axiom. Klassisch bewies man SWS, indem man zeigte, daß sich ein Dreieck mit Zirkel und Lineal aus den 3 gegebenen Größen konstruieren läßt. Wirklich formal herleiten läßt sich das aus Euklids Axiomen aber nicht, deshalb <a href=”https://de.wikipedia.org/wiki/Hilberts_Axiomensystem_der_euklidischen_Geometrie”>Hilberts Axiomatisierung</a>.)
Es wird dann erklärt, was <strong>Axiome, Theoreme, Definitionen</strong> sind,
Gödels Unvollständigkeitssatz kommt kurz vor (später im Buch ausführlicher), es wird klargestellt, daß “Mathematik, wie Mathematiker sie betreiben” nicht nur das Anhäufen von logisch aus den Axiomen abgeleiteten Behauptungen, sondern die Suche nach <em>interessanten</em> Ergebnissen, die sich zu <strong>bedeutungsvollen und natürlichen Strukturen</strong> zusammenfügen, ist, und es wird schließlich diskutiert, daß Mathematiker <strong>im Prinzip auf eine natürliche Sprache verzichten</strong> können:
<blockquote>Warum nur im Prinzip und nicht tatsächlich? Weil eine formalisierte Mathematik so unhandlich und undurchsichtig wäre, daß sie in der Praxis vollkommen unbeherrschbar wäre.
[…]
Mathematische Texte stehen somit in einem ständigen Spannungsfeld:
<strong>Die Notwendigkeit der Strenge zwingt zu einem formalisierten Stil, gleichzeitig zwingt die Notwendigkeit, verständlich zu sein, zu einer informellen Erläuterung mit Hilfe der Ausdrucksmittel einer natürlichen Sprache</strong>.</blockquote>
Zwei Beispiele für die Spannbreite mathematischer Texte:
<blockquote> der <em>Cours d’arithmétique</em> von <a href=”https://de.wikipedia.org/wiki/Jean-Pierre_Serre”>Jean-Pierre Serre</a> und die Rezension “Differentiable dynamical systems” von <a href=”https://de.wikipedia.org/wiki/Smale”>Steve Smale</a>. In ihrem Stil sind diese beiden Texte sehr unterschiedlich – Serre drückt sich formaler aus, Smale dagegen weniger formal. Smale verwendet handgezeichnete Abbildungen, um seine mathematischen Konstruktionen zu erklären, was Serre vermeiden würde. Trotz der deutlichen stilistischen Unterschiede aber würden wohl die meisten Mathematiker Serres Buch und Smales Artikel als Meisterwerke der schriftlichen Arbeit bezeichnen.
Screenshot: Serre: “A course in arithmetic” vs. Smale: “Differentiable dynamical systems”
<br>
<br>
<br><a href=”https://www.scienceblogs.de/mathlog/2010/05/ruelle-wie-mathematiker-ticken.php”>Ruelle: Wie Mathematiker ticken</a>
<a href=”https://www.scienceblogs.de/mathlog/2010/05/ruelle-1-wissenschaftliches-denken.php”>1 Wissenschaftliches Denken</a>
<a href=”https://www.scienceblogs.de/mathlog/2010/05/ruelle-2-was-ist-mathematik.php”>2 Was ist Mathematik?</a>
3 Das Erlanger Programm
4 Mathematik und Ideologie
5 Die Einheitlichkeit der Mathematik
6 Ein kurzer Blick auf algebraische Geometrie und Arithmetik
7 Mit Alexander Grothendieck nach Nancy
8 Strukturen
9 Die Rechenmaschine und das Gehirn
10 Mathematische Texte
11 Ehrungen
12 Die Unendlichkeit: Nebelwand der Götter
13 Fundamente
14 Strukturen und die Entwicklung von Konzepten
15 Turings Apfel
16 Mathematische Erfindung: Psychologie und Ästhetik
17 Das Kreistheorem und ein unendlich-dimensionales Labyrinth
18 Fehler!
19 Das Lächeln der Mona Lisa
20 „Tinkering” und die Konstruktion mathematischer Theorien
21 Mathematische Erfindung
22 Mathematische Physik und emergentes Verhalten
23 Die Schönheit der Mathematik
Kommentare (1)