4 ms·
But wait, who ever first coined the term 'lambda calculus' ? was it before or after McCarthy started lisp ?
by agumonkey 2y ago
But wait, who ever first coined the term 'lambda calculus' ? was it before or after McCarthy started lisp ?
- seanhunter 2y agoWell before. The original paper[1] introducing the lambda calculus was in the 1930s, but it wasn't called "lambda calculus" until a bit later. [1] https://raw.githubusercontent.com/emintham/Papers/master/Church-%20A%20Set%20of%20Postulates%20for%20the%20Foundation%20of%20Logic.pdf https://raw.githubusercontent.com/emintham/Papers/master/Chu...
- agumonkey 2y agoYeah indeed no trace of the term 'lambda'. But this https://www.classes.cs.uchicago.edu/archive/2007/spring/32001-1/papers/church-1940.pdf https://www.classes.cs.uchicago.edu/archive/2007/spring/3200... mentions "THE CALCULI OF LAMBDA-CONVERSION" linked here https://compcalc.github.io/public/church/church_calculi_1941.pdf#page=9 https://compcalc.github.io/public/church/church_calculi_1941...