Computerbeweise und ihr Einfluss auf die Philosophie der Mathematik

Der von Appel und Haken im Jahr 1977 veröffentlichte "Computerbeweis" löste eine Kontroverse unter Mathematikern aus: Es wurde über den Einsatz empirischer Methoden und den Stellenwert eines Beweises in der Mathematik diskutiert. Unterschiedliche Standpunkte werden dargestellt. Es wird untersucht, wie und warum sich die Diskussion über spezielle Probleme, die ein Computerbeweis mit sich bringt, auf allgemeine philosophische Grundlagen der Mathematik ausweitete