Properties (56)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
axiomatic system
|
| gptkbp:aimsTo |
provide a solid foundation for geometry
|
| gptkbp:composedOf |
axioms
|
| gptkbp:developedBy |
gptkb:David_Hilbert
|
| gptkbp:hasInventor |
foundations of mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's axiomatic system
|
| gptkbp:includes |
parallel postulate
betweenness axioms congruence axioms continuity axioms incidence axioms |
| gptkbp:isAssociatedWith |
gptkb:Hilbert's_program
formal proofs |
| gptkbp:isAvenueFor |
computer science
|
| gptkbp:isBasedOn |
Euclidean geometry
|
| gptkbp:isChallengedBy |
constructivism
|
| gptkbp:isCharacterizedBy |
axiomatic method
|
| gptkbp:isCitedIn |
textbooks
|
| gptkbp:isConsidered |
a milestone in mathematical logic
a foundational system a key development in mathematics a rigorous approach |
| gptkbp:isCriticizedFor |
lack of intuitive understanding
|
| gptkbp:isDiscussedIn |
academic conferences
mathematical journals mathematical philosophy |
| gptkbp:isEngagedIn |
philosophical literature
|
| gptkbp:isEvaluatedBy |
consistency proofs
|
| gptkbp:isExaminedBy |
gptkb:Gödel's_incompleteness_theorems
historical context philosophical debates historical mathematics |
| gptkbp:isExploredIn |
research studies
mathematical logic courses |
| gptkbp:isInfluencedBy |
mathematical education
logicism non-Euclidean_geometry |
| gptkbp:isInformedBy |
formal language
|
| gptkbp:isLinkedTo |
axiomatic set theory
|
| gptkbp:isPartOf |
mathematical foundations
mathematical logic axiomatic set theory |
| gptkbp:isRecognizedFor |
a formal system
|
| gptkbp:isReferencedIn |
academic papers
|
| gptkbp:isReflectedIn |
modern mathematics
Hilbert_space_theory |
| gptkbp:isRelatedTo |
set theory
formalism axiomatic systems in general |
| gptkbp:isStudiedIn |
philosophy of mathematics
|
| gptkbp:isUsedBy |
analyze mathematical structures
prove theorems |
| gptkbp:isUsedIn |
geometry
|
| gptkbp:isUtilizedIn |
proof theory
|
| gptkbp:isVisitedBy |
20th century
|
| gptkbp:publishedIn |
Foundations_of_Geometry
|