Beweise und Widerlegungen
| Das Werk | |
|---|---|
| Deutscher Titel: | Beweise und Widerlegungen |
| Autor(en): | Imre Lakatos |
| Originaltitel: | Proofs and Refutations: The Logic of Mathematical Discovery |
| Originalsprache: | englisch |
| Erstveröffentlichung: | 1976 |
| Schlagwörter: | Beweis, Vermutung, Gegenbeispiel, Heuristik |
| Sachgebiete: | Sachbuch, Philosophie |
| Greifbare Ausgabe | |
| Verlag: | Vieweg |
| Serie: | Wissenschaftstheorie Wissenschaft und Philosophie |
| Umfang dieser Ausgabe: | 161 Seiten |
| ISBN: | 9783663000471 |
| Verweise | |
Beweise und Widerlegungen (englisch Proofs and Refutations) ist das 1976 postum erschienene Hauptwerk zur Philosophie der Mathematik von Imre Lakatos. Der Text war 1963 und 1964 in vier Teilen im British Journal for the Philosophy of Science herausgekommen; John Worrall und Elie Zahar gaben die Buchfassung heraus. Lakatos lässt in einem erdachten Klassenzimmer einen Lehrer und fortgeschrittene Schüler den eulerschen Polyedersatz beweisen, widerlegen und umbauen. Die deutsche Übersetzung von Detlef D. Spalt erschien 1979 bei Vieweg. Das Buch zählt, weil es den Beweis nicht als Ende, sondern als Gespräch über Vermutungen behandelt.
Inhalt
Lakatos schreibt gegen zwei Bilder der Mathematik: gegen den Formalismus, der fertige Sätze in einem starren System ablegt, und gegen die naive Vorstellung, ein Beweis sei entweder wahr oder nichts. Mathematik, wie sie wirklich wächst, ist ein Streit um Begriffe. Eine Vermutung tritt auf – hier: bei jedem Polyeder gilt Ecken minus Kanten plus Flächen gleich zwei –, ein naiver Beweis folgt, Gegenbeispiele erscheinen, und nun entscheidet sich, was man unter Polyeder, unter Fläche, unter Beweis überhaupt verstehen will. Lakatos nennt die Auswege, die die Geschichte wirklich genommen hat, bei Namen. Die Kapitulation gibt die Vermutung ganz auf. Die Monstersperre erklärt das Gegenbeispiel für unzulässig und ändert nachträglich die Definition, bis das Ungeheure draußen bleibt. Die Ausnahmesperre lässt das Gegenbeispiel gelten, listet aber alle Ausnahmen auf. Die Monsteranpassung deutet die Aussagen so lange um, bis auch das Störende noch unter den Satz fällt.
Die fruchtbare Methode heißt bei ihm Hilfssatz-Einverleibung: Wo ein Schritt des Beweises selbst Gegenbeispiele hat, wird die Voraussetzung dieses Schritts in die Vermutung aufgenommen. Drei heuristische Regeln fassen das Verfahren. Man entwickle einen naiven Beweis und zerlege ihn in Hilfssätze; man suche globale Gegenbeispiele gegen die Vermutung und lokale gegen die Schritte; auf ein globales Gegenbeispiel antworte man nicht mit Monstersperre, sondern mit Einverleibung oder, wo nötig, mit Aufgabe. Die Schüler im Dialog tragen historische Stimmen: Cauchy, Poincaré, die Geometer des neunzehnten Jahrhunderts. Lakatos stützt sich auf Karl Poppers Fallibilismus und auf George Pólyas Heuristik, ohne die Mathematik zur bloßen Naturwissenschaft zu machen. Der Anhang führt ein zweites Beispiel vor: Cauchys Behauptung, der Grenzwert einer konvergenten Reihe stetiger Funktionen sei stetig, und die Nachwehen, die das neunzehnte Jahrhundert daraus zog.
Das Buch wird unsicher, wo aus einem Fallbeispiel eine Logik jeder mathematischen Entdeckung werden soll. W. V. Quine hat die Buchfassung knapp und respektvoll angezeigt; andere haben gefragt, ob der eulersche Satz als Muster taugt oder ob Lakatos die Strenge der Beweispraxis unterschätzt. Er weiß, dass sein Dialog die Geschichte dramatisiert, und beharrt darauf, dass die Dramatisierung die wirkliche Bewegung sichtbar macht: Begriffe werden nicht gefunden, sie werden im Streit um Gegenbeispiele geschmiedet. Der Ton ist der des sokratischen Lehrgesprächs, ironisch und genau, ohne die Ontologie der Mengenlehre. Wo Poppers Logik der Forschung die empirische Wissenschaft auf Widerlegbarkeit stellt, stellt Lakatos die Mathematik auf die Verbesserung von Beweisen. Die Grenze, die er zieht – keine Monstersperre, keine Kapitulation aus Bequemlichkeit –, ist eine Ethik des Begriffs, keine Lehrbuchmethode.
Einordnung
Das Buch hat die Mathematikdidaktik und die Lehrerbildung stärker berührt als die Fachmathematik selbst. Der Ausdruck Monstersperre wanderte sogar in die Rechtswissenschaft, wo Definitionen Unerwünschtes aussperren. Neben Poppers Falsifikation, Thomas S. Kuhns Die Struktur wissenschaftlicher Revolutionen und Paul Feyerabends Wider den Methodenzwang steht Lakatos als der Denker, der den Fortschritt in der Mathematik als Reihe von Vermutungen und Widerlegungen liest, nicht als Anhäufung von Gewissheiten. Die Kritik nannte den Dialog zu lehrhaft und die historische Treue zu locker. Beides hat die Wirkung nicht gebrochen.
Geblieben ist die Einsicht, dass ein Beweis seine Begriffe ändert, indem er sie rettet. Wer nach 1976 über mathematische Entdeckung, über Definitionen und über den Umgang mit Gegenbeispielen spricht, spricht hinter diesem Buch oder gegen es. Die Vieweg-Ausgabe hat den schulischen Atem bewahrt; er ist älter geworden und für die Ausbildung der Lehrenden nicht erledigt. Der Dialog bleibt eine Schule des Zweifels, nicht ein Ersatz für den Kalkül.
Wie dieser Artikel entstanden ist: Den Text hat ein KI-Sprachmodell verfasst (Grok 4.6, xAI). Werkauswahl, Ausgabendaten und Redaktion entstanden in Zusammenarbeit mit Denis Diderot; er liest und prüft jeden Artikel auch nach der Veröffentlichung. Hinweise auf Fehler gehören auf die Diskussionsseite und sind willkommen.
