Disco - Hyperdata Browser
(
About
)
Mathematical constructivism
URI:
Property
Value
Sources
type
http://www.w3.org/2004/02/skos/core#Concept
G1
label
Mathematical constructivism
G1
broader
Constructivism
G1
G3
broader
Philosophy of mathematics
G1
G4
retrievalTimestamp
1265819430468
G2
sourceURL
Mathematical constructivism
G2
is
subject
of
http://dbpedia.org/resource/Apartness_relation
G1
is
subject
of
http://dbpedia.org/resource/Axiom_schema_of_predicative_separation
G1
is
subject
of
http://dbpedia.org/resource/Bar_induction
G1
is
subject
of
http://dbpedia.org/resource/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation
G1
is
subject
of
http://dbpedia.org/resource/Brouwer%E2%80%93Hilbert_controversy
G1
is
subject
of
http://dbpedia.org/resource/Choice_sequence
G1
is
subject
of
http://dbpedia.org/resource/Church%27s_thesis_%28constructive_mathematics%29
G1
is
subject
of
http://dbpedia.org/resource/Computable_analysis
G1
is
subject
of
http://dbpedia.org/resource/Constructive_proof
G1
is
subject
of
http://dbpedia.org/resource/Constructive_set_theory
G1
is
subject
of
http://dbpedia.org/resource/Constructivism_%28mathematics%29
G1
is
subject
of
http://dbpedia.org/resource/Constructivist_analysis
G1
is
subject
of
http://dbpedia.org/resource/Criticism_of_non-standard_analysis
G1
is
subject
of
http://dbpedia.org/resource/Diaconescu%27s_theorem
G1
is
subject
of
http://dbpedia.org/resource/Disjunction_and_existence_properties
G1
is
subject
of
http://dbpedia.org/resource/Finitism
G1
is
subject
of
http://dbpedia.org/resource/Friedman_translation
G1
is
subject
of
http://dbpedia.org/resource/Harrop_formula
G1
is
subject
of
http://dbpedia.org/resource/Heyting_algebra
G1
is
subject
of
http://dbpedia.org/resource/Heyting_arithmetic
G1
is
subject
of
http://dbpedia.org/resource/Indecomposability
G1
is
subject
of
http://dbpedia.org/resource/Inhabited_set
G1
is
subject
of
http://dbpedia.org/resource/Intuitionism
G1
is
subject
of
http://dbpedia.org/resource/Intuitionistic_logic
G1
is
subject
of
http://dbpedia.org/resource/Intuitionistic_type_theory
G1
is
subject
of
http://dbpedia.org/resource/Markov%27s_principle
G1
is
subject
of
http://dbpedia.org/resource/Modulus_of_continuity
G1
is
subject
of
http://dbpedia.org/resource/Modulus_of_convergence
G1
is
subject
of
http://dbpedia.org/resource/Primitive_recursive_arithmetic
G1
is
subject
of
http://dbpedia.org/resource/Pseudo-order
G1
is
subject
of
http://dbpedia.org/resource/Realizability
G1
is
subject
of
http://dbpedia.org/resource/Subcountability
G1
is
subject
of
http://dbpedia.org/resource/Ultrafinitism
G1
Sources
Displayed information originates from the following RDF graphs:
G1. http://dbpedia.org/resource/Category:Mathematical_constructivism
G2. http://localhost/provenanceInformation
G3. http://dbpedia.org/resource/Category:Constructivism
G4. http://dbpedia.org/resource/Category:Philosophy_of_mathematics
Session Cache
Display
all RDF graphs
that are currently in your session cache.
