Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) - Softcover

MacKenzie, Donald

 
9780262632959: Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

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.

"synopsis" may belong to another edition of this title.

About the Author

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.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780262133937: Mechanizing Proof – Computing, Risk & Trust: Computing, Risk, and Trust (Inside Technology)

Featured Edition

ISBN 10:  0262133938 ISBN 13:  9780262133937
Publisher: MIT Press, 2001
Hardcover