Articles liés à Mechanizing Proof: Computing, Risk, and Trust
Synopsis
This series presents recent research on the effects of taxation and government expenditure programs on economic performance and analyses of the effects of potential tax reforms. The research results appear in a form that is accessible to tax practitioners and policymakers.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Donald MacKenzie is Professor of Sociology (Personal Chair) at the University of Edinburgh. His books include Inventing Accuracy (1990), Knowing Machines (1996), and Mechanizing Proof (2001), all published by the MIT Press. Portions of An Engine, not a Camera won the Viviana A. Zelizer Prize in economic sociology from the American Sociological Association.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Mechanizing Proof: Computing, Risk, and Trust
Image d'archives
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Edité par
The MIT Press, 2004
ISBN 10 : 0262632950
ISBN 13 : 9780262632959
Ancien ou d'occasion
paperback
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_476048077
Acheter D'occasion
EUR 31
Expédition à EUR 3,35
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mechanizing Proof. Computing, Risk, and Trust
Edité par
The MIT Press, 2004
ISBN 10 : 0262632950
ISBN 13 : 9780262632959
Ancien ou d'occasion
Couverture souple
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Oct. 26 (weekend SALE item)* 440 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. N° de réf. du vendeur ZB1353281
Acheter D'occasion
EUR 30,38
Expédition à EUR 4,02
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Mechanizing Proof
Edité par
The MIT Press, 2004
ISBN 10 : 0262632950
ISBN 13 : 9780262632959
Ancien ou d'occasion
Softcover
Vendeur : Galisteo Consulting Group Books, Albuquerque, NM, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Fine. Used - like new Ships from the USA. 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. 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. Keywords: STS, Science and Technology Studies, Sociology of Technology. N° de réf. du vendeur B651_45_22
Acheter D'occasion
EUR 52,36
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mechanizing Proof : Computing, Risk, and Trust
Edité par
The MIT Press, 2004
ISBN 10 : 0262632950
ISBN 13 : 9780262632959
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 2120676
Acheter D'occasion
EUR 50,90
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mechanizing Proof : Computing, Risk, and Trust
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 2120676-n
Acheter neuf
EUR 52,23
Expédition à EUR 2,36
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mechanizing Proof
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780262632959
Acheter neuf
EUR 54,67
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Mechanizing Proof
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur LU-9780262632959
Acheter neuf
EUR 56,56
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mechanizing Proof
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780262632959
Acheter neuf
EUR 50,90
Expédition à EUR 5,99
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Edité par
The MIT Press Bookstore, 2004
ISBN 10 : 0262632950
ISBN 13 : 9780262632959
Neuf
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 440. N° de réf. du vendeur 8200403
Acheter neuf
EUR 53,59
Expédition à EUR 7,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Edité par
The MIT Press Bookstore, 2004
ISBN 10 : 0262632950
ISBN 13 : 9780262632959
Neuf
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 440. N° de réf. du vendeur 18696070
Acheter neuf
EUR 53,74
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)