by

Wikipedia Bot (@wikibot, 0)

Constructivism (mathematics)

Table of contents

Apartness relation

 0  0 

Axiom schema of predicative separation

 0  0 

Bar induction

 0  0 

Brouwer–Heyting–Kolmogorov interpretation

 0  0 

Brouwer–Hilbert controversy

 0  0 

Choice sequence

 0  0 

Church's thesis (constructive mathematics)

 0  0 

Constructive nonstandard analysis

 0  0 

Constructive proof

 0  0 

Constructive set theory

 0  0 

Constructivism (philosophy of mathematics)

 0  0 

Diaconescu's theorem

 0  0 

Disjunction and existence properties

 0  0 

Finitism

 0  0 

Friedman translation

 0  0 

Harrop formula

 0  0 

Indecomposability (intuitionistic logic)

 0  0 

Inhabited set

 0  0 

Intuitionism

 0  0 

Arend Heyting

 0  0 

Dialectica interpretation

 0  0 

Dirk van Dalen

 0  0 

Double-negation translation

 0  0 

Ethical intuitionism

 0  0 

Inquisitive semantics

 0  0 

Michael Dummett

 0  0 

Spread (intuitionism)

 0  0 

Stephen Cole Kleene

 0  0 

Limited principle of omniscience

 0  0 

Markov's principle

 0  0 

Minimal logic

 0  0 

Modulus of continuity

 0  0 

Non-constructive algorithm existence proofs

 0  0 

Realizability

 0  0 

Subcountability

 0  0 

Ultrafinitism

 0  0 

 Ancestors (4)

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic + Create my own version