Add this copy of Mechanizing Proof: Computing, Risk, and Trust to cart. $32.00, good condition, Sold by Row by Row Bookshop rated 5.0 out of 5 stars, ships from Sugar Grove, NC, UNITED STATES, published 2001 by The MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. No Dust Jacket. An ex-library copy in original black cloth. The usual ex-libris markings. The binding is sound, the text is clean/unmarked, and there is little cover wear. No dust jacket.
Add this copy of Mechanizing Proof: Computing, Risk, and Trust (Inside to cart. $35.99, good condition, Sold by Goodwill of Silicon Valley rated 5.0 out of 5 stars, ships from San Jose, CA, UNITED STATES, published 2001 by Mit Pr.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing page and cover creases as well as other types visible wear.
Add this copy of Mechanizing Proof: Computing, Risk, and Trust (Inside to cart. $36.99, good condition, Sold by The Maryland Book Bank rated 5.0 out of 5 stars, ships from baltimore, MD, UNITED STATES, published 2004 by MIT Press.
Add this copy of Mechanizing Proof to cart. $51.59, new condition, Sold by Books2anywhere rated 5.0 out of 5 stars, ships from Fairford, GLOUCESTERSHIRE, UNITED KINGDOM, published 2004 by Penguin Random House LLC.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Add this copy of Mechanizing Proof: Computing, Risk, and Trust to cart. $51.77, new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2004 by MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 440 p. Inside Technology. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Mechanizing Proof: Computing, Risk, and Trust to cart. $53.59, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2004 by MIT Press.
Add this copy of Mechanizing Proof: Computing, Risk, and Trust to cart. $54.63, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2004 by MIT Press.
Add this copy of Mechanizing Proof: Computing, Risk, and Trust (Inside to cart. $72.84, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2004 by The MIT Press.
Add this copy of Mechanizing Proof Computing, Risk, and Trust to cart. $76.67, new condition, Sold by Infosource Books rated 4.0 out of 5 stars, ships from Gainesville, FL, UNITED STATES, published 2001 by Books24x7. com.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association. 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 and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, mechanized 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 behavior of the computer systems upon which human life and security depend—and explores the involvement of powerful organizations such as the National Security Agency. He concludes that in mechanizing proof, and in pursuing dependable computer systems, we do not obviate the need for trust in our collective human judgment.
Add this copy of Mechanizing Proof: Computing, Risk, and Trust (Inside to cart. $81.82, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2001 by Mit Pr.
