Mathematical language is lacking
In principle, human capabilities might be translated exclusively into recursive functions. But this begs the question whether such capabilities can be instantiated by automata—as we have no mathematical terminology to express such capabilities (yet).
Selmer Bringsjord, 1992.
