/LC.GIF&client=easterncarolinaedu)
Mechanizing proof computing, risk, and trust / Donald MacKenzie.
| Author/creator | MacKenzie, Donald A. |
| Format | Electronic |
| Publication Info | Cambridge, Mass. : MIT Press, |
| Description | xi, 427 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from eBooks on EBSCOhost |
| Supplemental Content | Full text available from MIT Press Direct to Open Backfile HSS Monographs |
| Subjects |
| Series | Inside technology |
| Contents | Machine generated contents note: 1 -- Knowing Computers 1 -- 2 -- Boardwalks across the Tar Pit 23 -- 3 -- Artificial Mathematicians? 63 -- 4 -- Eden Defiled 101 -- S -- Covert Channels 151 -- 6 -- Social Processes and Category Mistakes 197 -- 7 -- Clocks and Chips 219 -- 8 -- Logics, Machines, and Trust 257 -- 9 -- Machines, Proofs, and Cultures 299 -- Notes 335 -- Index 419. |
| Bibliography note | Includes bibliographical references (p. [335]-418) and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2001018687 |
| ISBN | 0262133938 (HC : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |