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:
“What he loved so much in the plant morphological structure of the tree was that given a fixed mathematical basis, the final evolution was so incalculable.”
—D.H. (David Herbert)