The Wolfram S Combinator Challenge (combinatorprize.org)

I think that website cost more than the listed prize amount.

S combinator always duplicates its last parameter, never deletes it. That's why K is needed for universality.

This can be proved by induction. Or you can cite Craig's theorem (the less known one) for that. See [1]

Honestly, I don't see the endgame here.

[1] https://math.stackexchange.com/questions/839926/is-there-a-p...

Barendregt & Manzonetto's 2022 "A lambda calculus satellite" has a whole chapter on the S fragment, for those interested

More wolf-slop.

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

> The S, K combinators defined by Moses Schönfinkel on December 7, 1920, are together known to be computation universal. On December 7, 2020, Stephen Wolfram made the suggestion that S alone might also be universal.

I wonder how long in advance Stephen Wolfram first had this thought and waited until the centennial to publicize the suggestion.

The site doesn’t open from Ukraine. Any suggestion?

Needs a (2021)