-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract: 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.
-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
We investigate the truth conditions of knowledge ascriptions for the case of mathematical knowledge. The availability of a formalizable mathematical proof appears to be a natural criterion:
(*) X knows that p is true iff X has available a formalizable proof of p.
Yet, formalizability plays no major role in actual mathematical practice. We present results of an empirical study, which suggest that certain readings of (*) are not necessarily employed by mathematicians when ascribing knowledge. Further, we argue that the concept of mathematical knowledge underlying the actual use of “to know” in mathematical practice is compatible with certain philosophical intuitions, but seems to differ from philosophical knowledge conceptions underlying (*).
Comment (from this Blueprint): Müller-Hill is interested in the question of when mathematicians have mathematical knowledge and to what extent it relies on the formalisability of proofs. In this paper, she undertakes an empirical investigation of mathematicians’ views of when mathematicians know a theorem is true. Amazingly, while they say that they believe proofs have an exact definition and that the standards of knowledge are invariant, when presented with various toy scenarios, their judgements seem to suggest systematic context-sensitivity of a number of factors.
Comment (from this Blueprint): Dick traces the history of the AURA automated reasoning assistant in the 1970s and 80s, arguing that the introduction of the computer system led to novel contributions to mathematics by unconventional means. Dick’s emphasis is on the AURA system as changing the material culture of mathematics, and thereby leading to collaboration and even negotiations between the mathematicians and the computer system.