cousin_it comments on Philosophy: A Diseased Discipline - Less Wrong

88 Post author: lukeprog 28 March 2011 07:31PM

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

Comments (425)

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

Comment author: cousin_it 29 March 2011 10:50:01PM *  3 points [-]

Thanks, that's a valid argument that I didn't think of.

But it's sorta balanced by the fact that a lot of established math is really damn established. For example, compare Einstein's general relativity with Brouwer's fixed point theorem. Both were invented at about the same time, both are really important and have been used by lots and lots of people. Yet I think Brouwer's theorem is way more reliable and less likely to be overturned than general relativity, and I'm not sure if anyone anywhere thinks otherwise.

Comment author: Dreaded_Anomaly 30 March 2011 02:52:56AM 2 points [-]

I'm not sure if "overturning" general relativity is the appropriate description. We may well find a broader theory which contains general relativity as a limiting case, just as general relativity has special relativity and Newtonian mechanics as limiting cases. With the plethora of experimental verifications of general relativity, however, I wouldn't expect to see it completely discarded in the way that, e.g., phlogiston theory was.

Comment author: Marius 30 March 2011 02:15:21AM 1 point [-]

Oh, I'm not calling mathematics more or less reliable than science. I'm saying that the ways in which one would overturn an established useful theorem would be very different from the ways in which one would overturn an established scientific theory. Another way in which mathematics is more reliable is that bias is irrelevant. Scientists have to disclose their conflicts of interest because it's easy for those conflicts to interfere with their objectivity during data collection or analysis, and so others must pay special attention. Mathematicians don't need to because all their work can be contained in one location, and can be checked in a much more rigorous fashion.