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.

Categories

Keywords

Reprint years

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

My notes

Similar books and articles

Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
The Great Gibberish - Mathematics in Western Popular Culture.Markus Pantsar - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 409-437.
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
The Argument of Mathematics.Andrew Aberdein & Ian J. Dove (eds.) - 2013 - Dordrecht, Netherland: Springer.
Is Mathematics Problem Solving or Theorem Proving?Carlo Cellucci - 2017 - Foundations of Science 22 (1):183-199.
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings.Harald Ganzinger - 1999 - Springer Verlag.
Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings.David McAllester - 2000 - Springer Verlag.
Automated Deduction - Cade-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings.Andrei Voronkov - 2002 - Springer Verlag.
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings.Michael A. McRobbie & J. K. Slaney - 1996 - Springer Verlag.
Automated Deduction, CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : Proceedings.Deepak Kapur - 1992 - Springer.
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings.Claude Kirchner & Helene Kirchner - 1998 - Springer Verlag.
Automated Deduction, Cade-12.: 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings.Alan Bundy - 1994 - Springer Verlag.
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings.Franz Baader - 2003 - Springer Verlag.

Analytics

Added to PP
2018-10-19

Downloads
543 (#32,595)

6 months
74 (#62,539)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

Add more citations

References found in this work

Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
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