Original: The portion of lambda calculus relevant to computation is now called the untyped lambda calculus.
Simplified: Lambda calculus can be used to define what a computable function is. No general algorithm can answer the question of if two lambda calculus expressions are equivalent.