Dick, Stephanie (Author)
Isis: International Review Devoted to the History of Science and Its Cultural Influences
Volume: 102
Pages: 494--505
Edition Details: Part of a special section: “The History of Science and the History of Mathematics”
Language: English
During the 1970s and 1980s, a team of Automated Theorem Proving researchers at the Argonne National Laboratory near Chicago developed the Automated Reasoning Assistant, or AURA, to assist human users in the search for mathematical proofs. The resulting hybrid humans+AURA system developed the capacity to make novel contributions to pure mathematics by very untraditional means. This essay traces how these unconventional contributions were made and made possible through negotiations between the humans and the AURA at Argonne and the transformation in mathematical intuition they produced. At play in these negotiations were experimental practices, nonhumans, and nonmathematical modes of knowing. This story invites an earnest engagement between historians of mathematics and scholars in the history of science and science studies interested in experimental practice, material culture, and the roles of nonhumans in knowledge making.
...MoreArticle Alexander, Amir (2011) The Skeleton in the Closet: Should Historians of Science Care about the History of Mathematics?. Isis: International Review Devoted to the History of Science and Its Cultural Influences (p. 475).
Similar Citations
Article
McCullough, Philip Murray;
(2010)
Otto in the Chinese Room
(/isis/citation/CBB001023796/)
Book
Knuth, Donald Ervin;
Daylight, Edgar G.;
Grave, Kurt De;
(2013)
The Essential Knuth
(/isis/citation/CBB001214444/)
Book
Johnston, John;
(2008)
The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI
(/isis/citation/CBB000952055/)
Book
Mark Coeckelbergh;
(2020)
AI Ethics
(/isis/citation/CBB990965100/)
Book
Roberto Pieraccini;
(2021)
AI Assistants
(/isis/citation/CBB406160431/)
Book
Jack Copeland;
Jonathan Bowen;
Mark Sprevak;
Robin Wilson;
(2017)
The Turing Guide
(/isis/citation/CBB709222979/)
Article
Anderson, David Leech;
(2008)
Humans Using Machines, Humans as Machines: Implications for Teaching and Learning
(/isis/citation/CBB001031102/)
Book
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
(/isis/citation/CBB001213136/)
Article
Copeland, B. Jack;
Proudfoot, Diane;
(2011-2012)
Alan Turing, Father of the Modern Computer
(/isis/citation/CBB001210378/)
Article
Corry, Leo;
(2008)
Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory
(/isis/citation/CBB000850257/)
Article
Mirkin, Boris;
Muchnik, Ilya;
(2008)
Some Topics of Current Interest in Clustering: Russian Approaches 1960--1985
(/isis/citation/CBB001021412/)
Book
Krajewski, S.;
Marek, V. W.;
Mirkowska, G.;
Salwicki, A.;
Wolenski, J.;
(2008)
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science: In Recognition of Professor Andrzej Grzegorczyk
(/isis/citation/CBB000951795/)
Article
Anderson, David;
(2009)
The Contribution of M. H. A. Newman and His Mathematicians to the Creation of the Manchester “Baby”
(/isis/citation/CBB000931930/)
Thesis
Evan Donahue;
(2021)
Android Linguistics: How Machines Do Things with Words
(/isis/citation/CBB971642341/)
Thesis
Kum Hee Choy;
(2021)
Neuro Symbolic Artificial Intelligence Pioneer to Overcome the Limits of Machine Learn
(/isis/citation/CBB355588382/)
Article
Laura Leondina Campanozzi;
Eugenio Guglielmelli;
Eleonora Cella;
Giampaolo Ghilardi;
Mirta Michilli;
Alfonso Molina;
Massimo Ciccozzi;
Vittoadolfo Tambone;
(December 2019)
Building Trust in Social Robotics: A Pilot Survey
(/isis/citation/CBB220307519/)
Article
Katina Michael;
Diana Bowman;
Meg Leta Jones;
Ramona Pringle;
(March 2018)
Robots and Socio-Ethical Implications [Guest Editorial]
(/isis/citation/CBB056930455/)
Book
Tofts, Darren;
Jonson, Annemarie;
Cavallaro, Alessio;
(2002)
Prefiguring Cyberculture: An Intellectual History
(/isis/citation/CBB000302025/)
Thesis
Parisi, David P.;
(2008)
Touch Machines: An Archeology of Haptic Interfacing
(/isis/citation/CBB001561275/)
Book
Forsythe, Diana E.;
Hess, David J.;
(2001)
Studying Those Who Study Us: An Anthropologist in the World of Artificial Intelligence
(/isis/citation/CBB000500039/)
Spontaneous Generations
Rutherford Journal: The New Zealand Journal for the History and Philosophy of Science and Technology
Journal Electronique d'Histoire des Probabilités et de la Statistique
IEEE Annals of the History of Computing
Humanities and Technology Review
Be the first to comment!