On "local" and "global" errors in mathematical papers, and how to detect them
terrytao.wordpress.com