[WELP22] Sub-axiomatic foundations of group theory in SK combinators

9 Likes

It is certainly interesting that
s[s[k[s]][s[k]]]
reduces [a][b][c] to c[a[b][c]], and also very striking that s[s[k[s]][s[k]]] manages to annihilate itself in the process, but how was s[s[k[s]][s[k]]] arrived at in the first place? It it unique?

1 Like