Making mistakes is the key to making progress. There are times, of course, when it is important not to make any mistakes--ask any surgeon or airline pilot. But it is less widely appreciated that there are also times when making mistakes is the secret of success. What I have in mind is not just the familiar wisdom of nothing ventured, nothing gained. While that maxim encourages a healthy attitude towards risk, it doesn't point to the positive benefits of not just risking mistakes, but actually of making them. Instead of shunning mistakes, I claim, you should cultivate the habit of making them. Instead of turning away in denial when you make a mistake, you should become a connoisseur of your own mistakes, turning them over in your mind as if they were works of art, which in a way they are. You should seek out opportunities to make grand mistakes, just so you can then recover from them.
[1]
I. Lakatos.
PROOFS AND REFUTATIONS (I)*†
,
1963,
The British Journal for the Philosophy of Science.
[2]
Jean-Raymond Abrial,et al.
The B-book - assigning programs to meanings
,
1996
.
[3]
Carroll Morgan,et al.
Programming from specifications
,
1990,
Prentice Hall International Series in computer science.
[4]
A. J. M. van Gasteren,et al.
On the Shape of Mathematical Arguments
,
1990,
Lecture Notes in Computer Science.
[5]
G. Pólya,et al.
How to Solve It. A New Aspect of Mathematical Method.
,
1945
.