What do Algebra and Calculus mean?
Where are the numbers? derivatives? integrals? limits? If I understand it correctly, lambda calculus is all about symbols. There are no numbers or operators like addition or multiplications except in a very abstract way like Church encoding and alike. The way I see it, it has nothing to do with what we called calculus in high school or university. Insights?