Computability and human symbolic output

It is argued that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle.