Computerbeweise und ihr Einfluss auf die Philosophie der Mathematik
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.
| 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. |