« A History of Ravenser Odd | Main | Go For Grammar! »

Uncertainity, Doubt and Theorem Proving

A nice quote by 'monochrom' from Haskell Weekly News:

Fear leads to uncertainty. Uncertainty leads to doubt. Doubt leads to theorem proving.

Alas,  I suspect that, for most people, blind panic comes before theorem proving.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.
Author Email (optional):
Author URL (optional):
All HTML will be escaped. Hyperlinks will be created for URLs automatically.