Article ID: CBB001220009

AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (2011)

unapi

Dick, Stephanie (Author)


Isis: International Review Devoted to the History of Science and Its Cultural Influences
Volume: 102
Pages: 494--505


Publication Date: 2011
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.

...More
Included in

Article 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). unapi

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

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 Roberto Pieraccini; (2021)
AI Assistants (/isis/citation/CBB406160431/)

Book Mark Coeckelbergh; (2020)
AI Ethics (/isis/citation/CBB990965100/)

Article Anderson, David Leech; (2008)
Humans Using Machines, Humans as Machines: Implications for Teaching and Learning (/isis/citation/CBB001031102/)

Book Jack Copeland; Jonathan Bowen; Mark Sprevak; Robin Wilson; (2017)
The Turing Guide (/isis/citation/CBB709222979/)

Article Copeland, B. Jack; Proudfoot, Diane; (2011-2012)
Alan Turing, Father of the Modern Computer (/isis/citation/CBB001210378/)

Book Turing, Alan Mathison; Appel, Andrew W.; Feferman, Solomon; (2012)
Alan Turing's Systems of Logic: The Princeton Thesis (/isis/citation/CBB001213136/)

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 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/)

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/)

Thesis Evan Donahue; (2021)
Android Linguistics: How Machines Do Things with Words (/isis/citation/CBB971642341/)

Book Forsythe, Diana E.; Hess, David J.; (2001)
Studying Those Who Study Us: An Anthropologist in the World of Artificial Intelligence (/isis/citation/CBB000500039/)

Book Tofts, Darren; Jonson, Annemarie; Cavallaro, Alessio; (2002)
Prefiguring Cyberculture: An Intellectual History (/isis/citation/CBB000302025/)

Authors & Contributors
Copeland, B. Jack
Coeckelbergh, Mark
Massimo Ciccozzi
Evan Donahue
Katina Michael
Kum Hee Choy
Concepts
Computers and computing
Computer science
Human-machine interaction
Artificial intelligence
Mathematics
Technology and society
Time Periods
20th century, late
21st century
20th century, early
20th century
Places
United States
Great Britain
Manchester (England)
Russia
Poland
Institutions
Science Museum, London
Princeton University
Comments

Be the first to comment!

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

Log in or register to comment