Background: I found this interesting translation of Godel's *On formally undecidable propositions of Principia Mathematica and related systems I* that, along with translating it into English, uses more modern and understandable symbols, includes some hyper text links throughout the paper, and, if I'm not mistaken, makes the language a little more readable. This seems like a good and noble undertaking: taking an important paper and revamping it to make it more accessible, or at least less intimidating for modern readers.

So while looking through it, I couldn't help but think of another work that could benefit from such a treatment, Russell and Whitehead's *Principia Mathematica*. Every review I have read about it is something like "It lead to a lot of important developments in logic, but is mostly a historical curiosity. And besides, it is incredibly difficult to read, so putting forth the necessary effort is probably not worth it."

Here is the question: does such a thing exist, and would such a paper be worthwhile? Is there anything in the Principia that would be of interest to modern mathematicians. (Finding some points of interest and reproducing them seems like a better idea than trying to reproduce all three volumes.) Godel's theorem and his proof are still interesting, in spite of the fact that there are many other (better?) ways of getting to the Incompleteness theorems.

Another example of this sort of revision is *The Annotated Turing*.

I'd appreciate any knowledge of such a source, or any insight into why one wouldn't be too valuable, or really any thoughts on looking at Principia Mathematica at all.

ableto be translated into modern symbols. $\endgroup$ – David Roberts Nov 24 '11 at 4:47