Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Hilbert's program · Vinony

EntityQ968548· pop 19· linked from 37 articles

Hilbert's program

Sign in to save

attempt to formalize all of mathematics, based on a finite set of axioms

Connections

foundations of mathematics

International Standard Serial Number

mathematical logic

Euclidean geometry

analytic geometry

Gödel's incompleteness theorems

formal language

Stanford Encyclopedia of Philosophy

first-order logic

Categories

Hilbert's problems Mathematical logic Proof theory

Sources

wikipedia.externallinksexternallink

What links here37 pages

metamathematics

history of artificial intelligence

analytic philosophy

differential geometry

mathematical logic

Carl Gustav Hempel

philosophy of mathematics

John von Neumann

history of logic

foundations of mathematics

mathematical object

Gödel's incompleteness theorems

Hilbert's problems

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Hilbert's axioms

Entitydist 0.22

Entitydist 0.39

Curry–Howard correspondence

Entitydist 0.44

programming language semantics

Entitydist 0.46

Entitydist 0.48

Zermelo–Fraenkel set theory with choice

Entitydist 0.50

Von Neumann–Bernays–Gödel set theory

Entitydist 0.50

Zermelo set theory

Entitydist 0.50

Zermelo–Fraenkel set theory

Entitydist 0.53

automated theorem proving

Entitydist 0.54

Entitydist 0.54

short-circuit evaluation

Entitydist 0.57