It takes the average reader 7 hours and 20 minutes to read Mechanizing Proof by Donald MacKenzie
Assuming a reading speed of 250 words per minute. Learn more
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...
Mechanizing Proof by Donald MacKenzie is 440 pages long, and a total of 110,000 words.
This makes it 148% the length of the average book. It also has 134% more words than the average book.
The average oral reading speed is 183 words per minute. This means it takes 10 hours and 1 minute to read Mechanizing Proof aloud.
Mechanizing Proof is suitable for students ages 12 and up.
Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.
When deciding what to show young students always use your best judgement and consult a professional.
Mechanizing Proof by Donald MacKenzie is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.
To buy Mechanizing Proof by Donald MacKenzie on Amazon click the button below.
Buy Mechanizing Proof on Amazon