000 06090cam a2200973Ia 4500
001 ocm51959172
003 OCoLC
005 20220712171418.0
006 m o d
007 cr cn|||||||||
008 030402s2001 maua ob 001 0 eng d
010 _a 2001018687
040 _aN$T
_beng
_epn
_cN$T
_dYDXCP
_dOCLCQ
_dN$T
_dOCLCQ
_dTUU
_dOCLCQ
_dTNF
_dOCLCQ
_dZCU
_dOCLCO
_dOCLCF
_dOCLCQ
_dUAB
_dB24X7
_dNLGGC
_dOCLCQ
_dPIFBR
_dLIV
_dOCLCQ
_dWY@
_dLUE
_dVTS
_dAGLDB
_dINT
_dREC
_dTOF
_dOCLCQ
_dCOO
_dMITPR
_dSTF
_dK6U
_dEBLCP
_dSFB
_dINARC
_dAU@
_dUKSSU
_dLDP
_dVLY
_dUKAHL
_dOCLCO
_dVT2
015 _aGBA2-01278
015 _aGBA201278
_2bnb
016 7 _a000022246776
_2AU
019 _a80221882
_a606025324
_a961595829
_a962559950
_a991973284
_a1053034255
_a1057997554
_a1150173633
_a1150282230
_a1153082285
_a1154982860
_a1156836539
_a1241771564
_a1280213148
_a1281461712
_a1286906433
_a1300565590
_a1303306935
_a1303500338
020 _a9780262278829
_q(electronic bk.)
020 _a0262278820
_q(electronic bk.)
020 _a0585436738
_q(electronic bk.)
020 _a9780585436739
_q(electronic bk.)
020 _z0262632950
020 _z0262133938 (HC : alk. paper)
020 _a9780262632959
020 _a0262632950
020 _a9780262133937
020 _a0262133938
024 3 _a9780262133937
029 1 _aAU@
_b000051394316
029 1 _aAU@
_b000053223655
029 1 _aDEBBG
_bBV043152846
029 1 _aDEBSZ
_b42245088X
029 1 _aGBVCP
_b800936663
035 _a(OCoLC)51959172
_z(OCoLC)80221882
_z(OCoLC)606025324
_z(OCoLC)961595829
_z(OCoLC)962559950
_z(OCoLC)991973284
_z(OCoLC)1053034255
_z(OCoLC)1057997554
_z(OCoLC)1150173633
_z(OCoLC)1150282230
_z(OCoLC)1153082285
_z(OCoLC)1154982860
_z(OCoLC)1156836539
_z(OCoLC)1241771564
_z(OCoLC)1280213148
_z(OCoLC)1281461712
_z(OCoLC)1286906433
_z(OCoLC)1300565590
_z(OCoLC)1303306935
_z(OCoLC)1303500338
037 _a4529
_bMIT Press
037 _a9780262278829
_bMIT Press
050 4 _aQA76.76.R44
_bM36 2001eb
072 7 _aCOM
_x051240
_2bisacsh
082 0 4 _a004/.2/1
_221
049 _aMAIN
100 1 _aMacKenzie, Donald A.
_9202046
245 1 0 _aMechanizing proof :
_bcomputing, risk, and trust /
_cDonald MacKenzie.
260 _aCambridge, Mass. :
_bMIT Press,
_c©2001.
300 _a1 online resource (xi, 427 pages) :
_billustrations.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aInside technology
504 _aIncludes bibliographical references (pages 335-418) and index.
588 0 _aPrint version record.
520 _aMost 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.
546 _aEnglish.
505 0 _a1. 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.
506 _aElectronic resource (access conditions).
590 _aeBooks on EBSCOhost
_bEBSCO eBook Subscription Academic Collection - Worldwide
650 0 _aComputer systems
_xReliability.
_9175566
650 0 _aComputers and civilization.
_935600
650 6 _aSystèmes informatiques
_xFiabilité.
_9922064
650 6 _aOrdinateurs et civilisation.
_9891158
650 7 _aCOMPUTERS
_xSoftware Development & Engineering
_xSystems Analysis & Design.
_2bisacsh
_9882753
650 7 _aComputer systems
_xReliability.
_2fast
_0(OCoLC)fst00872656
_9175566
650 7 _aComputers and civilization.
_2fast
_0(OCoLC)fst00872888
_935600
650 1 7 _aComputersystemen.
_2gtt
_91285709
650 1 7 _aVerificatie.
_0(NL-LeOCL)078940648
_2gtt
_91326813
650 1 7 _aAutomatische bewijsvoering.
_2gtt
_91334668
650 1 7 _aBewijstheorie.
_2gtt
_9938367
650 1 7 _aBetrouwbaarheid.
_0(NL-LeOCL)078451051
_2gtt
_9881912
650 7 _aComputer Science.
_2hilcc
_957974
650 7 _aEngineering & Applied Sciences.
_2hilcc
_9848960
653 _aSCIENCE, TECHNOLOGY & SOCIETY/General
655 0 _aElectronic books.
655 4 _aElectronic books.
776 0 8 _iPrint version:
_aMacKenzie, Donald A.
_tMechanizing proof.
_dCambridge, Mass. : MIT Press, ©2001
_z0262133938
_w(DLC) 2001018687
_w(OCoLC)45835532
830 0 _aInside technology.
_951715
856 4 0 _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=74992
938 _aAskews and Holts Library Services
_bASKH
_nAH37586625
938 _aProQuest Ebook Central
_bEBLB
_nEBL5965954
938 _aBooks 24x7
_bB247
_nbks00003694
938 _aEBSCOhost
_bEBSC
_n74992
938 _aYBP Library Services
_bYANK
_n2332024
938 _aYBP Library Services
_bYANK
_n3411154
938 _aInternet Archive
_bINAR
_nmechanizingproof0000mack
994 _a92
_bINOPJ
999 _c2871393
_d2871393