Picture 1 of 1
Donald Mackenzie Mechanizing Proof (Paperback) Inside Technology (UK IMPORT)
Another great item from Rarewaves | Free delivery!
Condition:
More than 10 available
Postage:
Located in: GU14 0GT, United Kingdom
Delivery:
Varies
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
- 98.4% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:276408983679
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Book Title
- Mechanizing Proof : Computing, Risk, and Trust
- Publication Name
- Mechanizing Proof
- Title
- Mechanizing Proof
- Subtitle
- Computing, Risk, and Trust
- 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
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
Seller assumes all responsibility for this listing.
eBay item number:276408983679
Postage and handling
Item does not ship to United States
Item location:
GU14 0GT, United Kingdom
Post to:
Albania, Algeria, American Samoa, Americas, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Asia, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Barbados, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Europe, Falkland Islands (Islas Malvinas), Fiji, Finland, French Guiana, French Polynesia, Gabon Republic, Gambia, Georgia, Ghana, Gibraltar, Greece, Greenland, Grenada, Guadeloupe, Guam, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Israel, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Marshall Islands, Martinique, Mauritania, Mauritius, Mayotte, Mexico, Micronesia, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nepal, Netherlands Antilles, New Caledonia, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Palau, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Puerto Rico, Qatar, Republic of Croatia, Republic of the Congo, Reunion, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, South Africa, South Korea, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Venezuela, Vietnam, Virgin Islands (U.S.), Wallis and Futuna, Western Sahara, Western Samoa, Zambia, Zimbabwe
Excludes:
Afghanistan, Australia, Austria, Belarus, France, Germany, Ireland, Italy, Libya, Nauru, Netherlands, Russian Federation, Somalia, Spain, Switzerland, Ukraine, United Kingdom, United States, Yemen
Handling time |
---|
Will usually post within 4 business days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales Tax for an item #276408983679
Sales Tax for an item #276408983679
Seller collects sales tax for items shipped to the following states:
State | Sales Tax Rate |
---|
Return policy
After receiving the item, contact seller within |
---|
30 days after the buyer receives it |
The buyer is responsible for return postage costs.
Seller feedback (183,431)
p***a (150)- Feedback left by buyer.
Past month
Verified purchase
Absolutely awesome seller! Great communication and easy to deal with! A+++++!
c***o (58)- Feedback left by buyer.
Past month
Verified purchase
I didn't receive my order for the first time, but I received the new lp record very soon after communication with the seller. Thank you once again. You are very professional and kind.
Best regards
e***y (904)- Feedback left by buyer.
Past month
Verified purchase
Scam by seller and eBay no delivery and my refund was denied and eBay closed the case without my permission