contestada

From the following lamba calculus text it mentions:
To motivate the $\lambda$-notation, consider the everyday mathetmatical expression '$x-y

Respuesta :

Otras preguntas

. This can be thought of as defining either a function $f$ of $x$ or a function $g$ of $y$;
$f(x) = x-y$
$g(y) = x-y$
And later on:
Church introduced '$\lambda

Respuesta :

Otras preguntas

as an auxiliary symbol and wrote:
$f = \lambda x . x - y $
$g = \lambda y. x - y$
I don't really understand what motivates writing two different function here, one for f and one for g. Why isn't just one function used here such as f(x) = x - y or even f(x,y) = x - y. It seems like writing the above as two different equations is a strange way to write that "everyday equation". Could someone please explain the reasoning for this? If helpful, the whole section of text is as follows:

Respuesta :

Otras preguntas