Hilbert's program
Sign in to saveattempt to formalize all of mathematics, based on a finite set of axioms
In the Vinony graph
Within Vinony's link graph, Hilbert's program is referenced by 37 other articles, and connects out to foundations of mathematics, mathematics and arithmetic.
Vinony files it under Hilbert's problems, Mathematical logic and Proof theory.
Its subject is documented across 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
Connections
foundations of mathematics
Entity
mathematics
Entity
arithmetic
Entity
David Hilbert
Entity
axiom
Entity
Germans
Entity
Kurt Gödel
Entity
International Standard Serial Number
Entity
mathematical logic
Entity
Euclidean geometry
Entity
analytic geometry
Entity
OCLC, Inc.
Entity
Gödel's incompleteness theorems
Entity
formal language
Entity
Alfred Tarski
Entity
real analysis
Entity
ordinal number
Entity
Stanford Encyclopedia of Philosophy
Entity
first-order logic
Entity
Peano axioms
Entity