> 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.
I’ve talked with him in person for a couple of hours once and he was the most endearing kind of grandfatherly person. Really caught me off guard how pleasant and open he was. Somehow I was expecting someone a lot more adversarial.