Cookies on oxfam

We use cookies to ensure that you have the best experience on our website. If you continue browsing, we’ll assume that you are happy to receive all our cookies. You can change your cookie settings at any time. Find out more Accept

Feedback

Free returns

-

£3.95 standard UK delivery

-

All profits fight poverty

Keep up with Oxfam's Online Shop

© 2015. Oxfam is a registered charity in England and Wales (no 202918) and Scotland (SC039042). Oxfam GB is a member of Oxfam International.

Mechanizing proof

£15.00 Out Of Stock

Product description

New paperback.

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.

Item details

Author(s):
MacKenzie Donald
Condition:
New
Dimensions:
229x152x25
EAN-13:
9780262632959
Edition:
2001
Format:
Paperback
ISBN-10:
0262632959
ISBN-13:
9780262632959
Number of items:
1
Number of pages:
427
Publisher:
The MIT Press
Title:
Mechanizing Proof

Sold Out

We're sorry to say this item has now sold out.

There are over 100,000 more items in stock. Start browsing with our suggestions below.

About this item

New paperback.

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(s):
MacKenzie Donald
Condition:
New
Dimensions:
229x152x25
EAN-13:
9780262632959
Edition:
2001
Format:
Paperback
ISBN-10:
0262632959
ISBN-13:
9780262632959
Number of items:
1
Number of pages:
427
Publisher:
The MIT Press
Title:
Mechanizing Proof

Delivery & returns

This item will be dispatched to UK addresses via second class post within 14 working days of receipt of your order. Standard UK delivery is £3.95 per order, so you're only charged once no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

This item will be dispatched to UK addresses via second class post within 14 working days of receipt of your order. Standard UK delivery is currently free, no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

We offer a 30 day no quibble returns policy. You can find out more about delivery and returns in our help section. You have the option of a full refund or exchange for an alternative item from the range.

This item is also available for international delivery by airmail, carrying a mandatory delivery charge of:

Europe: £8.00

Outside Europe: £15.00

Volunteer listed

Wonder how this unique item ended up online?

Most of the second-hand items you see online have been donated, by supporters like you, to our high street stores. Each item is then priced, photographed and listed on this site by our amazing team of volunteers from across the country.

After you have bought your item, our team of volunteers package and dispatch it from the Shop straight to you or your chosen recipient.

All profits from the sales of our goods go towards funding Oxfam's work around the world. We rely on your donations to sell online so please keep the cycle of goodness going!

Oxfam Shop Kendal

Kendal is a historic market town and at Oxfam we offer an extensive range of selected quality second hand goods. We have a specialist books section and offer Oxfam's fair trade products which are purchased by locals, businesses and visitors. Situated in the valley on the banks of the river Kent just 8 miles from Morecambe Bay, Kendal stands at the entrance to one of the most beautiful parts of the country - the English Lake District and only 20 minutes drive to the Yorkshire Dales National Park.

View Shop