The proof presented in Nagel and Newman's book is not that difficult to follow, and the insight that you get from following the proof itself is genuinely worth

The proof presented in Nagel and Newman's book is not that difficult to follow, and the insight that you get from following the proof itself is genuinely worth the effort of sitting down with the book for a weekend. I should think that anyone who can construct a working computer program is capable of this. A much larger challenge would be sitting down afterward and explaining it to someone else.