Mark Tuttle points to this post by Bill Gasarch about a panel discussion on the following topic: Have the points made in Social Processes and Proofs of Theorems and Programs by DeMillo, Lipton, Perlis, survived the test of time? (Spoiler … Continue reading