Lambda calculus definition

Lambda calculus is a way of writing down and working with math equations. It is like a mini-language that you can use to create math equations and then work with them. In this mini-language, lambda stands for something like a "thing". So when you write down an equation, it might say something like: "Lambda x (x squared plus 3x minus 4)." In this equation, the lambda x tells us that there is something called x that we need to solve for. Then the rest of the equation tells us what to do with x (square it, add 3 times x and then subtract 4). Lambda calculus helps us solve math equations quickly and easily.