Computers & the Internet, Computer Science

Mechanizing Proof: Computing, Risk, and Trust

Name: Mechanizing Proof: Computing, Risk, and Trust
Author: Donald MacKenzie
ISBN: 9780262133937

by Donald MacKenzie

Write a review

Synopsis

A sociological approach to the history of proof, as applied to and performed by computer systems.

About the Author, 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.