skip to content
Mechanizing proof : computing, risk, and trust Preview this item
ClosePreview this item
Checking...

Mechanizing proof : computing, risk, and trust

Author: Donald A MacKenzie
Publisher: Cambridge, Mass. : MIT Press, ©2001.
Series: Inside technology.
Edition/Format:   Book : EnglishView all editions and formats
Database:WorldCat
Summary:
Most aspects of our private and social lives 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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Donald A MacKenzie
ISBN: 0262133938 9780262133937 0262632950 9780262632959
OCLC Number: 45835532
Awards: Winner of American Sociological Association Science, Knowledge & Technology Section Robert K. Merton Award 2003.
Description: xi, 427 pages : illustrations ; 24 cm.
Contents: 1. Knowing Computers --
2. Boardwalks across the Tar Pit --
3. Artificial Mathematicians? --
4. Eden Defiled --
5. Covert Channels --
6. Social Processes and Category Mistakes --
7. Clocks and Chips --
8. Logics, Machines, and Trust --
9. Machines, Proofs, and Cultures.
Series Title: Inside technology.
Responsibility: Donald MacKenzie.
More information:

Abstract:

A sociological approach to the history of proof, as applied to and performed by computer systems.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"A most readable account of how program verification came to promise so much and deliver so little." - Richard Clayton, The Times Higher Education Supplement"

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/45835532>
library:oclcnum"45835532"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:copyrightYear"2001"
schema:creator
schema:datePublished"2001"
schema:description"1. Knowing Computers -- 2. Boardwalks across the Tar Pit -- 3. Artificial Mathematicians? -- 4. Eden Defiled -- 5. Covert Channels -- 6. Social Processes and Category Mistakes -- 7. Clocks and Chips -- 8. Logics, Machines, and Trust -- 9. Machines, Proofs, and Cultures."@en
schema:description"Most aspects of our private and social lives 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."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/797185255>
schema:inLanguage"en"
schema:isPartOf
schema:name"Mechanizing proof : computing, risk, and trust"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA201278>
umbel:isLike<http://bnb.data.bl.uk/id/resource/GBA4Z0115>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.