An Inconvenient Proof: A Testimony to Math’s Deductive Spirit
Permanent Link
Author/Creator
Author/Creator ORCID
Date
Type of Work
Department
Program
Citation of Original Publication
Maxwell, Simon. “An Inconvenient Proof: A Testimony to Math’s Deductive Spirit.” UMBC Review: Journal of Undergraduate Research 24 (2023): 15–29. https://ur.umbc.edu/wp-content/uploads/sites/354/2023/04/2023-UMBC-Review_Sm.pdf#page=17
Rights
This item is likely protected under Title 17 of the U.S. Copyright Law. Unless on a Creative Commons license, for uses protected by Copyright Law, contact the copyright holder or the author.
Subjects
Abstract
The embrace of deductive reasoning during the Classical Era redefined epistemology, promoting our notion of mathematical truth from that of empirical science to a quasi-sacrosanct standard characterized by elegance, permanence, and logical consistency. Recently, the advent of high-speed computers has enabled software programs to perform lengthy, enumerative proofs-by exhaustion, while expert systems that emulate human decision making have demonstrated the capacity to form novel inferences. While artificial intelligence has immense potential to accelerate knowledge acquisition, casual embrace of automated theorem proving may jeopardize mathematics’ intellectual foundations.