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. |