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.

solipsist comments on Stupid Questions February 2015 - Less Wrong Discussion

9 Post author: Gondolinian 02 February 2015 12:36AM

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

Comments (198)

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

Comment author: solipsist 13 February 2015 03:29:00AM 0 points [-]

Great answer, thanks.

Yes, my shallow, uninformed by higher maths complaint about the zeta function is that it sums n^-s instead of the simpler n^s.

Comment author: Douglas_Knight 13 February 2015 06:02:13AM 2 points [-]

As I said, the Riemann zeta function has its definition because it makes sense and the other doesn't. Once you have a solid definition of ζ(-1), you could declare that 1+2+3+...=ζ(-1) and then you might be tempted to reverse the sign. But the zeta function was around for a century before Riemann encouraged people to emphasize the values that don't make immediate sense.

You can do an awful lot just having it defined for real s>1. Euler used it to prove the infinitude of primes: ζ(1) is the harmonic series, thus infinite (or more precisely, an infinite limit as s approaches 1), but prime factorization expresses it as an product over primes, so there must be infinitely many primes to make it blow up. Moreover, this gives a better estimate of the density of the primes than Euclid's proof. Then Dirichlet used it and related functions to prove that there are infinitely many primes satisfying reasonable congruences. (Exercise: use Euler's technique to prove that there are infinitely many primes congruent to 1 mod 4 and infinitely many congruent to 3 mod 4.)