Hilbertprogramm
Sign in to savevorgeschlagenes Forschungsprogramm
In the Vinony graph
Vinony's link graph records 37 inbound references to Hilbertprogramm, and connects out to foundations of mathematics, mathematics and arithmetic.
Vinony files it under Hilbert's problems, Mathematical logic and Proof theory.
Vinony links it to 19 Wikipedia language editions.
Wikidata facts
- Instance of
- theory
- Named after
- David Hilbert
Show 1 more fact
- different from
- Hilbert's problems
Sources (2)
via Wikidata · CC0
Article · Deutsch
Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 1920er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das Hilbertprogramm in seinem ursprünglichen Anspruch als undurchführbar erwiesen hat, trug es dennoch entscheidend dazu bei, die Grundlagen und Grenzen mathematischer Erkenntnis zu klären.
Abstract from DBpedia / Wikipedia · CC BY-SA