Douglas_Knight comments on Correlated decision making: a complete theory - Less Wrong

7 Post author: Stuart_Armstrong 26 September 2009 11:47AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (22)

You are viewing a single comment's thread. Show more comments above.

Comment author: Wei_Dai 27 September 2009 12:40:06PM 2 points [-]

I think it's because we're mainly focused on getting ideas right - most of the time, writing out the equation is merely a confirmation of what we allready know to be true. So often, a mathmo will write out a series of equations where the beginning will be true, the middle completely wrong, and the conclusion correct.

I wonder why that doesn't work in cryptography. There are several well-known examples of "security proofs" (proof of security of a crypto scheme under the assumption that some computational problem is hard) by respected researchers that turn out many years after publication to contain errors that render the conclusions invalid.

Or does this happen just as often in mathematics, except that mathematicians don't care so much because their errors don't usually have much real-world impact?

Comment author: Douglas_Knight 27 September 2009 06:14:01PM 1 point [-]

Yes, mathematicians produce errors that stand for decades, but they aren't errors that are detectable to copy-editing. Surely the errors you mention in crypto weren't caused by substituting pz for px! How could it have stood so long with such an error? Also, such a random error is unlikely to help the proof. If you are approximating something and you want different sources of error to cancel, then a minus sign could make all the difference in the world, but people know that this is the key in the proof and pay more attention. Also, if flipping a sign makes it true, it's probably false, not just false, but false with a big enough error that you can check it in small examples.

"Beware of bugs in the above code; I have only proved it correct, not tried it.'' - Knuth