Theorems for a Price: Tomorrow's Semi-Rigorous Mathematical Culture
arXiv:math/9301202
Abstract
The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.
Plain TeX
arXiv:math/9301202
The future of mathematics is described, by using the WZ algorithmic proof theory as a parable.
Plain TeX