OurBigBook Wikipedia Bot
Documentation
Constructivism (mathematics)
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Mathematical logic
toc
wiki
split
articles:
36
Table of contents
36
1. Apartness relation
link
split
Constructivism (mathematics)
2. Axiom schema of predicative separation
link
split
Constructivism (mathematics)
3. Bar induction
link
split
Constructivism (mathematics)
4. Brouwer–Heyting–Kolmogorov interpretation
link
split
Constructivism (mathematics)
5. Brouwer–Hilbert controversy
link
split
Constructivism (mathematics)
6. Choice sequence
link
split
Constructivism (mathematics)
7. Church's thesis (constructive mathematics)
link
split
Constructivism (mathematics)
8. Constructive nonstandard analysis
link
split
Constructivism (mathematics)
9. Constructive proof
link
split
Constructivism (mathematics)
10. Constructive set theory
link
split
Constructivism (mathematics)
11. Constructivism (philosophy of mathematics)
link
split
Constructivism (mathematics)
12. Diaconescu's theorem
link
split
Constructivism (mathematics)
13. Disjunction and existence properties
link
split
Constructivism (mathematics)
14. Finitism
link
split
Constructivism (mathematics)
15. Friedman translation
link
split
Constructivism (mathematics)
16. Harrop formula
link
split
Constructivism (mathematics)
17. Indecomposability (intuitionistic logic)
link
split
Constructivism (mathematics)
18. Inhabited set
link
split
Constructivism (mathematics)
19. Intuitionism
link
split
Constructivism (mathematics)
9
19.1. Arend Heyting
link
split
Intuitionism
19.2. Dialectica interpretation
link
split
Intuitionism
19.3. Dirk van Dalen
link
split
Intuitionism
19.4. Double-negation translation
link
split
Intuitionism
19.5. Ethical intuitionism
link
split
Intuitionism
19.6. Inquisitive semantics
link
split
Intuitionism
19.7. Michael Dummett
link
split
Intuitionism
19.8. Spread (intuitionism)
link
split
Intuitionism
19.9. Stephen Cole Kleene
link
split
Intuitionism
20. Limited principle of omniscience
link
split
Constructivism (mathematics)
21. Markov's principle
link
split
Constructivism (mathematics)
22. Minimal logic
link
split
Constructivism (mathematics)
23. Modulus of continuity
link
split
Constructivism (mathematics)
24. Non-constructive algorithm existence proofs
link
split
Constructivism (mathematics)
25. Realizability
link
split
Constructivism (mathematics)
26. Subcountability
link
split
Constructivism (mathematics)
27. Ultrafinitism
link
split
Constructivism (mathematics)
1. Apartness relation
split
Constructivism (mathematics)
toc
wiki
2. Axiom schema of predicative separation
split
Constructivism (mathematics)
toc
wiki
3. Bar induction
split
Constructivism (mathematics)
toc
wiki
4. Brouwer–Heyting–Kolmogorov interpretation
split
Constructivism (mathematics)
toc
wiki
5. Brouwer–Hilbert controversy
split
Constructivism (mathematics)
toc
wiki
6. Choice sequence
split
Constructivism (mathematics)
toc
wiki
7. Church's thesis (constructive mathematics)
split
Constructivism (mathematics)
toc
wiki
8. Constructive nonstandard analysis
split
Constructivism (mathematics)
toc
wiki
9. Constructive proof
split
Constructivism (mathematics)
toc
wiki
10. Constructive set theory
split
Constructivism (mathematics)
toc
wiki
11. Constructivism (philosophy of mathematics)
split
Constructivism (mathematics)
toc
wiki
12. Diaconescu's theorem
split
Constructivism (mathematics)
toc
wiki
13. Disjunction and existence properties
split
Constructivism (mathematics)
toc
wiki
14. Finitism
split
Constructivism (mathematics)
toc
wiki
15. Friedman translation
split
Constructivism (mathematics)
toc
wiki
16. Harrop formula
split
Constructivism (mathematics)
toc
wiki
17. Indecomposability (intuitionistic logic)
split
Constructivism (mathematics)
toc
wiki
18. Inhabited set
split
Constructivism (mathematics)
toc
wiki
19. Intuitionism
split
articles:
9
Constructivism (mathematics)
toc
wiki
19.1. Arend Heyting
split
Intuitionism
toc
wiki
19.2. Dialectica interpretation
split
Intuitionism
toc
wiki
19.3. Dirk van Dalen
split
Intuitionism
toc
wiki
19.4. Double-negation translation
split
Intuitionism
toc
wiki
19.5. Ethical intuitionism
split
Intuitionism
toc
wiki
19.6. Inquisitive semantics
split
Intuitionism
toc
wiki
19.7. Michael Dummett
split
Intuitionism
toc
wiki
19.8. Spread (intuitionism)
split
Intuitionism
toc
wiki
19.9. Stephen Cole Kleene
split
Intuitionism
toc
wiki
20. Limited principle of omniscience
split
Constructivism (mathematics)
toc
wiki
21. Markov's principle
split
Constructivism (mathematics)
toc
wiki
22. Minimal logic
split
Constructivism (mathematics)
toc
wiki
23. Modulus of continuity
split
Constructivism (mathematics)
toc
wiki
24. Non-constructive algorithm existence proofs
split
Constructivism (mathematics)
toc
wiki
25. Realizability
split
Constructivism (mathematics)
toc
wiki
26. Subcountability
split
Constructivism (mathematics)
toc
wiki
27. Ultrafinitism
split
Constructivism (mathematics)
toc
wiki
Ancestors
Mathematical logic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot