3 ms·
Alan Perlas, Dick Lipton, and Richard De Millo addressed this question in their POPL3 paper, Social Processes and Proof of Theorems and Programs, https://www.c
by drallison 10y ago
Alan Perlas, Dick Lipton, and Richard De Millo addressed this question in their POPL3 paper, Social Processes and Proof of Theorems and Programs,
https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf. It is still a good read.