A relevant paper to discuss alongside this one: https://www.cs.umd.edu/~gasarch/...

		atdixon on Sept 17, 2020 \| parent \| context \| favorite \| on: How Did Software Get So Reliable Without Proof? (1... A relevant paper to discuss alongside this one: https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf Social Processes and Proofs of Theorems and Programs Even rigorous mathematics requires social processes to become 'reliable', ie truthful.