Background Image

...

So-called "natural Language" Is Wonderful For The Purposes It Was Created For, Such As To Be Rude In, To Tell Jokes In, To Cheat Or To Make Love In (and Theorists Of Literary Criticism Can Even Be Content-free In It), But It Is Hopelessly Inadequate When We Have To Deal Unambiguously With Situations Of Great Intricacy, Situations Which Unavoidably Arise In Such Activities As Legislation, Arbitration, Mathematics Or Programming.

-Edsger Dijkstra

...

Please Wait....
Translating....

So-called "natural Language" Is

Edsger Dijkstra

...

So-called "natural Language" Is Wonderful For The Purposes It Was Created For, Such As To Be Rude In, To Tell Jokes In, To Cheat Or To Make Love In (and Theorists Of Literary Criticism Can Even Be Content-free In It), But It Is Hopelessly Inadequate When We Have To Deal Unambiguously With Situations Of Great Intricacy, Situations Which Unavoidably Arise In Such Activities As Legislation, Arbitration, Mathematics Or Programming.

Views: 78978

Topic

More From Edsger Dijkstra

Teaching To Unsuspecting Youngsters The Effective Use Of Formal Methods Is One Of The Joys Of Life Because It Is So Extremely Rewarding.

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

The Required Techniques Of Effective Reasoning Are Pretty Formal, But As Long As Programming Is Done By People That Don't Master Them, The Software Crisis Will Remain With Us And Will Be Considered An Incurable Disease. And You Know What Incurable Diseases Do: They Invite The Quacks And Charlatans In, Who In This Case Take The Form Of Software Engineering Gurus.

Please Don't Fall Into The Trap Of Believing That I Am Terribly Dogmatical About The Go To Statement. I Have The Uncomfortable Feeling That Others Are Making A Religion Out Of It, As If The Conceptual Problems Of Programming Could Be Solved By A Single Trick, By A Simple Form Of Coding Discipline!

How Do We Convince People That In Programming Simplicity And Clarity - In Short: What Mathematicians Call Elegance - Are Not A Dispensable Luxury, But A Crucial Matter That Decides Between Success And Failure?

Pl/1, The Fatal Disease, Belongs More To The Problem Set Than To The Solution Set.

It Is Practically Impossible To Teach Good Programming To Students That Have Had A Prior Exposure To Basic: As Potential Programmers They Are Mentally Mutilated Beyond Hope Of Regeneration.

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

We Must Be Very Careful When We Give Advice To Younger People; Sometimes They Follow It!

The Tools We Use Have A Profound And Devious Influence On Our Thinking Habits, And Therefore On Our Thinking Abilities.

If In Physics There's Something You Don't Understand, You Can Always Hide Behind The Uncharted Depths Of Nature. You Can Always Blame God. You Didn't Make It So Complex Yourself. But If Your Program Doesn't Work, There Is No One To Hide Behind. You Cannot Hide Behind An Obstinate Nature. If It Doesn't Work, You've Messed Up.

... 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.

About The Use Of Language: It Is Impossible To Sharpen A Pencil With A Blunt Axe. It Is Equally Vain To Try To Do It With Ten Blunt Axes Instead.

We Shall Do A Much Better Programming Job, Provided That We Approach The Task With A Full Appreciation Of Its Tremendous Difficulty, Provided That We Stick To Modest And Elegant Programming Languages, Provided That We Respect The Intrinsic Limitations Of The Human Mind And Approach The Task As Very Humble Programmers.

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.

The Prisoner Falls In Love With His Chains.

Falling In Love

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.

The Ability Of Discerning High Quality Unavoidably Implies The Ability Of Identifying Shortcomings.

Lisp Has Jokingly Been Described As "the Most Intelligent Way To Misuse A Computer." I Think That Description Is A Great Compliment Because It Transmits The Full Flavour Of Liberation: It Has Assisted A Number Of Our Most Gifted Fellow Humans In Thinking Previously Impossible Thoughts.

Several People Have Told Me That My Inability To Suffer Fools Gladly Is One Of My Main Weaknesses.

When I Came Back From Munich, It Was September, And I Was Professor Of Mathematics At The Eindhoven University Of Technology. Later I Learned That I Had Been The Department's Third Choice, After Two Numerical Analysts Had Turned The Invitation Down; The Decision To Invite Me Had Not Been An Easy One, On The One Hand Because I Had Not Really Studied Mathematics, And On The Other Hand Because Of My Sandals, My Beard And My "arrogance" (whatever That May Be).

Brainpower Is By Far Our Scarcest Resource.

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.

Computer Science Is No More About Computers Than Astronomy Is About Telescopes, Biology Is About Microscopes Or Chemistry Is About Beakers And Test Tubes. Science Is Not About Tools. It Is About How We Use Them, And What We Find Out When We Do.

Don't Compete With Me: Firstly, I Have More Experience, And Secondly, I Have Chosen The Weapons.

Besides A Mathematical Inclination, An Exceptionally Good Mastery Of One's Native Tongue Is The Most Vital Asset Of A Competent Programmer.

Teaching Cobol Ought To Be Regarded As A Criminal Act.

Programming Is One Of The Most Difficult Branches Of Applied Mathematics; The Poorer Mathematicians Had Better Remain Pure Mathematicians.

Simplicity And Elegance Are Unpopular Because They Require Hard Work And Discipline To Achieve And Education To Be Appreciated.

… What Society Overwhelmingly Asks For Is Snake Oil. Of Course, The Snake Oil Has The Most Impressive Names — Otherwise You Would Be Selling Nothing — Like “structured Analysis And Design”, “software Engineering”, “maturity Models”, “management Information Systems”, “integrated Project Support Environments” “object Orientation” And “business Process Re-engineering”.

The Computing Scientist's Main Challenge Is Not To Get Confused By The Complexities Of His Own Making.

In This Respect A Program Is Like A Poem: You Cannot Write A Poem Without Writing It. Yet People Talk About Programming As If It Were A Production Process And Measure "programmer Productivity" In Terms Of "number Of Lines Of Code Produced". In So Doing They Book That Number On The Wrong Side Of The Ledger: We Should Always Refer To "the Number Of Lines Of Code Spent".

Experience Does By No Means Automatically Leads To Wisdom And Understanding.

When We Had No Computers, We Had No Programming Problem Either. When We Had A Few Computers, We Had A Mild Programming Problem. Confronted With Machines A Million Times As Powerful, We Are Faced With A Gigantic Programming Problem.

Too Few People Recognize That The High Technology So Celebrated Today Is Essentially A Mathematical Technology.

Fortran, The Infantile Disorder, By Now Nearly 20 Years Old, Is Hopelessly Inadequate For Whatever Computer Application You Have In Mind Today: It Is Now Too Clumsy, Too Risky, And Too Expensive To Use.

Thank Goodness We Don't Have Only Serious Problems, But Ridiculous Ones As Well.

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.

If You Want More Effective Programmers, You Will Discover That They Should Not Waste Their Time Debugging, They Should Not Introduce The Bugs To Start With.

[though Computer Science Is A Fairly New Discipline, It Is Predominantly Based On The Cartesian World View. As Edsgar W. Dijkstra Has Pointed Out] A Scientific Discipline Emerges With The - Usually Rather Slow! - Discovery Of Which Aspects Can Be Meaningfully 'studied' In Isolation For The Sake Of Their Own Consistency.

Our Intellectual Powers Are Rather Geared To Master Static Relations And That Our Powers To Visualize Processes Evolving In Time Are Relatively Poorly Developed. For That Reason We Should Do (as Wise Programmers Aware Of Our Limitations) Our Utmost To Shorten The Conceptual Gap Between The Static Program And The Dynamic Process, To Make The Correspondence Between The Program (spread Out In Text Space) And The Process (spread Out In Time) As Trivial As Possible.

In The Wake Of The Cultural Revolution And Now Of The Recession I Observe A Mounting Pressure To Co-operate And To Promote "teamwork." For Its Anti-individualistic Streak, Such A Drive Is Of Course Highly Suspect; Some People May Not Be So Sensitive To It, But Having Seen The Hitlerjugend In Action Suffices For The Rest Of Your Life To Be Very Wary Of "team Spirit." Very.

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 Purpose Of Abstraction Is Not To Be Vague, But To Create A New Semantic Level In Which One Can Be Absolutely Precise.

A Programming Language Is A Tool That Has Profound Influence On Our Thinking Habits.

Industry Suffers From The Managerial Dogma That For The Sake Of Stability And Continuity, The Company Should Be Independent Of The Competence Of Individual Employees.

I Think Of The Company Advertising "thought Processors" Or The College Pretending That Learning Basic Suffices Or At Least Helps, Whereas The Teaching Of Basic Should Be Rated As A Criminal Offence: It Mutilates The Mind Beyond Recovery.

I Would Therefore Like To Posit That Computing's Central Challenge, How Not To Make A Mess Of It, Has Not Yet Been Met.

...simplifications Have Had A Much Greater Long-range Scientific Impact Than Individual Feats Of Ingenuity. The Opportunity For Simplification Is Very Encouraging, Because In All Examples That Come To Mind The Simple And Elegant Systems Tend To Be Easier And Faster To Design And Get Right, More Efficient In Execution, And Much More Reliable Than The More Contrived Contraptions That Have To Be Debugged Into Some Degree Of Acceptability....simplicity And Elegance Are Unpopular Because They Require Hard Work And Discipline To Achieve And Education To Be Appreciated.

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.

Simplicity Is Prerequisite For Reliability.

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.

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

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.

Program Testing Can Be Used To Show The Presence Of Bugs, But Never To Show Their Absence!

In Passing I Draw Attention To Another English Expression Which Often Occurs In Dutch Texts: "the Real World". In Dutch - And I Am Afraid Not In Dutch Alone - Its Usage Is Almost Always A Symptom Of A Violent Anti-intellectualism.

If Debugging Is The Process Of Removing Software Bugs, Then Programming Must Be The Process Of Putting Them In.

Why Has Elegance Found So Little Following? That Is The Reality Of It. Elegance Has The Disadvantage, If That's What It Is, That Hard Work Is Needed To Achieve It And A Good Education To Appreciate It.

Progress Is Possible Only If We Train Ourselves To Think About Programs Without Thinking Of Them As Pieces Of Executable Code.

If We Wish To Count Lines Of Code, We Should Not Regard Them As "lines Produced" But As "lines Spent."

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.

A Convincing Demonstration Of Correctness Being Impossible As Long As The Mechanism Is Regarded As A Black Box, Our Only Hope Lies In Not Regarding The Mechanism As A Black Box.

In Their Capacity As A Tool, Computers Will Be But A Ripple On The Surface Of Our Culture. In Their Capacity As Intellectual Challenge, They Are Without Precedent In The Cultural History Of Mankind.

Elegance Is Not A Dispensable Luxury But A Factor That Decides Between Success And Failure.

Congratulations

It Is Not The Task Of The University To Offer What Society Asks For, But To Give What Society Needs.

Object-oriented Programming Is An Exceptionally Bad Idea Which Could Only Have Originated In California.

Write A Paper Promising Salvation, Make It A "structured" Something Or A "virtual" Something, Or "abstract," "distributed" Or "higher-order" Or "applicative" And You Can Almost Be Certain Of Having Started A New Cult.

Probably I Am Very Naive, But I Also Think I Prefer To Remain So, At Least For The Time Being And Perhaps For The Rest Of My Life.

Aim For Brevity While Avoiding Jargon.

Are You Quite Sure That All Those Bells And Whistles, All Those Wonderful Facilities Of Your So Called Powerful Programming Languages, Belong To The Solution Set Rather Than The Problem Set?

Production Speed Is Severely Slowed Down If One Works With Half-time People Who Have Other Obligations As Well. This Is At Least A Factor Of Four; Probably It Is Worse.

Simplicity Is A Great Virtue But It Requires Hard Work To Achieve It And Education To Appreciate It. And To Make Matters Worse: Complexity Sells Better.

The Art Of Programming Is The Art Of Organizing Complexity.

I Mean, If 10 Years From Now, When You Are Doing Something Quick And Dirty, You Suddenly Visualize That I Am Looking Over Your Shoulders And Say To Yourself "dijkstra Would Not Have Liked This," Well, That Would Be Enough Immortality For Me.

Computer Science Is No More About Computers Than Astronomy Is About Telescopes.

It Used To Be The Program's Purpose To Instruct Our Computers; It Became The Computer's Purpose To Execute Our Programs.

The Problems Of The Real World Are Primarily Those You Are Left With When You Refuse To Apply Their Effective Solutions.

Some Consider The Puzzles That Are Created By Their Omissions As Spicy Challenges, Without Which Their Texts Would Be Boring; Others Shun Clarity Lest Their Work Is Considered Trivial.

Perfecting Oneself Is As Much Unlearning As It Is Learning.

Apl Is A Mistake, Carried Through To Perfection.

So-called "natural Language" Is Wonderful For The Purposes It Was Created For, Such As To Be Rude In, To Tell Jokes In, To Cheat Or To Make Love In (and Theorists Of Literary Criticism Can Even Be Content-free In It), But It Is Hopelessly Inadequate When We Have To Deal Unambiguously With Situations Of Great Intricacy, Situations Which Unavoidably Arise In Such Activities As Legislation, Arbitration, Mathematics Or Programming.

Computer Science Has As Much To Do With Computers As Astronomy Has To Do With Telescopes.

The Lurking Suspicion That Something Could Be Simplified Is The World's Richest Source Of Rewarding Challenges.

I Mentioned The Non-competitive Spirit Explicitly, Because These Days, Excellence Is A Fashionable Concept. But Excellence Is A Competitive Notion, And That Is Not What We Are Heading For: We Are Heading For Perfection.

Mentally Mutilated Potential Programmers Beyond Hope Of Regeneration.

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.

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

I Now Have Had My Foggy Crystal Ball For Quite A Long Time. Its Predictions Are Invariably Gloomy And Usually Correct, But I Am Quite Used To That And They Won't Keep Me From Giving You A Few Suggestions, Even If It Is Merely An Exercise In Futility Whose Only Effect Is To Make You Feel Guilty.

I Don't Need To Waste My Time With A Computer Just Because I Am A Computer Scientist.

When Building Sand Castles On The Beach, We Can Ignore The Waves But Should Watch The Tide.

There Should Be No Such Thing As Boring Mathematics.

In The Good Old Days Physicists Repeated Each Other's Experiments, Just To Be Sure. Today They Stick To Fortran, So That They Can Share Each Other's Programs, Bugs Included.

Many Mathematicians Derive Part Of Their Self-esteem By Feeling Themselves The Proud Heirs Of A Long Tradition Of Rational Thinking; I Am Afraid They Idealize Their Cultural Ancestors.

Beauty Is Our Business.

The Use Of Cobol Cripples The Mind; Its Teaching Should, Therefore, Be Regarded As A Criminal Offense.

In The Software Business There Are Many Enterprises For Which It Is Not Clear That Science Can Help Them; That Science Should Try Is Not Clear Either.

John Von Neumann Draws Attention To What Seemed To Him A Contrast. He Remarked That For Simple Mechanisms, It Is Often Easier To Describe How They Work Than What They Do, While For More Complicated Mechanisms, It Is Usually The Other Way Around.

The Question Of Whether Computers Can Think Is Like The Question Of Whether Submarines Can Swim.

Testing Shows The Presence, Not The Absence Of Bugs.

The Use Of Anthropomorphic Terminology Forces You Linguistically To Adopt An Operational View. And It Makes It Practically Impossible To Argue About Programs Independently Of Their Being Executed.

If There Is One 'scientific' Discovery I Am Proud Of, It Is The Discovery Of The Habit Of Writing Without Publication In Mind.

A Most Important, But Also Most Elusive, Aspect Of Any Tool Is Its Influence On The Habits Of Those Who Train Themselves In Its Use. If The Tool Is A Programming Language This Influence Is, Whether We Like It Or Not, An Influence On Our Thinking Habits.... A Programming Language Is A Tool That Has Profound Influence On Our Thinking Habits.

Programming In Basic Causes Brain Damage.

Raise Your Quality Standards As High As You Can Live With, Avoid Wasting Your Time On Routine Problems, And Always Try To Work As Closely As Possible At The Boundary Of Your Abilities. Do This, Because It Is The Only Way Of Discovering How That Boundary Should Be Moved Forward.

Mathematicians Are Like Managers - They Want Improvement Without Change.

Trending Author

Placido Domingo

Category