Here is a list of articles in the category Constructivism (mathematics) of the Computing portal that unifies foundations of mathematics and computations using computers.
This category has only the following subcategory.
- ► Computable analysis (8 P)
Pages in category "Constructivism (mathematics)"
The following 41 pages are in this category, out of 41 total.
- Constructivism (philosophy of mathematics) (philosophy)
- Constructive analysis (computing)
- Limited principle of omniscience (computing)
- Non-constructive algorithm existence proofs (computing)
- Realizability (computing)
- Subcountability (computing)
- Ultrafinitism (computing)