Lambda Calculus
Developed by Alonzo Church and Stephen Kleene to address the Computable Number problem. In the lambda calculus,
is defined as the Abstraction Operator. Three theorems of lambda calculus are -conversion,
-conversion, and 
-conversion.
References
Penrose, R. The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford, England: Oxford University Press, pp. 66-70, 1989.
- Alethic
- Alexander-Conway Polynomial
- Alexander Ideal
- Alexander Invariant
- Alexander Matrix
- Alexander Polynomial
- Alexander's Horned Sphere
- Alexander-Spanier Cohomology
- Alexander's Theorem
- Algebra
- Algebraic Closure
- Algebraic Coding Theory
- Algebraic Curve
- Algebraic Function
- Algebraic Function Field
- Algebraic Geometry
- Algebraic Integer
- Algebraic Invariant
- Algebraic Knot
- Algebraic Link
- Algebraic Number
- Algebraic Number Field
- Algebraic Surface
- Algebraic Tangle
- Algebraic Topology