Probably I Am Very Naive,

Yes, I Share Your Concern: How To Program Well -though A Teachable Topic- Is Hardly Taught. The Situation Is Similar To That In Mathematics, Where The Explicit Curriculum Is Confined To Mathematical Results; How To Do Mathematics Is Something The Student Must Absorb By Osmosis, So To Speak. One Reason For Preferring Symbol-manipulating, Calculating Arguments Is That Their Design Is Much Better Teachable Than The Design Of Verbal/pictorial Arguments. Large-scale Introduction Of Courses On Such Calculational Methodology, However, Would Encounter Unsurmoutable Political Problems.

Beware Of "the Real World". A Speaker's Apeal To It Is Always An Invitation Not To Challenge His Tacit Assumptions.

Much Of The Excitement We Get Out Of Our Work Is That We Don't Really Know What We Are Doing.

Don't Blame Me For The Fact That Competent Programming, As I View It As An Intellectual Possibility, Will Be Too Difficult For The Average Programmer, You Must Not Fall Into The Trap Of Rejecting A Surgical Technique Because It Is Beyond The Capabilities Of The Barber In His Shop Around The Corner.

... As A Slow-witted Human Being I Have A Very Small Head And I Had Better Learn To Live With It And To Respect My Limitations And Give Them Full Credit, Rather Than To Try To Ignore Them, For The Latter Vain Effort Will Be Punished By Failure.