Gödel’s Lost Letter and P=NP.

R. J. Lipton (Georgia Tech) and (occasionally) K. Regan (SUNY Buffalo) have a great and active blog on theoretical CS (complexity theory etc) and the attached bits of maths.

Noteworthy: