Changes

|}

|}

In a formal inquiry of the sort projected here, the less the investigators need to depend on the unformalized intuitions of understanding interpreters the more they will necessarily understand at the end of the formalization step.

In a formal inquiry of the sort projected here, the less the investigators need to depend on the tacit intuitions of understanding interpreters the more they will necessarily understand at the end of the formalization step.

It might be thought the ultimate height of understanding that can be developed by formalizers corresponds to the ultimate zero of understanding that can be expected of interpreters, but this assumption neglects the negative power of misunderstanding, the sheer perversity of interpretation that true human creativity can bring to bear on any text.

It might be thought the ultimate height of understanding developed by formalizers corresponds to the ultimate zero of understanding demanded of interpreters, but this neglects the negative power of misunderstanding, the sheer perversity of interpretation that true human creativity can bring to bear on any text.

On the other hand, computers are — initially — just as incapable of misunderstanding, willful or otherwise, as they are of understanding.  Thus it forms a moderate compromise to address the task of interpretation to a computational system, a thing that is known to begin from a relatively neutral initial condition as far as human understanding goes.

On the other hand, computers are — initially — just as incapable of misunderstanding, willful or otherwise, as they are of understanding.  Thus it forms a moderate compromise to address the task of interpretation to a computational system, a thing that is known to begin from a relatively neutral initial condition as far as human understanding goes.