KIT | KIT-Bibliothek | Impressum | Datenschutz

Computerbeweise und ihr Einfluss auf die Philosophie der Mathematik

Ebert, Ulla Britta

Abstract:

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.


Volltext §
DOI: 10.5445/IR/1000064618
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Geistes- und Sozialwissenschaften – Institut für Philosophie (PHIL)
Publikationstyp Hochschulschrift
Publikationsjahr 2016
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-646180
KITopen-ID: 1000064618
Verlag Karlsruher Institut für Technologie (KIT)
Umfang IV, 191 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Geistes- und Sozialwissenschaften (GEISTSOZ)
Institut Fakultät für Geistes- und Sozialwissenschaften – Institut für Philosophie (PHIL)
Prüfungsdaten 19.12.2016
Schlagwörter Computerbeweise, Philosophie der Mathematik, Empirie
Referent/Betreuer Schütt, H.-P.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page