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
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 Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association. 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


\n\n

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

Related Entities<\/h3>\n
<http:\/\/dewey.info\/class\/004.21\/e21\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Agent\/mit_press<\/a>> # MIT Press<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"MIT Press<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Place\/cambridge_mass<\/a>> # Cambridge, Mass.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Cambridge, Mass.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Series\/inside_technology<\/a>> # Inside technology.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/45835532<\/a>> ; # Mechanizing proof : computing, risk, and trust<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Inside technology.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Inside technology<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/automatische_bewijsvoering<\/a>> # Automatische bewijsvoering<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Automatische bewijsvoering<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/automatisches_beweisverfahren<\/a>> # Automatisches Beweisverfahren<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Automatisches Beweisverfahren<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/betrouwbaarheid<\/a>> # Betrouwbaarheid<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Betrouwbaarheid<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/bewijstheorie<\/a>> # Bewijstheorie<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Bewijstheorie<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/computer_systems_reliability<\/a>> # Computer systems--Reliability<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh98003200<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer systems--Reliability<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/computersystemen<\/a>> # Computersystemen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computersystemen<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/ordinateurs_et_civilisation<\/a>> # Ordinateurs et civilisation<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Ordinateurs et civilisation<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/systemes_informatiques_fiabilite<\/a>> # Syst\u00E8mes informatiques--Fiabilit\u00E9<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Syst\u00E8mes informatiques--Fiabilit\u00E9<\/span>\"@fr<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/verificatie<\/a>> # Verificatie<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Verificatie<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/797185255#Topic\/wissenschaftssoziologie<\/a>> # Wissenschaftssoziologie<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Wissenschaftssoziologie<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/mau<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"mau<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/872656<\/a>> # Computer systems--Reliability<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer systems--Reliability<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/872888<\/a>> # Computers and civilization<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computers and civilization<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/24671191<\/a>> # Donald A. MacKenzie<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"MacKenzie<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Donald A.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Donald A. MacKenzie<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780262133937<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0262133938<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780262133937<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780262632959<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0262632950<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780262632959<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/45835532<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/45835532<\/a>> ; # Mechanizing proof : computing, risk, and trust<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2020-07-28<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n