> The eternal hope is that someday, somehow, we will be able to invent a natural language way of communicating something precise like a program, and it's just not going to happen

what we operationally mean by "precise" involves formalism. ie, there is an inherent contradiction between precise, and natural languages.