A Convincing Demonstration Of Correctness Being Impossible

When We Take The Position That It Is Not Only The Programmer's Responsibility To Produce A Correct Program But Also To Demonstrate Its Correctness In A Convincing Manner, Then The Above Remarks Have A Profound Influence On The Programmer's Activity: The Object He Has To Produce Must Be Usefully Structured.

The Effort Of Using Machines To Mimic The Human Mind Has Always Struck Me As Rather Silly. I Would Rather Use Them To Mimic Something Better.

The Effective Exploitation Of His Powers Of Abstraction Must Be Regarded As One Of The Most Vital Activities Of A Competent Programmer.

Thanks To The Greatly Improved Possibility Of Communication, We Overrate Its Importance. Even Stronger, We Underrate The Importance Of Isolation.

The Competent Programmer Is Fully Aware Of The Strictly Limited Size Of His Own Skull; Therefore He Approaches The Programming Task In Full Humility, And Among Other Things He Avoids Clever Tricks Like The Plague.