Sociology of Proof
Professor Donald MacKenzie
Professor MacKenzie is a historian and sociologist of computer science. His interest is now in formal verification. He has written an article on the sociology of proof and at least two books on the history and sociology of aspects of computer science. One is called Inventing Accuracy about the development of guided missiles. The other is Knowing Machines about AI.
He will give a 20 minute summary of his talk in STS
on Monday, and then I will try to coax him to talk with
us about the role of formal proofs. I might need to
talk for 15 minutes myself to provoke the right response.