Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture
Combinatorics
2008-02-03 v1
Abstract
The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.
Cite
@article{arxiv.math/9301202,
title = {Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture},
author = {Doron Zeilberger},
journal= {arXiv preprint arXiv:math/9301202},
year = {2008}
}
Comments
Plain TeX