反馈文件质量
ia/mechanizingproof0000mack.pdf
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) 🔍
Donald A. MacKenzie The MIT Press; MIT Press, MIT Press, Cambridge, Mass, 2001
英语 [en] · PDF · 22.5MB · 2001 · 📗 未知类型的图书 · 🚀/ia · Save
描述
Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association.
Most aspects of our private and social livesour safety, the integrity of the financial system, the functioning of utilities and other services, and national securitynow 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 proofthe need to predict the behavior of the computer systems upon which human life and security dependand 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.
备选作者
MacKenzie, Donald A
备用出版商
Cambridge, Mass.: MIT Press
备用出版商
AAAI Press
备用版本
Inside technology, Cambridge (Mass.), 2001
备用版本
United States, United States of America
备用版本
October 1, 2001
备用版本
PT, 2001
元数据中的注释
Includes bibliographical references (p. [335]-418) and index.
备用描述
Donald Mackenzie. Includes Bibliographical References (p. [335]-418) And Index.
备用描述
xi, 427 p. : 24 cm
Includes bibiographical references (p. [335]-418 ) and index
开源日期
2023-06-28
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：Motrix
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。