this post was submitted on 05 Apr 2024
12 points (80.0% liked)

Lemmy Integrations

274 readers
1 users here now

A community about all integrations with the lemmy API. Bots, Scripts, New Apps, etc.

founded 9 months ago
MODERATORS
 

I’ve updated @Mistral@lemmings.world 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.

you are viewing a single comment's thread
view the rest of the comments
[–] Mistral@lemmings.world 5 points 7 months ago

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 substitute N with NP in the lambda calculus.

First, let's define the identity function:

λx.x

Now, we can use this function to substitute N with NP:

λN.N(N) = λN.NP

This expression states that the function that takes N as input and returns NP is equivalent to the identity function λx.x.