imported>Leher Brit: Beleg +

2026-03-02T22:18:55Z

Beleg +

Neue Seite

[[Datei:Aristotle Altemps Inv8575.jpg|mini|[[Aristoteles]], Begründer der [[Logik]]]]
Unter '''mathematischer Strenge''' (in etwas anderem Zusammenhang oft auch '''mathematischer Präzision''') wird eine klare [[Logik|logische Vorgehensweise]] innerhalb der [[Mathematik]] und anderer auf ihr basierender Wissenschaften verstanden. Sie umfasst zum einen die [[Axiomatisierung|axiomatische Vorgehensweise]] anhand scharfer [[Definition]]en und zum anderen zwingende [[Beweis (Mathematik)|Beweise]]. Weiter wird die Methode der systematischen [[Deduktion]] angestrebt. Als Konsequenz sind [[Mathematischer Satz|mathematische Sätze]] prinzipiell endgültige und allgemeingültige Wahrheiten, so dass die Mathematik als ''die'' [[exakte Wissenschaft]] betrachtet werden kann. Mathematische Strenge ist kein Selbstzweck, sondern notwendiges Mittel, um bleibenden Fortschritt in der Mathematik zu ermöglichen. Auch ist sie im griechischen Sinne eine gute ''Schule des Denkens''. In der Nachwirkung ergibt sich durch die mathematische Strenge auch eine Vereinfachung mathematischer Betrachtungen.<ref>{{Internetquelle |autor=Hans Freudenthal |url=https://www.uni-flensburg.de/fileadmin/content/institute/mathematik/lorenzen/mathematik-und-sprache/die-strenge.pdf |titel=Mathematik als pädagogische Aufgabe |hrsg=Klett Studienbücher Mathematik |abruf=2026-03-02}}</ref>

== Geschichte ==
[[Datei:EuclidStatueOxford.jpg|mini|Darstellung des Euklid, [[Oxford University Museum]]]]
[[Datei:Cauchy Augustin Louis dibner coll SIL14-C2-03a.jpg|mini|Augustin Louis Cauchy]]

[[Datei:Carl Friedrich Gauss.jpg|mini|Carl Friedrich Gauß]]
[[Datei:Karl Weierstrass 3a.jpg|mini|Karl Weierstraß]]
[[Datei:Hilbert.jpg|mini|David Hilbert (1912)]]
Bereits in der [[Griechische Mathematik|griechischen Mathematik]] finden sich insbesondere bei [[Euklid]] in seinen [[Euklids Elemente|Elementen]] (Ende 4. Jh. v. Chr.) erste Versuche mathematischer Strenge durch Axiomatisierung und systematische mathematische Deduktion. Es wurde in der [[Antike]] jedoch oft eine weniger strenge Behandlung der Mathematik als die euklidische vorgezogen. Auch war klar, dass sich das Prinzip der mathematischen Strenge nicht auf alle [[Wissenschaft]]en übertragen lässt. So schreibt [[Aristoteles]] „Mathematische Strenge ist nicht in allen Dingen zu fordern, wohl aber in den unmateriellen.“<ref>Aristoteles. Bibl. Didotiana, vol.10, Aristotelis Opera II. de Gruyter, Berlin 1970, S. 488</ref>
Nach einer längeren Periode der Stagnation begann erst im 17. Jahrhundert ein Aufschwung der mathematischen Wissenschaften mit der [[Analytische Geometrie|analytischen Geometrie]] und [[Infinitesimalrechnung]]. Das griechische Ideal der Axiomatik und systematischen Deduktion war jedoch den produktiven Mathematikern dieser Zeit hinderlich. Die Ergebnisse spielten eine größere Rolle als der Weg dorthin. Ein starkes intuitives Gefühl und eine fast blinde Überzeugung von der Kraft der neu erfundenen Methoden rechtfertigte zunächst dieses Vorgehen. Das Zeitalter der beginnenden [[Industrialisierung]] unterstützte diese Form noch weiter. Mit dieser Selbstsicherheit sagte noch 1810 [[Sylvestre Lacroix]]: „Solche Spitzfindigkeiten, mit denen sich die Griechen abquälten, brauchen wir heute nicht mehr.“<ref>{{Literatur |Autor=Harro Heuser |Titel=Lehrbuch der Analysis, Teil 2 |Auflage=13 |Datum=2013 |ISBN=9783663106371 |Seiten=689}}</ref>

Erst zu Beginn des 19. Jahrhunderts wurde die stark zunehmende Fortschrittsgläubigkeit durch eine neu erwachende Selbstkritik abgelöst. Es kam das Bedürfnis nach Sicherung der Ergebnisse und Klarheit. Unterstützt wurde dieser Prozess nach der [[Französische Revolution|französischen Revolution]] durch eine starke [[Popularisierung]] der Wissenschaften.

Die ''[[Disquisitiones Arithmeticae]]'' von [[Carl Friedrich Gauß]] gelten als eines der ersten mustergültigen Werke mathematischer Strenge. Es ist ganz im Stil von ''[[Satz (Mathematik)|Satz]] – [[Beweis (Mathematik)|Beweis]] – [[Korollar]]'' geschrieben, enthält keine [[Motivation]] der eingeschlagenen Beweisrichtungen und verbirgt sorgfältig die Art und Weise, wie Gauß zu seinen Entdeckungen kam. Der letzte Aspekt beruht jedoch teilweise auf dem Erfordernis mathematischer Strenge und nicht auf einer besonderen Eigenart von Gauß. Er hängt mit der weiter unten diskutierten Forderung nach absoluter „[[Redundanz (Informationstheorie)|Redundanzfreiheit]]“ zusammen.

Durch die Arbeiten von [[Augustin Louis Cauchy]] und [[Karl Weierstraß]] wurde insbesondere die [[Infinitesimalrechnung]] auf eine sichere und strenge Grundlage gestellt. Das 19. Jahrhundert war somit gekennzeichnet durch eine erfolgreiche Besinnung auf das klassische Ideal der [[Präzision]] und der Strenge der Beweisführung, wobei das Vorbild der griechischen Wissenschaft noch übertroffen wurde. Bereits vor Cauchy hat [[Bernard Bolzano]] 1817 mit der Arbeit ''Rein analytischer Beweis des Lehrsatzes, daß zwischen zwey Werthen, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege'' einen wichtigen Beitrag zur strengen Behandlung der [[Analysis]] geliefert.

== Zitate ==
Einer der Hauptverfechter mathematischer Strenge, verbunden mit enormer Vielseitigkeit, war [[David Hilbert]]. Er formulierte auf dem [[Internationaler Mathematikerkongress|Internationalen Mathematiker-Kongress]] 1900 in Paris:<ref name="Hilbert1900">David Hilbert: {{Webarchiv |url=http://www.mathematik.uni-bielefeld.de/~kersten/hilbert/rede.html |text=''Mathematische Probleme''. |wayback=20120119123345}} Vortrag, publiziert als: ''Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900'', Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse. Nr. 3, S. 253–297, 15. Problem: Strenge Begründung von Schuberts Abzählungskalkül</ref>
{{Zitat
|Text=Wir erörtern noch kurz, welche berechtigten allgemeinen Forderungen an die Lösung eines mathematischen Problems zu stellen sind: ich meine vor allem die, daß es gelingt, die Richtigkeit der Antwort durch eine endliche Anzahl von Schlüssen darzutun, und zwar auf Grund einer endlichen Anzahl von Voraussetzungen, welche in der Problemstellung liegen und die jedesmal genau zu formulieren sind. Diese Forderung der logischen Deduktion mittels einer endlichen Anzahl von Schlüssen ist nichts anderes als die Forderung der Strenge in der Beweisführung. In der Tat, die Forderung der Strenge, die in der Mathematik bekanntlich von sprichwörtlicher Bedeutung geworden ist, entspricht einem allgemeinen philosophischen Bedürfnis unseres Verstandes, und andererseits kommt durch ihre Erfüllung allein erst der gedankliche Inhalt und die Fruchtbarkeit des Problems zur vollen Geltung. Ein neues Problem, zumal, wenn es aus der äußeren Erscheinungswelt stammt, ist wie ein junges Reis, welches nur gedeiht und Früchte trägt, wenn es auf den alten Stamm, den sicheren Besitzstand unseres mathematischen Wissens, sorgfältig und nach den strengen Kunstregeln des Gärtners aufgepfropft wird.<br />
Zudem ist es ein Irrtum zu glauben, daß die Strenge in der Beweisführung die Feindin der Einfachheit wäre. An zahlreichen Beispielen finden wir im Gegenteil bestätigt, daß die strenge Methode auch zugleich die einfachere und leichter faßliche ist. Das Streben nach Strenge zwingt uns eben zur Auffindung einfacherer Schlußweisen; auch bahnt es uns häufig den Weg zu Methoden, die entwicklungsfähiger sind als die alten Methoden von geringerer Strenge.}}

[[Alexander Danilowitsch Alexandrow]] sagte:
{{Zitat
|Text=Moralisch lehrt uns die Mathematik, sich streng gegenüber dem zu verhalten, was als
Wahrheit behauptet wird, was als Argument hervorgebracht wird oder was als Beweis angeführt
wird. Die Mathematik fordert Klarheit der Begriffe und Behauptungen und duldet keinen Nebel
und keine unbeweisbaren Erklärungen.}}

== Redundanzfreiheit ==

Die oben angedeuteten persönlichen Eigenschaften von Carl Friedrich Gauß wurden von den Mathematikern quasi „[[Internalisierung (Sozialwissenschaften)|internalisiert]]“, und zwar durch das implizit oder explizit geforderte Prinzip der [[Redundanz (Kommunikationstheorie)|Redundanzfreiheit]]: Alle überflüssigen Aussagen sollen eliminiert werden und das Verständnis des Gesagten wird dem Leser überlassen (sachliche Richtigkeit und Wichtigkeit vorausgesetzt). In einer typischen mathematischen Arbeit sind daher außer Satzaussagen, Voraussetzungen sowie der Durchführung von Beweisschritten bestenfalls noch begründende Aussagen der folgenden Art erwünscht: „Dieses Resultat ist deshalb wichtig, weil …“, sodass die einzelnen Aussagen zumindest in die richtigen Zusammenhänge gebracht werden. Dieses Prinzip der „Redundanzfreiheit“ ist für die Realisierung ''mathematischer Strenge'' nützlich bzw. notwendig und verbietet persönlich gefärbte Zusätze als „überflüssig und u. U. sogar schädlich für die Sache“, ist aber gleichzeitig eines der größten Hindernisse für die Verständlichkeit vieler mathematischer Aussagen, bzw. allgemein ein Hauptgrund für die oft beklagte Unverständlichkeit des „mathematischen Stils“ mit seinen [[Hilfssatz|Lemmata]], [[Theorem]]en und [[Korollar]]en samt der Undurchschaubarkeit vieler dazugehöriger [[Beweis (Mathematik)|Beweise]].

== Die Bourbakisten ==
Besonders ausgeprägt, und zunehmend abstrakter, wurde der „mathematische Stil“ in den unter dem Pseudonym [[Nicolas Bourbaki]] veröffentlichten Arbeiten, umfangreichen Handbüchern, einer Gruppe hervorragender französischer Mathematiker, die von 1934 ab eine Gesamtdarstellung der Mathematik anstrebten. Nach jahrzehntelang dominierendem Einfluss dieses Autorenkollektivs ist aber gegenwärtig die Tendenz zunehmender Strenge und Abstraktion anscheinend eher leicht rückläufig.

== Siehe auch ==
* [[Intuitionismus (Logik und Mathematik)]]
* [[Formalismus (Mathematik)]]

== Literatur ==
* {{Literatur
|Autor=[[Günther Eisenreich]], Ralf Sube
|Titel=Langenscheidts Fachwörterbuch Mathematik: englisch, deutsch, französisch, russisch
|Auflage=4.
|Verlag=Langenscheidt
|Ort=Berlin
|Datum=1996
|ISBN=3-86117-074-4}} Auf S. 499 (M 171) [GN general] ist ausgewiesen: mathematical rigor, mathematische Strenge, riguer mathématique; S. 726 (R 1305) [GN general] rigorous proof, strenger Beweis, démonstration rigoureuse
* {{Literatur
|Autor=[[Richard Courant]], Herbert Robbins
|Titel=Was ist Mathematik?
|Verlag=Springer-Verlag
|Ort=Berlin / Heidelberg
|Datum=2000
|ISBN=3-540-63777-X}}
* {{Literatur
|Hrsg=[[Hans Niels Jahnke]]
|Titel=Geschichte der Analysis
|Verlag=Spektrum Akademischer Verlag
|Ort=Berlin
|Datum=1999}}
* {{Literatur
|Autor=[[Oskar Becker (Philosoph)|Oskar Becker]]
|Titel=Grösse und Grenze der Mathematischen Denkweise
|Verlag=Verlag Karl Alber
|Ort=Freiburg/München
|Datum=1959
|Kapitel=Kritische Begründung der Analysis
|Seiten=108–111
|Kommentar=Studium Universale}}
* {{Literatur
|Autor=[[Harro Heuser]]
|Titel=Lehrbuch der Analysis
|Band=Teil 2
|Auflage=11.
|Verlag=Teubner
|Ort=Stuttgart
|Datum=2000
|ISBN=3-519-42234-4
|Kapitel=Kapitel 29: ''Ein historischer tour d’horizon'', Abschnitt: ''Die neue Strenge''
|Seiten=689–700}}
* {{Literatur
|Autor=[[Philip Davis (Mathematiker)|Philip Davis]], [[Reuben Hersh]]
|Titel=Erfahrung Mathematik. Mit einer Einleitung von [[Hans Freudenthal]]. Aus dem Amerikanischen von Jeannette Zehnder
|Auflage=2.
|Verlag=Birkhäuser
|Ort=Basel
|Datum=1996}}
* Tom Archibald: ''The Development of Mathematical Rigor in Analysis''. In [[Timothy Gowers]], [[June Barrow-Green]], Imre Leader(Hrsg.): ''The Princeton Companion to Mathematics''. Princeton University Press 2008, ISBN 978-0-691-11880-2, S. 117–129 ({{Google Buch|BuchID=Xn_ie19FTBUC|Seite=117|Linktext=eingeschränkte Online-Version|Land=US}})
* [[Israel Kleiner (Mathematiker)|Israel Kleiner]]: [http://www.personal.psu.edu/ecb5/Courses/M475W/WeeklyReadings/Week%2015/Supplementary/Rigor%20and%20Proof%20in%20Mathematics,%20by%20Israel%20Kleiner.pdf ''Rigor and Proof in Mathematics: A Historical Perspective''.] (PDF; 410 kB) In: ''Mathematics Magazine'', Vol. 64, No. 5 (Dec., 1991), S. 291–314
* [[Haskell Brooks Curry]]: [http://www.ams.org/journals/bull/1941-47-04/S0002-9904-1941-07414-8/S0002-9904-1941-07414-8.pdf ''Some aspects of the problem of mathematical rigor''.] (PDF; 2,3 MB) In: ''Bulletin of the [[American Mathematical Society]]'', 1941
* [[James Pierpont (Mathematiker)|James Pierpont]]: [http://www.ams.org/journals/bull/1928-34-01/S0002-9904-1928-04507-X/home.html ''Mathematical rigor, past and present''.] In: ''Bulletin of the [[American Mathematical Society]]'', 1928

== Weblinks ==
* {{MathWorld |id=Rigorous |title=Rigorous}}

== Einzelnachweise ==
<references />

[[Kategorie:Logik]]
[[Kategorie:Mathematik]]

[[en:Mathematical rigor#Mathematical rigour]]
[[fr:Rigueur mathématique]]

Mathematische Strenge - Versionsgeschichte

imported>Leher Brit: Beleg +