The term calculus generally refers to a system of calculation. I don't get why you're expecting lambda calculations to solve anything.