Mechanizing Proof: Computing, Risk, and Trust

By Donald MacKenzie. 2001

326 citations recorded by the source corpus.

Subfields: Theoretical Computer Science

View Paper: https://www.semanticscholar.org/paper/55519e5e531af24e332402d345d2aa8d36208476

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Theoretical Computer Science

1. J. Fosket
2. Laura Mamo
3. Janet K Shim
4. J. Fishman
5. Adele E. Clarke
6. Michael J. Barany

Citations in the corpus

• Biomedicalization: Technoscientific Transformations of Health, Illness, and U.S. Biomedicine (2003, methodology): “With the rise of biostatistics, methods of drug evaluation have achieved a distinctive form of scientific and bureaucratic standardization (MacKenzie 2001; Marks 1997; Porter 1995).”
• Chalk: Materials and Concepts in Mathematics Research (2011, background): “10Livingston 1986, MacKenzie 2001.”