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

Uncertainity, Doubt and Theorem Proving

DateMon 2007-07-23

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.

AuthorTristram Brelstaff | CommentPost a Comment |
in , ,

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):
Post:
 
All HTML will be escaped. Hyperlinks will be created for URLs automatically.

Notify me of follow-up comments via email.