About: Mathematical constructivism

Property	Value
rdf:type	skos:Concept
rdfs:label	Mathematical constructivism
skos:broader	dbpedia:Category:Constructivism dbpedia:Category:Philosophy_of_mathematics
skos:prefLabel	Mathematical constructivism
is skos:subject of	dbpedia:Heyting_algebra dbpedia:Ultrafinitism dbpedia:Axiom_schema_of_predicative_separation dbpedia:Bar_induction dbpedia:Computable_analysis dbpedia:Disjunction_and_existence_properties dbpedia:Intuitionism dbpedia:Brouwer–Hilbert_controversy dbpedia:Constructive_proof dbpedia:Constructive_set_theory dbpedia:Constructivist_analysis dbpedia:Diaconescu's_theorem dbpedia:Harrop_formula dbpedia:Constructivism_(mathematics) dbpedia:Modulus_of_continuity dbpedia:Brouwer–Heyting–Kolmogorov_interpretation dbpedia:Criticism_of_non-standard_analysis dbpedia:Choice_sequence dbpedia:Church's_thesis_(constructive_mathematics) dbpedia:Friedman_translation dbpedia:Heyting_arithmetic dbpedia:Markov's_principle dbpedia:Modulus_of_convergence dbpedia:Intuitionistic_logic dbpedia:Finitism dbpedia:Indecomposability dbpedia:Apartness_relation dbpedia:Inhabited_set dbpedia:Intuitionistic_type_theory dbpedia:Pseudo-order dbpedia:Subcountability dbpedia:Primitive_recursive_arithmetic dbpedia:Realizability