Social Processes and Proofs of Theorems and Programs (Revised Version).
Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis · 1978
It has been extensively argued that the art and science of programming should strive to become more like mathematics. In this paper we argue that this point of view is correct, but that the reasons usually given for it are wrong. We present our view that mathematics is, rather than a formal process, an ongoing social process and that the formalistic view of mathematics is misleading and destructive for proving software. (Author)