
Publication details
Publisher: Birkhäuser
Place: Basel
Year: 2017
Pages: 173-198
ISBN (Hardback): 9783319612300
Full citation:
, "The "artificial mathematician" objection", in: Humanizing mathematics and its philosophy, Basel, Birkhäuser, 2017


The "artificial mathematician" objection
exploring the (im)possibility of automating mathematical understanding
pp. 173-198
in: Bharath Sriraman (ed), Humanizing mathematics and its philosophy, Basel, Birkhäuser, 2017Abstract
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.
Cited authors
Publication details
Publisher: Birkhäuser
Place: Basel
Year: 2017
Pages: 173-198
ISBN (Hardback): 9783319612300
Full citation:
, "The "artificial mathematician" objection", in: Humanizing mathematics and its philosophy, Basel, Birkhäuser, 2017