Message Boards Message Boards

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

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?

POSTED BY: David Vasholz
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract