Mathematical Constructivism
- Nonconstructive proof
- Existence theorem
- Intuitionistic logic
- Intuitionistic type theory
- Type theory
- Lambda calculus
- Church–Rosser theorem
- Simply typed lambda calculus
- Typed lambda calculus
- Curry–Howard isomorphism
- Calculus of constructions
- Constructivist analysis
- Lambda cube
- System F
- Introduction to topos theory
- LF (logical framework)
- Computability logic
- Computable measure theory
- Finitism
- Ultraintuitionism
- Luitzen Egbertus Jan Brouwer
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the word mathematical:
“The most distinct and beautiful statement of any truth must take at last the mathematical form.”
—Henry David Thoreau (18171862)