User: De onde vem a lambda no cálculo da lambda?
Assistant: O cálculo lambda é um sistema matemático formal que foi criado na década de 1930. É usado para descrever funções e suas relações. O lambda é uma notação especial que é usada para representar funções. O lambda não é o mesmo que a letra grega lambda.