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

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationHumanizing Mathematics and its Philosophy
Subtitle of host publicationEssays Celebrating the 90th Birthday of Reuben Hersh
EditorsBharath Sriraman
PublisherBirkhauser Verlag Basel
Chapter16
Pages173-198
Number of pages26
ISBN (Electronic)978-3-319-61231-7
ISBN (Print)978-3-319-61230-0
DOIs
Publication statusPublished - 8 Nov 2017

Keywords

  • Artificial Intelligence
  • automated theorem proving
  • understanding
  • Epistemology

Fingerprint

Dive into the research topics of 'The “Artificial Mathematician” Objection: Exploring the (Im)possibility of Automating Mathematical Understanding'. Together they form a unique fingerprint.

Cite this