2 ms·
What do you mean by "the opposite"? In your notation, the example shows that Y(g) = g(Y(g)) which by the definition of the equals sign (A=B and B=A say th
by svat 3y ago
What do you mean by "the opposite"? In your notation, the example shows that
Y(g) = g(Y(g))
which by the definition of the equals sign (A=B and B=A say the same thing), is the same as:
g(Y(g)) = Y(g)
— so Y(g) is a fixed point of g. What is the confusion?
- konstantinua00 3y agoconfusion in that if you treat lambda calculus as computation instead of "mathematical truths", then following the proof in the opposite direction requires conjuring out of thin air a complicated construction that isn't obvious from the state you'd have