Repository | Book | Chapter
(2017) Humanizing mathematics and its philosophy, Basel, Birkhäuser.
The "artificial mathematician" objection
exploring the (im)possibility of automating mathematical understanding
Sven Delarivière, Bart Van Kerkhove
pp. 173-198
Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by "artificial mathematicians' in the proving practice—not just as a method of inquiry but as a fellow inquirer.
Publication details
DOI: 10.1007/978-3-319-61231-7_16
Full citation:
Delarivière, S. , Van Kerkhove, B. (2017)., The "artificial mathematician" objection: exploring the (im)possibility of automating mathematical understanding, in B. Sriraman (ed.), Humanizing mathematics and its philosophy, Basel, Birkhäuser, pp. 173-198.
This document is unfortunately not available for download at the moment.