Vtyjkyuk

I'm struggling to learn lambda Calculus.

I think what might really help is to see the simplest functions that you can create in lambda calculus and how they might be combined to make more complex functions.

For instance I know about the Identity function.

λ
x
.
x
 

and the not operator, but it feels like I don't understand how to use the building blocks of lambda calculus to make more complex functions yet.

So I'm asking, if you could, to show me some of the simplest lambda functions and how they combine to create more complex functions.

The easiest place to start is probably with the representations of truth values and logical operators in the lambda calculus.

By convention, the truth values TRUE and FALSE are represented as follows:

$textTRUE equiv lambda x.lambda y.x$

$textFALSE equiv lambda x.lambda y.y$

In other words, $textTRUE$ and $textFALSE$ are actually functions that each take two arguments. $textTRUE$ always returns its first argument and $textFALSE$ always returns its second argument.

If we think about the logical operator $textNOT$, then $textNOT$ takes a single argument and returns $textTRUE$ if its input is $textFALSE$ and vice versa. So we can represent $textNOT$ as follows:

$textNOT equiv lambda x.x text FALSE space textTRUE$

If $x$ is $textTRUE$ then $textNOT$ will return the first item from $text FALSE space textTRUE$ which is $textFALSE$ - and vice versa if $x$ is $textFALSE$.

If we think about the logical operator $textOR$ then we want a function that takes two arguments. It returns its first argument if its first argument is $textTRUE$ and it returns its second argument if its first argument is $textFALSE$. We can represent this as follows:

$textOR equiv lambda x.lambda y.x space x space y$

Using similar reasoning we can represent other logical operators as follows:

$textAND equiv lambda x.lambda y.x space y space x$

$textXOR equiv lambda x.lambda y.x space (textNOT space y) space y$

$textIFTHEN equiv lambda x.lambda y.x space y space (textNOT space x)$

$textIFF equiv lambda x.lambda y.x space y space (textNOT space y)$

The Wikipedia article https://en.wikipedia.org/wiki/Lambda_calculus is a good place to start if you want to take things further.