Artículos relacionados a Mechanizing Proof: Computing, Risk, and Trust (Inside...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Mechanizing Proof: Computing, Risk, and Trust (Inside...
Imagen de archivo
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Publicado por
The MIT Press, 2004
ISBN 10: 0262632950
ISBN 13: 9780262632959
Antiguo o usado
paperback
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: 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 ref. del artículo: S_476048077
Comprar usado
EUR 31,00
Envío por EUR 3,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mechanizing Proof. Computing, Risk, and Trust
Publicado por
The MIT Press, 2004
ISBN 10: 0262632950
ISBN 13: 9780262632959
Antiguo o usado
Tapa blanda
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: ZB1353281
Comprar usado
EUR 30,38
Envío por EUR 4,02
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Mechanizing Proof
Publicado por
The MIT Press, 2004
ISBN 10: 0262632950
ISBN 13: 9780262632959
Antiguo o usado
Softcover
Librería: Galisteo Consulting Group Books, Albuquerque, NM, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: B651_45_22
Comprar usado
EUR 52,36
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Mechanizing Proof : Computing, Risk, and Trust
Publicado por
The MIT Press, 2004
ISBN 10: 0262632950
ISBN 13: 9780262632959
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 2120676
Comprar usado
EUR 50,90
Envío por EUR 2,36
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Mechanizing Proof : Computing, Risk, and Trust
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 2120676-n
Comprar nuevo
EUR 52,23
Envío por EUR 2,36
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mechanizing Proof
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780262632959
Comprar nuevo
EUR 54,67
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Mechanizing Proof
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9780262632959
Comprar nuevo
EUR 56,56
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mechanizing Proof
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: 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 ref. del artículo: L0-9780262632959
Comprar nuevo
EUR 50,90
Envío por EUR 5,99
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Publicado por
The MIT Press Bookstore, 2004
ISBN 10: 0262632950
ISBN 13: 9780262632959
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 440. Nº de ref. del artículo: 8200403
Comprar nuevo
EUR 53,59
Envío por EUR 7,76
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Publicado por
The MIT Press Bookstore, 2004
ISBN 10: 0262632950
ISBN 13: 9780262632959
Nuevo
Tapa blanda
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 440. Nº de ref. del artículo: 18696070
Comprar nuevo
EUR 53,74
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles