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

In B. Sriraman (ed.), Humanizing Mathematics and its Philosophy. Birkhäuser. pp. 173-198 (2017)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2018-10-19

Downloads
773 (#32,620)

6 months
118 (#49,275)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Bart Van Kerkhove
Vrije Universiteit Brussel
Sven Delarivière
Vrije Universiteit Brussel

References found in this work

Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
Proofs and Refutations. The Logic of Mathematical Discovery.I. Lakatos - 1977 - Tijdschrift Voor Filosofie 39 (4):715-715.
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.

View all 23 references / Add more references