Imre Lakatos (1922–1974), in Debrecen als Imre Lipsitz geboren, hat die Mathematik für fehlbar erklärt: Sätze wachsen durch Beweise und Widerlegungen, nicht durch ewige Axiome. Beweise und Widerlegungen erschien 1976 aus dem Nachlass; der Dialog über Eulers Polyederformel ist die Probe.
Leben
Jüdische Familie, Mathematik, Physik, Philosophie; 1944 die deutsche Besetzung, der Name Molnár, dann Lakatos. Mutter und Großmutter wurden in Auschwitz ermordet. Nach dem Krieg hoher Beamter im Bildungsministerium, linientreuer Stalinist der Kultur, 1950 bis 1953 Haft als Revisionist. Der Umweg ist 1956: Flucht nach der sowjetischen Invasion, Cambridge, die Dissertation über die Logik mathematischer Entdeckung, dann die London School of Economics neben Karl Popper. Britische Staatsbürgerschaft erhielt er nicht. 1974 starb er in London an einem Herzversagen, einundfünfzigjährig.
Wirkung
Lakatos hat den Formalismus getroffen, der den Beweis für abgeschlossen hält, sobald die Formel steht. Im Klassenzimmerdialog erzeugen Gegenbeispiele – »Monster« – drei Auswege: man sperrt sie aus der Definition, man passt den Satz an, oder man nimmt den versteckten Hilfssatz in die Behauptung auf. Mathematik wird so quasiempirisch: vorläufig wahr, solange kein Gegenbeispiel da ist. In der Wissenschaftstheorie setzte er das Forschungsprogramm zwischen Poppers Falsifikation und Thomas Kuhns Umwälzung: ein harter Kern, den Hilfshypothesen schützen; fortschrittlich, wer neue Tatsachen vorhersagt, entartet, wer nur noch flickt.
Die Schüler John Worrall und Elie Zahar gaben das Buch heraus; ein nach ihm benannter Preis der London School of Economics erinnert an ihn. Die Kritik blieb, dass der Schuldialog die Arbeit lebender Mathematiker nicht treffe und der harte Kern sich gegen Widerlegung immunisiere. Wer Lakatos nur als Vermittler von Popper und Kuhn liest, unterschlägt die mathematische Häresie. Wer nur die Monster sperrt, unterschlägt, dass er dieselben Regeln auf Newton und die Ökonomie legen wollte. Die Fehlbarkeit der Formalwissenschaften bleibt hinter diesem Band das Ärgernis und der Ertrag.
Werke
- Beweise und Widerlegungen (1976)
In Auswahl außerdem: Die Methodologie der wissenschaftlichen Forschungsprogramme, Mathematics, Science and Epistemology.
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 sind willkommen.