14

I very much enjoyed reading through The Annotated Turing which goes through Turing's "On Computable Numbers, with an Application to the Entscheidungsproblem" in careful detail. I saw this question on here and while saddened to find an online platform for doing something similar for papers in general has still not materialised, it did get me thinking if there are other books out there that do something similar to The Annotated Turing for other famous mathematical papers. It seems someone's published a similar book on Goedel's incompleteness theorem just quite recently, so I'd be quite surprised if the list of books annotating famous papers started and ended with these two only.

Nobilis
  • 323

2 Answers2

8

H. M. Edwards, "Riemann's Zeta Function" (Academic Press, 1974, New Edition in Dover, 2001) is an extremely annotated reading of Riemann's classical paper on the zeta function).

F Zaldivar
  • 1,422
7

Concerning the book on Gödel's paper ("On Formally Undecidable Propositions of Principia Mathematica and Related Systems"), you apparently meant the book Gödel's Proof, which does not seem to be an annotation of the paper, but rather, quoting from the description by the publisher, "a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery".

Iosif Pinelis
  • 116,648