>>12334740Lambda calculus is a fancy way of writing functions abstractly.
Assuming you did any form of secondary education, you've seen the notation ? Well in lambda calculus, the same would be written . It's at its core just a dumb rewriting system where everything is a function.
Funny shit with LC is that it's a model for all math and computation. Ie, every concept in mathematics can be expressed as a function.
Eg, you can encode True and False as projectors and , and boolean algebra as operations on these projectors (so functions which take 2 functions that resolve to these projectors as input). The number three can be contextually understood either as the constant , or along the lines of the Peano axiomatization of arithmetic, succ(succ(succ(nil))); so as the function . Etc.
It's pretty fucking meta.
