Author: Donald Mackenzie
Edition:
Binding: Paperback
ISBN: 0262632950
Publisher: The MIT Press
Features:
Edition:
Binding: Paperback
ISBN: 0262632950
Publisher: The MIT Press
Features:
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Most 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. Search and download computer ebooks Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) for free.
Mechanizing Proof Computing, Risk, and Trust, ISBN-13: 9780262133937, ISBN-10: 0262133938. Download Mechanizing Proof computer ebooks
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, me
Mechanizing Proof: Computing, Risk, And Trust By Donald Mackenzie Paperback
Store Search search Title, ISBN and Author Mechanizing Proof: Computing, Risk, and Trust by Donald MacKenzie Estimated delivery 3-12 business days Format Paperback Condition Brand New 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 lives mdash; our safety, the integrity of the financial system, the functioning of utilities and other services, and national s
Mechanizing Proof � Computing, Risk and Trust By Donald Mackenzie Published by MIT Press Not quite what you're looking for? See more books in: See books in: Arts, Design, and Entertainment Business and Commerce Computing and IT History and Topography Lang
payment | shipping rates | returns Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) Product Category :Books Title :Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)EAN :9780262632959 Authors :Mackenzie, Donald Binding :Paperback Publisher :The MIT Press Publication Date :2004-01-30 Pages :440 Signed :False First Edition :False Dust Jacket :False List Price (MSRP) :31.00 Height :1.0400 inches Width :5.6000 inches Length :8.5800 inches Weight :1.4100 pounds Keywor
Product Category :Books ISBN :0262133938 Title :Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)EAN :9780262133937 Authors :MacKenzie, Donald Binding :Hardcover Publisher :The MIT Press Publication Date :2001-10-01 Pages :450 Signed :False First Edition :False Dust Jacket :False List Price (MSRP) :52.00 Height :1.2100 inches Width :6.3800 inches Length :9.1800 inches Weight :1.8600 pounds Condition :Good Ex-library with stamps and marks. Clean, tight copy. Minor shelf wear. Pag
Mechanizing Proof Free
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
MacKenzie argues that our culture now contains two ideals of proof: proof as traditionally conducted by human mathematicians, and formal, me
