Mechanizing Proof

Computing, Risk, and Trust

By:

Donald MacKenzie

Format:

Paperback / softback

Series:

Mechanizing Proof

Show Hide Adult Content

$130.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $32.50 with Afterpay Learn more

6 weekly interest-free payments of $21.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 18-28 June using International Courier

Description

Most aspects of our private and social lives - our safety, the integrity of the financial system, the functioning of utilities and other services, and national security - now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald McKenzie addresses this key issue by investigating the interrelations of computing, risk and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with scientists and engineers. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanised proof. He describes the systems constructed by those committed to the latter ideal and the many questions those systems raise about the nature of proof. He looks at the primary social influence on the development of automated proof - the need to predict the behaviour of the computer systems on which human life and security depend - and explores the involvement of powerful organisations such as the National Security Agency.

Author Biography:

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.

Release date NZ

January 30th, 2004

Author

Donald MacKenzie

Audience

Professional & Vocational

Illustrations

48 illus.

Interest Age

From 18 years

Pages

440

Series

Mechanizing Proof

Dimensions

152x229x25

ISBN-13

9780262632959

Product ID

3625152

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here