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:   Print 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


Primary Entity

<http://www.worldcat.org/oclc/45835532> # Mechanizing proof : computing, risk, and trust
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "45835532" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/797185255#Place/cambridge_mass> ; # Cambridge, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/betrouwbaarheid> ; # Betrouwbaarheid
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/computer_systems_reliability> ; # Computer systems--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/verificatie> ; # Verificatie
    schema:about <http://id.worldcat.org/fast/872888> ; # Computers and civilization
    schema:about <http://id.worldcat.org/fast/872656> ; # Computer systems--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/computersystemen> ; # Computersystemen
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/ordinateurs_et_civilisation> ; # Ordinateurs et civilisation
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/systemes_informatiques_fiabilite> ; # Systèmes informatiques--Fiabilité
    schema:about <http://dewey.info/class/004.21/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/wissenschaftssoziologie> ; # Wissenschaftssoziologie
    schema:about <http://experiment.worldcat.org/entity/work/data/797185255#Topic/bewijstheorie> ; # Bewijstheorie
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2001" ;
    schema:creator <http://viaf.org/viaf/24671191> ; # Donald A. MacKenzie
    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 <http://experiment.worldcat.org/entity/work/data/797185255#Series/inside_technology> ; # Inside technology.
    schema:name "Mechanizing proof : computing, risk, and trust"@en ;
    schema:productID "45835532" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/45835532#PublicationEvent/cambridge_mass_mit_press_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/797185255#Agent/mit_press> ; # MIT Press
    schema:url <http://catdir.loc.gov/catdir/toc/fy022/2001018687.html> ;
    schema:workExample <http://worldcat.org/isbn/9780262133937> ;
    schema:workExample <http://worldcat.org/isbn/9780262632959> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA201278> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA4Z0115> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/45835532> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/797185255#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/797185255#Series/inside_technology> # Inside technology.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/45835532> ; # Mechanizing proof : computing, risk, and trust
    schema:name "Inside technology." ;
    schema:name "Inside technology" ;
    .

<http://experiment.worldcat.org/entity/work/data/797185255#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
    schema:name "Automatische bewijsvoering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/797185255#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
    schema:name "Automatisches Beweisverfahren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/797185255#Topic/ordinateurs_et_civilisation> # Ordinateurs et civilisation
    a schema:Intangible ;
    schema:name "Ordinateurs et civilisation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/797185255#Topic/systemes_informatiques_fiabilite> # Systèmes informatiques--Fiabilité
    a schema:Intangible ;
    schema:name "Systèmes informatiques--Fiabilité"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/797185255#Topic/wissenschaftssoziologie> # Wissenschaftssoziologie
    a schema:Intangible ;
    schema:name "Wissenschaftssoziologie"@en ;
    .

<http://id.worldcat.org/fast/872656> # Computer systems--Reliability
    a schema:Intangible ;
    schema:name "Computer systems--Reliability"@en ;
    .

<http://id.worldcat.org/fast/872888> # Computers and civilization
    a schema:Intangible ;
    schema:name "Computers and civilization"@en ;
    .

<http://viaf.org/viaf/24671191> # Donald A. MacKenzie
    a schema:Person ;
    schema:familyName "MacKenzie" ;
    schema:givenName "Donald A." ;
    schema:name "Donald A. MacKenzie" ;
    .

<http://worldcat.org/isbn/9780262133937>
    a schema:ProductModel ;
    schema:isbn "0262133938" ;
    schema:isbn "9780262133937" ;
    .

<http://worldcat.org/isbn/9780262632959>
    a schema:ProductModel ;
    schema:isbn "0262632950" ;
    schema:isbn "9780262632959" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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