Eugine_Nier 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: 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.