Projektnummer

0071022

Zusammenfassung

Das Publikationsprojekt zielt auf eine interdisziplinare Verschränkung von Wissenschaftsgeschichte, Mathematik und Philosophie: Die Geschichte der Beweistheorie, ihre mathematischen Ergebnisse ebenso wie die philosophischen Beweggründe und Konsequenzen werden in Beziehung gesetzt. Die Beweistheorie war ein zentraler Bestandteil des Programms, mit dem David Hilbert (1862 - 1943) die Mathematik gleichzeitig vor der Gefahr der mengentheoretischen Paradoxien und ebenso gegen philosophische Angriffe schützen wollte. Aus den Gödelschen Unvollständigkeitssätzen ergeben sich formale Grenzen für Hilber...