Statements (47)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory
|
| gptkbp:competesWith |
classical set theory
|
| gptkbp:developedBy |
gptkb:Georg_Cantor
|
| gptkbp:focusesOn |
infinity
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cantor's set theory
|
| gptkbp:includes |
gptkb:Cantor_set
cardinality transfinite numbers |
| gptkbp:introduced |
1874
|
| gptkbp:isAssociatedWith |
real numbers
cardinal numbers infinite sets rational numbers ordinal numbers |
| gptkbp:isAvenueFor |
computer science
logic philosophy of mathematics |
| gptkbp:isCriticizedFor |
gptkb:Ludwig_Wittgenstein
gptkb:David_Hilbert gptkb:Henri_Poincaré |
| gptkbp:isDiscussedIn |
textbooks
academic journals conferences mathematical literature |
| gptkbp:isExaminedBy |
mathematical foundations
mathematical logic philosophy of mathematics foundations of mathematics philosophical implications set-theoretic paradoxes |
| gptkbp:isInfluencedBy |
category theory
computability theory functional analysis mathematical philosophy set-theoretic topology |
| gptkbp:isRelatedTo |
gptkb:Zermelo-Fraenkel_set_theory
modern mathematics continuum hypothesis axiomatic set theory |
| gptkbp:isTaughtIn |
university courses
logic courses philosophy departments mathematics departments computer science departments |
| gptkbp:isUsedIn |
topology
measure theory real analysis |