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.
|Title of host publication||Humanizing Mathematics and its Philosophy|
|Subtitle of host publication||Essays Celebrating the 90th Birthday of Reuben Hersh|
|Publisher||Birkhauser Verlag Basel|
|Number of pages||26|
|Publication status||Published - 8 Nov 2017|
- Artificial Intelligence
- automated theorem proving