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
Book
Knuth, Donald Ervin;
Daylight, Edgar G.;
Grave, Kurt De;
(2013)
The Essential Knuth
Book
Johnston, John;
(2008)
The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI
Book
Roberto Pieraccini;
(2021)
AI Assistants
Book
Mark Coeckelbergh;
(2020)
AI Ethics
Article
Anderson, David Leech;
(2008)
Humans Using Machines, Humans as Machines: Implications for Teaching and Learning
Book
Jack Copeland;
Jonathan Bowen;
Mark Sprevak;
Robin Wilson;
(2017)
The Turing Guide
Article
Copeland, B. Jack;
Proudfoot, Diane;
(2011-2012)
Alan Turing, Father of the Modern Computer
Book
Turing, Alan Mathison;
Appel, Andrew W.;
Feferman, Solomon;
(2012)
Alan Turing's Systems of Logic: The Princeton Thesis
Article
Favio Ezequiel Miranda Perea;
Lourdes del Carmen González Huesca;
(2023)
On Conceptual changes in Computer Assisted Proofs
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
Article
Katina Michael;
Diana Bowman;
Meg Leta Jones;
Ramona Pringle;
(March 2018)
Robots and Socio-Ethical Implications [Guest Editorial]
Thesis
Evan Donahue;
(2021)
Android Linguistics: How Machines Do Things with Words
Book
Nigel Shadbolt;
Roger Hampson;
(2024)
As If Human: Ethics and Artificial Intelligence
Book
Kevin Padraic Donnelly;
(2024)
The Descent of Artificial Intelligence: A Deep History of an Idea Four Hundred Years in the Making
Book
Tofts, Darren;
Jonson, Annemarie;
Cavallaro, Alessio;
(2002)
Prefiguring Cyberculture: An Intellectual History
Book
Forsythe, Diana E.;
Hess, David J.;
(2001)
Studying Those Who Study Us: An Anthropologist in the World of Artificial Intelligence
Thesis
Parisi, David P.;
(2008)
Touch Machines: An Archeology of Haptic Interfacing
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
Article
Numerico, Teresa;
(2010)
The New Machine: from Logic to Organization
Be the first to comment!