AlephZero and Mathematical Experience

DOI10.1090/BULL/1824arXiv2307.05599OpenAlexW4398767267MaRDI QIDQ6443380FDOQ6443380

Authors: Simon DeDeo 

Publication date: 10 July 2023

Abstract: This essay explores the impact of automated proof construction on three key areas of mathematical cognition: on how we judge the role one piece of mathematics plays in another, on how we make mistakes in reasoning about mathematical objects, and on how we understand what our theorems are truly about. It concludes by speculating on a new form of mathematical experience that these methods could make possible: ``glitching, a game-like search for uncanny consequences of our definitions.

Full work available at URL: https://doi.org/10.1090/bull/1824

Recommendations

• Automated Mathematics and the Reconfiguration of Proof and Labor
• Searching for proofs (and uncovering capacities of the mathematical mind)
• Mathematical concepts in computer proofs
• Strange new universes: Proof assistants and synthetic foundations
• Proving and programming

Mathematics Subject Classification ID

Cognitive psychology (91E10) Methodology of mathematics (00A35) Philosophy of mathematics (00A30) Sociology (and profession) of mathematics (01A80) Cognitive processes, learning theories (aspects of mathematics education) (97C30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (2)

• Automated Mathematics and the Reconfiguration of Proof and Labor
• Strange new universes: Proof assistants and synthetic foundations

This page was built for publication: AlephZero and Mathematical Experience

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6443380)