Mechanizing proof : computing, risk, and trust
Most aspects of our private and social lives 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
Print Book, English, ©2001
MIT Press, Cambridge, Mass., ©2001