logoalt Hacker News

bingobangobungotoday at 9:18 PM1 replyview on HN

Wait wouldn't this revolutionize computing? Seems like a rather low bounty for such a monumental proof


Replies

ezwoodlandtoday at 9:39 PM

No? Why would it?

In the negative case, it would say the idea doesn't pan out.

In the positive case, it would mean that you can use just S instead of S and K when doing combinator reduction, but doesn't change that this kind of reduction is not super efficient practically speaking.

show 1 reply