That doesn&#x27;t matter.
You could imagine a system that accumulates two terms: (actual result, junk). Instead of deleting something it just adds it to the junk part of the pair.
Maybe the junk part itself has computation which never ends, but it doesn&#x27;t matter because you just extract your result from the left part of the pair.

cvoss, ezwoodland, tromp and v64 made a good point. As v64 points I was thinking of a Combinatory Completeness not Turing Completeness. Dropping that requirement as cvoss, ezwoodland, tromp point you can simulate deletion (that&#x27;s what quantum computing does btw see No-deleting theorem).I see the endgame now, thanks guys.

I don&#x27;t follow your argument. Why must we have the ability to &quot;delete&quot; sub-expressions?Consider a computational model that, rather than work by successively rewriting an expression over and over in a way that honors some equivalence relation over expressions, it works by explicitly building the sequence of such expressions. In that kind of system, every computational state properly contains the previous state. Things grow and grow and never get &quot;deleted&quot;. Yet such a system can clearly be universal.

as far as I understand it, turing completeness is a weaker property than combinatory completeness, which Craig&#x27;s theorem is addressing. The nonexistence of a singleton combinatory basis doesn&#x27;t necessarily imply the nonexistence of a turing complete combinator.

An implicit K suffices for universality, as in \x\y\z. x z (y (\w.z))

S combinator always duplicates its last parameter, never deletes it. That&#x27;s why K is needed for universality.This can be proved by induction. Or you can cite Craig&#x27;s theorem (the less known one) for that. See [1]Honestly, I don&#x27;t see the endgame here.[1] <a href="https:&#x2F;&#x2F;math.stackexchange.com&#x2F;questions&#x2F;839926&#x2F;is-there-a-proof-of-nonexistence-of-a-proper-universal-combinator" rel="nofollow">https:&#x2F;&#x2F;math.stackexchange.com&#x2F;questions&#x2F;839926&#x2F;is-there-a-p...</a>

&gt; 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.

Barendregt &amp; Manzonetto&#x27;s 2022 &quot;A lambda calculus satellite&quot; has a whole chapter on the S fragment, for those interested

Does this mean that internet blocking by third parties is above any science? How will researchers be able to make discoveries if every scientific website gets blocked? Many mysteries of the universe could end up blocked by a dumb firewall. Please do something with this.

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

I was thinking in specifically the positive, would compression or encoding potentially allow for more compact representation of programs. Like Kolmogorovs

No? Why would it?In the negative case, it would say the idea doesn&#x27;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&#x27;t change that this kind of reduction is not super efficient practically speaking.

Wait wouldn&#x27;t this revolutionize computing? Seems like a rather low bounty for such a monumental proof

Coincidental timing for Wolfram to pop up here just as it becomes clearer that he might actually have met Epstein after all.

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

The Wolfram S Combinator Challenge