Everyone should read this summary/review of the "debate".
More important, everyone should read the paper being debated: Social Processes and Proofs of Theorems and Programs, Richard A. De Millo (Georgia Institute of Technology) and Richard J. Lipton and Alan J. Perlis
(Yale University). This is one of my favorite CS papers because it exposes a lot of the mechanism behind making proofs that are convincing. What does it mean to say you have proven something.
More important, everyone should read the paper being debated: Social Processes and Proofs of Theorems and Programs, Richard A. De Millo (Georgia Institute of Technology) and Richard J. Lipton and Alan J. Perlis (Yale University). This is one of my favorite CS papers because it exposes a lot of the mechanism behind making proofs that are convincing. What does it mean to say you have proven something.