AfterMath

The Work of Proof in the Age of Human-Machine Collaboration

Datos Bibliográficos

ID3449151
AutoresStephanie Dick (Harvard University, autor de correspondencia)
Año2011
Volumen102
Número3
Páginas494-505
Fecha de publicación2011-09-01
Peer ReviewedSí
Open AccessNo
TipoARTICLE
RevistaIsis (JOURNAL)
Identificadores de la revistaISSN: 0021-1753 • E-ISSN: 1545-6994
EditorialUniversity of Chicago Press (PUBLISHER • US)
DOI10.1086/661623
PMID22073773
OpenAlexW1990781035
IdiomaEN
Citas recibidas11
Referencias citadas10

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

Cognitive science · Engineering ethics · Engineering physics · Epistemology · Intuition · Mathematical proof · National laboratory · Negotiation · Social science · Sociology · Computer Science · Engineering · History and Theory of Mathematics · History of Computing Technologies · Mathematics · Philosophy · Philosophy and History of Science · Psychology