12 ms·
The best reference for proofs as social constructions is: DeMillo, Lipton, Perlis Social Processes and Proofs of Theorems and Programs https://gwern.net/doc/
by mikhailfranco 3y ago
The best reference for proofs as social constructions is:
DeMillo, Lipton, Perlis
Social Processes and Proofs of Theorems and Programs
https://gwern.net/doc/math/1979-demillo.pdf https://gwern.net/doc/math/1979-demillo.pdf
- mikhailfranco 3y agoBetter link... https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf