MacKenzie, Donald A. (Author)
Description A sociological approach to the history of proof, as applied to and performed by computer systems over the last half century.
Review Collins, Harry (2002) Review of "Mechanizing Proof: Computing, Risk and Trust". British Journal for the History of Science (p. 469).
Essay Review Heintz, Bettina (2003) When Is a Proof a Proof?. Social Studies of Science (pp. 929-943).
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/)
Be the first to comment!