Johnicholas comments on Correlated decision making: a complete theory - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (22)
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?
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.