> I now suggest that we confine ourselves to the design and implementation of intellectually manageable programs. If someone fears that this restriction is so severe that we cannot live with it, I can reassure him: the class of intellectually manageable programs is still sufficiently rich to contain many very realistic programs for any problem capable of algorithmic solution. We must not forget that it is not our business to make programs, it is our business to design classes of computations that will display a desired behaviour.

Nobody does this. We don't even try. As you said, everyone in programming is insane: so much so, that proposing "hey, why don't we try writing computer programs we actually understand" elicits laughter and scorn.

In every other engineering discipline, proposing a solution that you do not understand will get you fired. In software engineering, it's a Tuesday.