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 |