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:
“It is by a mathematical point only that we are wise, as the sailor or the fugitive slave keeps the polestar in his eye; but that is sufficient guidance for all our life. We may not arrive at our port within a calculable period, but we would preserve the true course.”
—Henry David Thoreau (18171862)