Comment Comment by atdixon A relevant paper to discuss alongside this one: https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdfSocial Processes and Proofs of Theorems and ProgramsEven rigorous mathematics requires social processes to become 'reliable', ie truthful. parent atdixon 6 years ago
Social Processes and Proofs of Theorems and Programs
Even rigorous mathematics requires social processes to become 'reliable', ie truthful.