The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

In B. Sriraman (ed.), Humanizing Mathematics and its Philosophy. Cham: Birkhäuser. pp. 173-198 (2017)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Revision history
Archival date: 2018-10-19
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total downloads
25 ( #32,784 of 37,117 )

Recent downloads (6 months)
25 ( #14,018 of 37,117 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.