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.

• Gauss's Formulas
• Gauss's Forward Formula
• Gauss's Harmonic Function Theorem
• Gauss's Hypergeometric Theorem
• Gauss's Inequality
• Gauss's Interpolation Formula
• Gauss's Lemma
• Gauss's Machin-Like Formula
• Gauss's Mean-Value Theorem
• Gauss's Polynomial Theorem
• Gauss's Reciprocity Theorem
• Gauss's Test
• Gauss's Theorem
• Gauss's Theorema Egregium
• Gauss's Transformation
• Gear Graph
• Gegenbauer Function
• Gegenbauer Polynomial
• Gelfond-Schneider Constant
• Gelfond-Schneider Theorem
• Gelfond's Theorem
• Genaille Rods
• Genera
• Generalized Cone
• Generalized Cylinder