Mechanizing Proof: Computing, Risk, and Trust

by Donald Angus MacKenzie

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 MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history...

• Format: Paperback
• Language: English
• ISBN: 0262632950
• ISBN13: 9780262632959
• Release Date: January 2004
• Publisher: MIT Press
• Length: 440 Pages
• Weight: 1.45 lbs.
• Dimensions: 1.0" x 5.6" x 8.6"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher