Book
ID: CBB000101077

Mechanizing Proof: Computing, Risk and Trust (2001)

unapi

MacKenzie, Donald A. (Author)

MIT Press
Publication Date: 2001
Physical Details: xi + 427 pp., illus., bibl., notes, index
Language: English
Outside Links
Find this item through your library
WorldCat
Google Scholar
Google Books
Academia.edu
Computers and computing Sociology of knowledge Technology Proof Sociology 20th century

Description A sociological approach to the history of proof, as applied to and performed by computer systems over the last half century.

Reviewed By

Review Collins, Harry (2002) Review of "Mechanizing Proof: Computing, Risk and Trust". British Journal for the History of Science (p. 469). unapi

Essay Review Heintz, Bettina (2003) When Is a Proof a Proof?. Social Studies of Science (pp. 929-943). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB000101077/

Similar Citations

Book Lemov, Rebecca M.; (2015)
Database of Dreams: The Lost Quest to Catalog Humanity (/isis/citation/CBB962897773/)

Thesis Nelson, Rodney D.; (1990)
The reception and development of the sociology of knowledge in American sociology (/isis/citation/CBB001564384/)

Book Johan Heilbron; (2015)
French Sociology (/isis/citation/CBB064499987/)

Article Godin, Benoît; (2010)
Innovation without the Word: William F. Ogburn's Contribution to the Study of Technological Innovation (/isis/citation/CBB001034980/)

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (/isis/citation/CBB001220009/)

Article Ceruzzi, Paul E.; (2001)
A View From 20 Years as a Historian of Computing (/isis/citation/CBB000102451/)

Article Z. Stachniak; (2017)
MCM on Personal Software (/isis/citation/CBB801943675/)

Article Copeland, B. Jack; (2011)
The Manchester Computer: A Revised History. Part 1: The Memory (/isis/citation/CBB001231720/)

Article Brock, David C.; Laws, David A.; (2012)
The Early History of Microcircuitry: An Overview (/isis/citation/CBB001231698/)

Article Mooers, Calvin N.; (2001)
The Computer Project at the Naval Ordnance Laboratory (/isis/citation/CBB000102449/)

Article Sumner, James; Gooday, Graeme J. N.; (2008)
Introduction (/isis/citation/CBB001023038/)

Article Speiser, Ambros P.; (1998)
IBM Research Laboratory Zurich: The Early Years (/isis/citation/CBB000112107/)

Article Szentgyórgyi, Zsuzsa; (1999)
A Short History of Computing in Hungary (/isis/citation/CBB000112114/)

Article Aris, John; (2000)
Inventing Systems Engineering (/isis/citation/CBB000112001/)

Article Hall, Eldon C.; (2000)
From the Farm to Pioneering with Digital Computers: An Autobiography (/isis/citation/CBB000112044/)

Article Ibbett, Roland N.; (1999)
The University of Manchester MU5 Project (/isis/citation/CBB000112051/)

Book Burtsev, Vsevolod S.; (2002)
Sergei Alekseevich Lebedev (/isis/citation/CBB000203095/)

Book Yates, Joanne; (2005)
Structuring the Information Age: Life Insurance and Technology in the Twentieth Century (/isis/citation/CBB000831144/)

Article Wolcott, Peter; Dorojevets, Mikhail N.; (1998)
The Institute of Precision Mechanics and Computer Technology and the El'brus Family of High-Speed Computers (/isis/citation/CBB000112121/)

Essay Review Collins, Harry; (2002)
What the Tortoise Said to Achilles (/isis/citation/CBB000300441/)

Authors & Contributors
Yates, JoAnne
Walcott, Peter
Szentgyórgyi, Zsuzsa
Sumner, James
Stachniak, Zbigniew
Speiser, Ambros P.
Journals
IEEE Annals of the History of Computing
Minerva: A Review of Science, Learning and Policy
Isis: International Review Devoted to the History of Science and Its Cultural Influences
History of Technology
British Journal for the History of Science
Publishers
Yale University Press
Johns Hopkins University Press
Fizmatlit
Cornell University Press
University of Toronto
Concepts
Computers and computing
Technology
Sociology
Sociology of knowledge
Proof
Technological innovation
People
Kaplan, Bert
Ogburn, William Fielding
Mooers, Calvin N.
Mannheim, Karl
Lebedev, Sergei Alekseevich
Durkheim, Émile
Time Periods
20th century
20th century, late
19th century
Places
Manchester (England)
Russia
Great Britain
England
Zurich (Switzerland)
Switzerland
Institutions
Micro Computer Machines
Institute of Precision Mechanics and Computer Technology (Moscow)
American Telephone and Telegraph Company
United States Navy
University of Manchester
International Business Machines Corporation
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment

Creative Commons License REST API