Comment by agumonkey
But wait, who ever first coined the term 'lambda calculus' ? was it before or after McCarthy started lisp ?
But wait, who ever first coined the term 'lambda calculus' ? was it before or after McCarthy started lisp ?
Yeah indeed no trace of the term 'lambda'.
But this 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...
Well 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/Chu...