Johnicholas 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: Johnicholas 27 September 2009 02:07:35PM 1 point [-]

I've heard stories (from my math professors in college) of grad students who spent multiple years writing about certain entities, which have all sorts of very interesting properties. However, they were having difficulties actually constructing one. Eventually it was demonstrated that there aren't any, and they had been proving the interesting things one could do if one had an element of the empty set.

http://en.wikipedia.org/wiki/Principle_of_explosion

Mathematicians do make errors. Sometimes they brush them aside as trivial (like Girard in Nesov's example), but sometimes they care a lot.