Hilbert's theorem on the foundations of geometry
GPTKB entity
Properties (70)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theorem
|
| gptkbp:addresses |
consistency of geometry
|
| gptkbp:aimsTo |
provide a solid foundation for geometry
|
| gptkbp:designedBy |
gptkb:David_Hilbert
|
| gptkbp:focusesOn |
axiomatic system
|
| gptkbp:hasInventor |
foundational studies
|
| https://www.w3.org/2000/01/rdf-schema#label |
Hilbert's theorem on the foundations of geometry
|
| gptkbp:includes |
gptkb:Hilbert's_axioms
|
| gptkbp:isActiveIn |
historical context
|
| gptkbp:isAssociatedWith |
formalism
|
| gptkbp:isCitedBy |
scholarly articles
textual analyses subsequent mathematical works |
| gptkbp:isCitedIn |
research articles
academic publications dissertations |
| gptkbp:isConnectedTo |
mathematical proofs
mathematical rigor |
| gptkbp:isConsidered |
a foundational text
a foundational principle a landmark achievement a critical work a major work in mathematics a pivotal contribution |
| gptkbp:isCriticizedFor |
intuitionists
|
| gptkbp:isDiscussedIn |
conferences
philosophy of mathematics mathematical journals mathematical seminars mathematical communities academic lectures academic forums |
| gptkbp:isExaminedBy |
philosophical discussions
historical analyses educational research critical reviews educational curricula |
| gptkbp:isExploredIn |
research projects
scholarly research graduate studies geometry textbooks |
| gptkbp:isInfluencedBy |
mathematical logic
theoretical mathematics mathematical philosophy the development of geometry geometry education geometry research non-Euclidean_geometry |
| gptkbp:isPartOf |
gptkb:Hilbert's_program
mathematical education mathematical literature academic literature mathematical theory academic discourse scholarly discussions mathematical history |
| gptkbp:isReferencedIn |
textbooks
academic papers |
| gptkbp:isRelatedTo |
Euclidean geometry
set theory theoretical frameworks axiomatic set theory mathematical frameworks philosophical implications logical foundations axiomatic geometry |
| gptkbp:isTaughtIn |
university courses
|
| gptkbp:isUsedIn |
computer science
|
| gptkbp:publishedIn |
Foundations_of_Geometry
|
| gptkbp:yearEstablished |
1899
|