Program Testing Can Be Used

The Traditional Mathematician Recognizes And Appreciates Mathematical Elegance When He Sees It. I Propose To Go One Step Further, And To Consider Elegance An Essential Ingredient Of Mathematics: If It Is Clumsy, It Is Not Mathematics.

It Is A Mistake To Think That Programmers Wares Are Programs. Programmers Have To Produce Trustworthy Solutions And Present It In The Form Of Cogent Arguments. Programs Source Code Is Just The Accompanying Material To Which These Arguments Are To Be Applied To.

Apl Is A Mistake, Carried Through To Perfection. It Is The Language Of The Future For The Programming Techniques Of The Past: It Creates A New Generation Of Coding Bums.

We Are All Shaped By The Tools We Use, In Particular: The Formalisms We Use Shape Our Thinking Habits, For Better Or For Worse, And That Means That We Have To Be Very Careful In The Choice Of What We Learn And Teach, For Unlearning Is Not Really Possible.

There Is Very Little Point In Trying To Urge The World To Mend Its Ways As Long As That World Is Still Convinced That Its Ways Are Perfectly Adequate.