<- Back
Comments (21)
- jmjS 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...
- fritzoBarendregt & Manzonetto's 2022 "A lambda calculus satellite" has a whole chapter on the S fragment, for those interested
- divbzero> 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.
- bingobangobungoWait wouldn't this revolutionize computing? Seems like a rather low bounty for such a monumental proof
- bryan0Needs a (2021)
- ellis0nThe site doesn’t open from Ukraine. Any suggestion?
- browningstreetI think that website cost more than the listed prize amount.
- KnuthIsGodMore wolf-slop.