5. D. MacKenzie. The automation of proof: A historical and sociological exploration. [EEE Annals of the History of Computing, 17(3):7-29, 1995. arQl. H. Marchand. Reflections on PostFormal Thought. The Genetic Epistemologist, 2001. cK03. Bill McKibben. Enough: Staying Human in an Engineered Age. Saint Martins