Skip to content
quotesby

About this quote

What does it mean?
Algorithms must be tested to be trusted.
In plain terms
You must see an algorithm work to trust it.
What can you take from it?
Test algorithms empirically rather than trusting theory.

Where it applies

  • coding
  • testing
  • research

Putting it to work

  • run tests
  • verify output
  • benchmark

Questions to consider

  • How do you prove a solution works?
  • When is proof enough?

Another view

Some logic can be trusted via formal proof.

More from Donald Knuth

  1. Email is a wonderful thing for people whose role in life is to be on top of things. But not for me; my role is to be on the bottom of things. What I do takes l…

    Permalink to quote #10
  2. The sun comes up just about as often as it goes down, in the long run, but this doesn't make its motion random.

    Permalink to quote #12
  3. I can't go to a restaurant and order food because I keep looking at the fonts on the menu.

    Permalink to quote #9

Related quotes

  1. Beware of bugs in the above code; I have only proved it correct, not tried it.

    Donald KnuthDonald Knuth quote #2
  2. I don't believe you on the 'Jimmy' story. No, I don't, and I'm going to prove it if it's the last thing I do.

    Bob WoodwardBob Woodward quote #6
  3. Days to come will prove the surest witness.

    PindarPindar quote #7