In the Vinony graph
Vinony's link graph records 37 inbound references to 希尔伯特计划, and connects out to foundations of mathematics, mathematics and arithmetic.
It sits within the topics 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 · 中文
希爾伯特計劃是由德國數學家大衛‧希爾伯特在1920年代提出的一個數學計畫。它是一個關於公理系統相容性的嚴謹證明的一項計划。 這個計劃不應該和希爾伯特的二十三個問題混淆，不過這個計劃對數學的發展也有著重要的影響。 哥德爾不完備定理指出，希爾伯特計劃大多數目標無法實現。
Abstract from DBpedia / Wikipedia · CC BY-SA
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