There is no complete axiom system for shuffle expressions
There is no complete axiom system for shuffle expressions
In this paper we show that neither the set of all valid equations between shuffle expressions nor the set of schemas of valid equations is recursively enumerable. Thus, neither of the sets can be recursively generated by any axiom system.
Page 1