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