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

Sven Delarivière and Bart Van Kerkhove ()
Additional contact information
Sven Delarivière: Vrije Universiteit Brussel
Bart Van Kerkhove: Vrije Universiteit Brussel

A chapter in Humanizing Mathematics and its Philosophy, 2017, pp 173-198 from Springer

Abstract: 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 Mathematicians; Automated Mathematician; Human Mathematicians; Fellow Inquirers; Unspecified Point (search for similar items in EconPapers)
Date: 2017
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-61231-7_16

Ordering information: This item can be ordered from
http://www.springer.com/9783319612317

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

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().