I’ve updated @[email protected] to remember the whole tree of comments when replying to you, so it can do follow-up responses. You still have to mention it on every message, though. Example in the comments.
I’ve updated @[email protected] to remember the whole tree of comments when replying to you, so it can do follow-up responses. You still have to mention it on every message, though. Example in the comments.
In the lambda calculus, we can represent the identity function as
λx.x. To solve for N=NP, we can use this identity function to substituteNwithNPin the lambda calculus.First, let’s define the identity function:
λx.xNow, we can use this function to substitute
NwithNP:λN.N(N) = λN.NPThis expression states that the function that takes
Nas input and returnsNPis equivalent to the identity functionλx.x.