[FOM] Re: formal verification of the prime number theorem
Timothy Y. Chow
tchow at alum.mit.edu
Sun Sep 12 20:03:22 EDT 2004
"Jeremy Avigad" <avigad at cmu.edu> wrote:
> I am pleased to announce that with the help of Kevin Donnelly, David
> Gray, and Paul Raff, I have verified a proof of the prime number theorem
> using the Isabelle proof assistant.
Congratulations! A landmark achievement.
Not to deprive you of the enjoyment of basking in your accomplishment for
a while, but...what next? How about Khinchin's "Three Pearls of Number
Theory" in his book by that name? Or Dirichlet's theorem on primes in
More information about the FOM