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

Sven Delarivière; Bart Van Kerkhove

doi:10.1007/978-3-319-61231-7_16

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

Sven Delarivière, Bart Van Kerkhove

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 language	English
Title of host publication	Humanizing Mathematics and its Philosophy
Subtitle of host publication	Essays Celebrating the 90th Birthday of Reuben Hersh
Editors	Bharath Sriraman
Publisher	Birkhauser Verlag Basel
Chapter	16
Pages	173-198
Number of pages	26
ISBN (Electronic)	978-3-319-61231-7
ISBN (Print)	978-3-319-61230-0
DOIs	https://doi.org/10.1007/978-3-319-61231-7_16
Publication status	Published - 8 Nov 2017

Keywords

Artificial Intelligence
automated theorem proving
understanding
Epistemology

Access to Document

10.1007/978-3-319-61231-7_16

Link to publication in Scopus

Cite this

@inbook{4ca0151173db474eb418bfcc2362d0cc,

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

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.",

keywords = "Artificial Intelligence, automated theorem proving, understanding, Epistemology",

author = "Sven Delarivi{\`e}re and {Van Kerkhove}, Bart",

year = "2017",

month = "11",

day = "8",

doi = "10.1007/978-3-319-61231-7_16",

language = "English",

isbn = "978-3-319-61230-0",

pages = "173--198",

editor = "Bharath Sriraman",

booktitle = "Humanizing Mathematics and its Philosophy",

publisher = "Birkhauser Verlag Basel",

address = "Switzerland",

}

The “Artificial Mathematician” Objection : Exploring the (Im)possibility of Automating Mathematical Understanding. / Delarivière, Sven ; Van Kerkhove, Bart.

Humanizing Mathematics and its Philosophy: Essays Celebrating the 90th Birthday of Reuben Hersh. ed. / Bharath Sriraman. Birkhauser Verlag Basel, 2017. p. 173-198.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - The “Artificial Mathematician” Objection

T2 - Exploring the (Im)possibility of Automating Mathematical Understanding

AU - Delarivière, Sven

AU - Van Kerkhove, Bart

PY - 2017/11/8

Y1 - 2017/11/8

N2 - 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.

AB - 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.

KW - Artificial Intelligence

KW - automated theorem proving

KW - understanding

KW - Epistemology

UR - http://www.scopus.com/inward/record.url?scp=85042448813&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-61231-7_16

DO - 10.1007/978-3-319-61231-7_16

M3 - Chapter

SN - 978-3-319-61230-0

SP - 173

EP - 198

BT - Humanizing Mathematics and its Philosophy

A2 - Sriraman, Bharath

PB - Birkhauser Verlag Basel

ER -

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

Abstract

Keywords

Access to Document

Fingerprint

Cite this