[FOM] re: proof of the twin prime conjecture

[Martin Davis]

Certainly no expert, I did a quick browse through this proposed proof of 
what would be a truly exciting result. As the author suggests, the methods 
used are for the most part plain "vanilla" analytic number theory using the 
kind of complex variable theory known to be formalizable in conservative 
extensions of PA. However the proof does rely on the "Wiener-Ikehara 
Tauberian Theorem" and I have no idea what the proof-theoretic strength of 
that might be.

Martin