Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture
Doron Zeilberger (Temple University)

TL;DR
This paper discusses the future of mathematics through the lens of the WZ algorithmic proof theory, highlighting its potential impact on mathematical culture.
Contribution
It introduces a semi-rigorous mathematical culture concept inspired by the WZ proof theory, proposing a new perspective on mathematical development.
Findings
WZ proof theory offers a new paradigm for mathematical rigor.
The future of mathematical culture may incorporate semi-rigorous methods.
Algorithmic proof techniques could shape tomorrow's mathematical practices.
Abstract
The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Mathematical and Theoretical Analysis · Polynomial and algebraic computation
