You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

peaigr comments on Open Thread, October 1-15, 2012 - Less Wrong Discussion

1 Post author: David_Gerard 01 October 2012 05:54AM

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

Comments (477)

You are viewing a single comment's thread.

Comment author: [deleted] 01 October 2012 10:17:48PM *  9 points [-]

As a non-mathematician, I enjoyed an old blog post from Dick Lipton, Guessing the Truth, which lists a bunch mathematical conjectures incorrectly expected to be true, along with their resolutions. There's also a great comment by Terry Tao on kinds of evidence for mathematical conjectures. For example:

Attempts at disproof run into interesting obstacles. This one is a bit hard to formalise, but sometimes you can get a sense that attempts to disprove a conjecture are failing not due to one’s own lack of ability, or due to accidental contingencies, but rather due to “enemy activity”; some lurking hidden structure to the problem, corners of which emerge every time one tries to build a counterexample. The question is then whether this “enemy” is stupid enough to be outwitted by a sufficiently clever counterexample, or is powerful enough to block all such attempts. Identifying this enemy precisely is usually the key to resolving the conjecture (or transforming the conjecture into a stronger and better conjecture).