Skip Nav Destination
Mechanizing Proof: Computing, Risk, and Trust
By
Donald MacKenzie
Donald MacKenzie
Donald MacKenzie is Professor of Sociology (Personal Chair) at the University of Edinburgh. His books include Inventing Accuracy (1990), Knowing Machines (1996), and Mechanizing Proof (2001), all published by the MIT Press. Portions of An Engine, not a Camera won the Viviana A. Zelizer Prize in economic sociology from the American Sociological Association.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262278829
Publication date:
2001
Book Chapter
2: Boardwalks across the Tar Pit
-
Published:2001
Citation
2001. "Boardwalks across the Tar Pit", Mechanizing Proof: Computing, Risk, and Trust, Donald MacKenzie
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.