gjm comments on The Use of Many Independent Lines of Evidence: The Basel Problem - Less Wrong

22 Post author: JonahSinick 03 June 2013 04:42AM

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

Comments (44)

You are viewing a single comment's thread.

Comment author: gjm 03 June 2013 09:10:28AM 13 points [-]

Could you elaborate on the role of the 25k mathematics papers on the arXiv in leading you to that 99.9999% figure? I'm having trouble following the logic in that paragraph.

Comment author: JonahSinick 03 June 2013 03:54:14PM 3 points [-]

I was hinting at the sheer volume of mathematical research — given that there's been so much mathematical research, and the fact that I haven't heard of any examples of statements as robustly supported as the product formula for sine that turned out to be false, there should be a very strong prior against such a statement being false.

One could attribute my not having heard of such an example to my ignorance :-) but such a story would have a strong tendency to percolate on account of being so weird, so one wouldn't need to know a great deal to have heard it.

Comment author: gjm 03 June 2013 06:36:13PM 5 points [-]

I understand how that works qualitatively, but I don't understand where the number 99.9999% comes from, nor how the number 25000 feeds into it. And surely only a tiny fraction of mathematics papers on the arXiv deal with conjectures of this sort, so why cite the number of papers there in particular?

I'll be (rather bogusly) quantitative for a moment. Pretend that every single one of those 25k papers on the arXiv makes an argument similar to Euler's, and that if any one of them were wrong then you'd certainly have heard about it. How improbable would an error have to be, to make it unsurprising (say, p=1/2) that you haven't heard of one? Answer: the probability of one paper being correct would have to be at least about 99.997%.

Now, to be sure, there's more out there than the arXiv. But, equally, hardly any papers deal with arguments like Euler's, and many papers go unscrutinized and could be wrong without anyone noticing, and surely many are obscure enough that even if they were noticed the news might not spread.

Maybe I'm being too pernickety. But it seems to me that one oughtn't to say "In the context of the fact that ~25,000 math papers were posted on ArXiv in 2012 it may be reasonable to conclude that the appropriate confidence level would have been 99.9999+%" when one means "There are lots of mathematics papers published and I haven't heard of another case of something like this being wrong, so probably most such cases are right".

Comment author: JonahSinick 03 June 2013 06:45:20PM 1 point [-]

I agree that my argument isn't tight. I'm partially going on tacit knowledge that I acquired during graduate school. The figure that I gave is a best guess.

Comment author: orthonormal 03 June 2013 07:17:16PM 7 points [-]

I think it's inappropriate to cite a figure as support for your estimate unless you indicate in some way how that figure affects your estimate.

Comment author: JonahSinick 03 June 2013 08:22:00PM 2 points [-]

I changed my post accordingly. I'm somewhat puzzled as to why it rubbed people the wrong way (to such a degree that my above comment was downvoted three times.)