Back to home page
|Listed in category:
|
Add to Watchlist

Picture 1 of 1

Donald Mackenzie Mechanizing Proof (Paperback) Inside Technology (UK IMPORT) - Picture 1 of 1
Have one to sell?
Sell it yourself

Donald Mackenzie Mechanizing Proof (Paperback) Inside Technology (UK IMPORT)

Another great item from Rarewaves | Free delivery!
Condition:
Brand New
More than 10 available
Price:
C $95.87
Breathe easy. Returns accepted.
Shipping:
Does not ship to United States. See detailsfor shipping
Located in: GU14 0GT, United Kingdom
Delivery:
Varies
Returns:
30 days return. Buyer pays for return shipping. See details- for more information about returns
Payments:
     

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. 
Learn moreeBay Money Back Guarantee - opens new window or tab

Seller information

Registered as a Business Seller
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:276408983679
Last updated on May 08, 2024 19:31:03 EDTView all revisionsView all revisions

Item specifics

Condition
Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
Book Title
Mechanizing Proof : Computing, Risk, and Trust
Publication Name
Mechanizing Proof
Title
Mechanizing Proof
Subtitle
Computing, Risk, and Trust
Author
Donald Mackenzie
Format
Trade Paperback
ISBN-10
0262632950
EAN
9780262632959
ISBN
9780262632959
Publisher
MIT Press
Genre
Law, Social Science, Philosophy
Release Year
2004
Release Date
30/01/2004
Language
English
Country/Region of Manufacture
US
Item Height
0.9in
Item Length
9.1in
Item Width
6.5in
Item Weight
13 Oz
Series
Inside Technology
Publication Year
2004
Topic
Epistemology, Trial Practice, Sociology / General
Number of Pages
440 Pages

About this product

Product Information

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.

Product Identifiers

Publisher
MIT Press
ISBN-10
0262632950
ISBN-13
9780262632959
eBay Product ID (ePID)
30202967

Product Key Features

Book Title
Mechanizing Proof : Computing, Risk, and Trust
Author
Donald Mackenzie
Format
Trade Paperback
Language
English
Topic
Epistemology, Trial Practice, Sociology / General
Publication Year
2004
Genre
Law, Social Science, Philosophy
Number of Pages
440 Pages

Dimensions

Item Length
9.1in
Item Height
0.9in
Item Width
6.5in
Item Weight
13 Oz

Additional Product Features

Lc Classification Number
Qa76.76.R44m36 2004
Grade from
College Graduate Student
Copyright Date
2004
Target Audience
Trade
Dewey Decimal
004.2/1
Series
Inside Technology Ser.
Dewey Edition
22
Illustrated
Yes

Item description from the seller

Business seller information

Value Added Tax Number:
  • GB 864 1548 11
Rarewaves Canada

Rarewaves Canada

98.4% positive feedback
460K items sold
Visit storeContact

Detailed seller ratings

Average for the last 12 months

Accurate description
4.9
Reasonable shipping cost
5.0
Shipping speed
4.8
Communication
4.9

Popular categories from this store

See allcategories
Entertainment MemorabiliaArtCoins & Paper Money

Seller feedback (182,755)

u***n (38)- Feedback left by buyer.
Past 6 months
Verified purchase
Product is 95% alike picture but a little more blurry. Controller play well but had a notice from psn that my joypad wasn't authentic and could by problematic🤷‍♂️ no trouble so far! Shipping was fast but no tracking and worst packaging ever.. like the box came banged up... send a question to seller never had a reply 😅.... Good product overall, excellent price, fast shipping, wrapped only on 4 sides out of 6, no tracking and never reply... 4★ product / 2★ seller ✌️
PlayStation 4 Trade Invaders Harry Potter: Hogwarts Legacy (UK IMPORT) Game NEW (#395034538717)
l***t (120)- Feedback left by buyer.
Past 6 months
Verified purchase
The book is in perfect condition, brand new, and is exactly as described. This item is difficult to find here, and the seller priced it very reasonably. It shipped from the UK to Canada, and unfortunately took a little longer to arrive than the seller hoped, but it was shipped less than 24 hours after I purchased. When I contacted the seller, they were very responsive and helpful. I would not hesitate to purchase from this seller again. Definitely recommend!
How Do We Relationship?, Vol. 1 (Paperback) How Do We Relationship? (UK IMPORT) (#395050908475)
s***a (696)- Feedback left by buyer.
Past month
Verified purchase
AAA seller. Item came as described and within the due date. Great communication. Well packed and no damage to the case.
Buena Vista Social Club Buena Vista Social Club (Vinyl) 12" Album (UK IMPORT) (#394990994899)
See all feedback

Product ratings and reviews

Learn more
Write a review
No ratings or reviews yet
Be the first to write the review.

More to explore: