Possibly not, according to [0], which links to [1], presented by a student of Church. 0: https://math.stackexchange.com/questions/64468/why-is-lambda-calculus-

Possibly not, according to [0], which links to [1], presented by a student of Church. 0: https://math.stackexchange.com/questions/64468/why-is-lambda-calculus-named-after-that-specific-greek-letter-why-not-rho-calc#comment4307833_64472 https://math.stackexchange.com/questions/64468/why-is-lambda... 1: https://www.youtube.com/watch?v=juXwu0Nqc3I https://www.youtube.com/watch?v=juXwu0Nqc3I