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
Upload history
Archival date: 2018-10-19
View other versions
Added to PP index

Total views
241 ( #24,338 of 2,433,592 )

Recent downloads (6 months)
39 ( #19,191 of 2,433,592 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.