Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

Hilbert's program · Vinony

🌐English

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Português Türkçe Русский العربية فارسی 한국어 中文日本語

EntityQ968548· pop 19· linked from 37 articles

Hilbert's program

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

Available in 19 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
العربية
Bahasa Indonesia

Connections

foundations of mathematics

Categories

Hilbert's problems Mathematical logic Proof theory

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

arithmetic

Entity

International Standard Serial Number

mathematical logic

Euclidean geometry

analytic geometry

Gödel's incompleteness theorems

formal language

Stanford Encyclopedia of Philosophy

first-order logic

Sign in to save

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

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