Quote of the Day
Authors Categories Blog Quote Maker Videos
 

Edsger Dijkstra Quotes: 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.
         

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.


Edsger Dijkstra
Check all other quotes by Edsger Dijkstra

Want to display this quote image on your website or blog? Simply copy and paste the below code on your website/blog.

Embed:

Format of this image is jpg. The width and height of image are 1200 and 630, repectively. This image is available for free to download.





Citation

Use the citation below to add this quote to your bibliography:


Styles:

×

MLA Style Citation


"Edsger Dijkstra Quotes." Quoteslyfe.com, 2024. Fri. 08 Nov. 2024. <https://www.quoteslyfe.com/quote/A-convincing-demonstration-of-correctness-being-impossible-543327>.





Check out


Other quotes of Edsger Dijkstra


If debugging is the process of removing software bugs, then programming must be the process of putting them in.

If debugging is the process of removing software bugs, then programming must be the process of putting them in.



The question of whether computers can think is like the question of whether submarines can swim.

The question of whether computers can think is like the question of whether submarines can swim.



Programming is one of the most difficult branches of applied mathematics; the poorer mathematicians had better remain pure mathematicians.

Programming is one of the most difficult branches of applied mathematics; the poorer mathematicians had better remain pure mathematicians.



The lurking suspicion that something could be simplified is the world's richest source of rewarding challenges.

The lurking suspicion that something could be simplified is the world's richest source of rewarding challenges.



Computer science is no more about computers than astronomy is about telescopes.

Computer science is no more about computers than astronomy is about telescopes.



The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.



Simplicity and elegance are unpopular because they require hard work and discipline to achieve and education to be appreciated.

Simplicity and elegance are unpopular because they require hard work and discipline to achieve and education to be appreciated.



Program testing can be used to show the presence of bugs, but never to show their absence!

Program testing can be used to show the presence of bugs, but never to show their absence!



Elegance is not a dispensable luxury but a factor that decides between success and failure.

Elegance is not a dispensable luxury but a factor that decides between success and failure.



Teaching COBOL ought to be regarded as a criminal act.

Teaching COBOL ought to be regarded as a criminal act.





Other quotes you may like


Friendship is a strange animal. It only thrives in voluntary enjoyment of each other's company, in the pleasure of nonobligatory connection. I repeat: You owe me nothing.

Friendship is a strange animal. It only thrives in voluntary enjoyment of each other's company, in the pleasure of nonobligatory connection. I repeat: You owe me nothing.



It's crap that you're letting on bad year determine your fate for the rest of your life.

It's crap that you're letting on bad year determine your fate for the rest of your life.



When you perform with a live audience, the audience comes back to you, so that you and the audience are giving to each other, in a sense. It's an extraordinary thing. It's wild turf up there.

When you perform with a live audience, the audience comes back to you, so that you and the audience are giving to each other, in a sense. It's an extraordinary thing. It's wild turf up there.



It isn't about singing a particular hymn or reciting a prayer – it's about a relationship with your Heavenly Father who loves and cares for you.

It isn't about singing a particular hymn or reciting a prayer – it's about a relationship with your Heavenly Father who loves and cares for you.



Simplicity, good taste and grooming are the three fundamentals of good dressing and these do not cost money.

Simplicity, good taste and grooming are the three fundamentals of good dressing and these do not cost money.



One of the great joys of life, now that you can afford a nice suit, is getting one for free. That's why I like to do press tours - I always say making movies is just an excuse to get free clothing.

One of the great joys of life, now that you can afford a nice suit, is getting one for free. That's why I like to do press tours - I always say making movies is just an excuse to get free clothing.



I'm your biggest fan, California, I'm coming home

I'm your biggest fan, California, I'm coming home



I'm not homosexual, I'm not hetrosexual, I'm just sexual.

I'm not homosexual, I'm not hetrosexual, I'm just sexual.



I've been pretty transparent with all that I've done. I think my work speaks a lot for who I am. So, I don't think there's a particular thing I'd like them to know.

I've been pretty transparent with all that I've done. I think my work speaks a lot for who I am. So, I don't think there's a particular thing I'd like them to know.



They wrote that I'd gained 30 pounds over the summer and lost it in a week because I was dating three guys at once!

They wrote that I'd gained 30 pounds over the summer and lost it in a week because I was dating three guys at once!




Quote Description


This page presents the quote "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.". Author of this quote is Edsger Dijkstra. This quote is about long, black, demonstration, mechanism, impossible, hope, lying, convincing, correctness,.