Changes

In a formal inquiry of the sort projected here, the less the discussants need to depend on the compliance 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 discussants need to depend on the compliance of understanding interpreters the more they will necessarily understand at the end of the formalization step.

It might then be thought that the ultimate zero of understanding that can be expected of the interpreter would correspond to the ultimate height of understanding that can be developed by the formalizer, but this assumption neglects the negative potential of misunderstanding, the sheer perversity of interpretation that true human creativity can bring to bear on any text.

It might be thought that the ultimate zero of understanding to be expected of the interpreter would correspond to the ultimate height of understanding to be developed by the formalizer, but this assumption neglects the negative potential of misunderstanding, the sheer perversity of interpretation that true human creativity can bring to bear on any text.

Then again, computers are initially just as incapable of misunderstanding as they are of understanding.  Therefore, it actually forms a moderate compromise to address the task of interpretation to a computational system, a thing that is known to begin from a comparatively neutral initial condition as far as human understanding goes.

Then again, computers are initially just as incapable of misunderstanding as they are of understanding.  Therefore, it actually forms a moderate compromise to address the task of interpretation to a computational system, a thing that is known to begin from a comparatively neutral initial condition as far as human understanding goes.