| Document Type
|
:
|
BL
|
| Record Number
|
:
|
626257
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
MacKenzie, Donald A.
|
| Title & Author
|
:
|
Mechanizing proof : : computing, risk, and trust /\ Donald MacKenzie.
|
| Publication Statement
|
:
|
Cambridge, Mass. :: MIT Press,, c2001.
|
| Series Statement
|
:
|
Inside technology
|
| Page. NO
|
:
|
xi, 427 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
0262133938 (HC : alk. paper)
|
|
|
:
|
: 9780262133937 (HC : alk. paper)
|
|
|
:
|
: 0262632950 (pbk.)
|
|
|
:
|
: 9780262632959 (pbk.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. [335]-418) and index.
|
| 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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer systems-- Reliability.
|
| Subject
|
:
|
Computers and civilization.
|
| LC Classification
|
:
|
QA76.76.R44M36 2001
|