Social Processes and Proofs of Theorems and Programswww1.cs.columbia.edu2 pointskenjackson15 years ago