3 ms·
Why was lambda chosen as the abstraction character in the lambda calculus? Mathematicians just pick random letters and symbols for things.
by amw-zero 5y ago
Why was lambda chosen as the abstraction character in the lambda calculus? Mathematicians just pick random letters and symbols for things.
- yesenadam 5y agoOn the origin of the lambda symbol: https://en.wikipedia.org/wiki/Lambda_calculus#Origin_of_the_lambda_symbol https://en.wikipedia.org/wiki/Lambda_calculus#Origin_of_the_...