ProjektHilBew – "Die Hilbertsche Beweistheorie" Opus Magnum-Stipendium
Grunddaten
Akronym:
HilBew
Titel:
"Die Hilbertsche Beweistheorie" Opus Magnum-Stipendium
Laufzeit:
01.04.2025 bis 30.09.2026
Abstract / Kurz- beschreibung:
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 Hilberts
Ansatz. Für eine adäquate Bewertung der Beweistheorie sollen die spezifischen Änderungen in Hilberts
philosophischen Überzeugungen ebenso wie die Entwicklung der mathematischen Ergebnisse genau unter
die Lupe genommen werden. Basierend auf vorliegenden Forschungsergebnissen stellt die Publikation
Material zur Verfügung, das in den Auseinandersetzungen über die Hilbertsche Beweistheorie - sei es im
historischen Verständnis des Grundlagenstreits in der Philosophie der Mathematik, sei es in der Bedeutung
der Beweistheorie für die moderne Forschung - Argumente liefert.
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 Hilberts
Ansatz. Für eine adäquate Bewertung der Beweistheorie sollen die spezifischen Änderungen in Hilberts
philosophischen Überzeugungen ebenso wie die Entwicklung der mathematischen Ergebnisse genau unter
die Lupe genommen werden. Basierend auf vorliegenden Forschungsergebnissen stellt die Publikation
Material zur Verfügung, das in den Auseinandersetzungen über die Hilbertsche Beweistheorie - sei es im
historischen Verständnis des Grundlagenstreits in der Philosophie der Mathematik, sei es in der Bedeutung
der Beweistheorie für die moderne Forschung - Argumente liefert.
Beteiligte Mitarbeiter/innen
Leiter/innen
Carl Friedrich von Weizsäcker Zentrum
Forum Scientiarum, Zentrale fakultätsübergreifende Einrichtungen
Forum Scientiarum, Zentrale fakultätsübergreifende Einrichtungen
Lokale Einrichtungen
Carl Friedrich von Weizsäcker Zentrum
Forum Scientiarum
Zentrale fakultätsübergreifende Einrichtungen
Zentrale fakultätsübergreifende Einrichtungen
Geldgeber
Hannover, Niedersachsen, Deutschland