Mechanizing Proof: Computing, Risk, and Trust by MacKenzie, Donald

Mechanizing Proof: Computing, Risk, and Trust (Paperback) (ISBN-13: 9780262632959)

Vendor: Donald MacKenzie
Product type: Books
Format: Paperback
$40.00
$40.00
$40.00
Subtotal: $40.00
Mechanizing Proof: Computing, Risk, and Trust by MacKenzie, Donald

Mechanizing Proof: Computing, Risk, and Trust

$40.00
Mechanizing Proof: Computing, Risk, and Trust by MacKenzie, Donald

Mechanizing Proof: Computing, Risk, and Trust

$40.00
Format: Paperback
Description
Description
x
A sociological approach to the history of proof, as applied to and performed by computer systems.

Author: Donald MacKenzie
ISBN-10: 0262632950
ISBN-13: 9780262632959
Publisher: MIT Press
Language: English
Published: 01/30/2004
Pages: 440
Format: Paperback
Weight: 1.41lbs
Size: 8.58h x 5.60w x 1.04d
By Donald MacKenzie
By Donald MacKenzie
x
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.

Recently Viewed Products