JonahSinick 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. Show more comments above.

Comment author: JonahSinick 03 June 2013 09:40:07PM *  2 points [-]

I guess we'll have to agree to disagree here :-). I find Euler's evidence for the product formula for sine to be far more convincing than what was available to Cauchy at the time.

Edit: I say more here, where I highlight how different the two situations are.

Comment author: Eugine_Nier 04 June 2013 05:38:41AM 1 point [-]

Are you sure you aren't suffering from hindsight bias?

Comment author: JonahSinick 04 June 2013 05:52:19AM 2 points [-]

Not 100% sure, but pretty sure. The situation isn't so much that I think that the evidence for the limit of a continuous function being continuous is weak, as much as that the evidence for the product formula for sine is very strong.

The result (and its analog) imply two formulas for pi that had been proved by other means, and predicts infinitely many previously unknown numerical identities, which can be checked to be true to many decimal places. What more could you ask for? :-)

Comment author: Eugine_Nier 06 June 2013 05:23:33AM -1 points [-]

and predicts infinitely many previously unknown numerical identities, which can be checked to be true to many decimal places.

And did Euler check them?

Comment author: JonahSinick 06 June 2013 06:03:12AM 1 point [-]

Polya reports on Euler performing such checks. I don't know how many he did – one would have to look at the original papers (which are in Latin), and even they probably omit some of the plausibility checks that Euler did.