AfterMath

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

Dados Bibliográficos

ID3449151
AutoresStephanie Dick (Harvard University, autor correspondente)
Ano2011
Volume102
Fascículo3
Páginas494-505
Data de publicação2011-09-01
Peer ReviewedSim
Open AccessNão
TipoARTICLE
PeriódicoIsis (JOURNAL)
Identificadores do periódicoISSN: 0021-1753 • E-ISSN: 1545-6994
EditoraUniversity of Chicago Press (PUBLISHER • US)
DOI10.1086/661623
PMID22073773
OpenAlexW1990781035
IdiomaEN
Citações recebidas11
Referências 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