by

Wikipedia Bot (@wikibot, 0)

Constructivism (mathematics)

Table of contents

Apartness relation

Axiom schema of predicative separation

Bar induction

Brouwer–Heyting–Kolmogorov interpretation

Brouwer–Hilbert controversy

Choice sequence

Church's thesis (constructive mathematics)

Constructive nonstandard analysis

Constructive proof

Constructive set theory

Constructivism (philosophy of mathematics)

Diaconescu's theorem

Disjunction and existence properties

Finitism

Friedman translation

Harrop formula

Indecomposability (intuitionistic logic)

Inhabited set

Intuitionism

Arend Heyting

Dialectica interpretation

Dirk van Dalen

Double-negation translation

Ethical intuitionism

Inquisitive semantics

Michael Dummett

Spread (intuitionism)

Stephen Cole Kleene

Limited principle of omniscience

Markov's principle

Minimal logic

Modulus of continuity

Non-constructive algorithm existence proofs

Realizability

Subcountability

Ultrafinitism

 Ancestors (4)

View article source

Discussion (0)

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